Sort by
Refine Your Search
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
of computer vision and machine learning. The positions are fully-funded with payments and benefits according to German public service positions (TV-L E13, 100% for PhDs and TV-L E14, 100% for PostDocs; 45k
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
learning • robotics and/or mechatronics • computer languages C, C++ and Python and interest to work in an interdisciplinary environment are desired. German language skills are necessary for this position
-
group, a multinational insurance company. Tasks Your duties will include: Literature research Designing, implementing, and evaluating novel machine learning approaches to detect building attributes from
-
of acquisition, organization, compression, analysis, and visualization of georeferenced or geometric data in large scales. We put emphasis on methods of distributed computing, machine learning, image and text
-
evaluating machine-learning models. Expertise in in the field of Building Information Modelling and geometric modelling is greatly beneficial. Excellent English and the willingness to learn the German language
-
of empirical research (quantitative or experimental) methods, • knowledge of statistics, programming languages (e.g., Python), natural language processing, machine learning is advantageous but not
-
of microfluidic devices. Simulation for microfluidics. (CFD) High Performance Computing and/or GPU programming for this domain. Machine learning algorithms for this domain Clean energy solutions (e.g., microfluidic
-
., based on the 1D or analytical model) Hybrid simulation approach (e.g., which combine CFD and 1D simulations) High Performance Computing and/or GPU programming for this domain Machine learning algorithms
-
algorithms, mechatronics, intelligent robotics and prosthetics, robot learning algorithms, foundations of machine intelligence, as well as nonlinear control and systems theory. Furthermore, we offer unified