Sort by
Refine Your Search
-
Category
-
Field
-
explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g
-
Description Formal verification of cyber-physical systems is an enabler of critical technologies that potentially cause fatalities (e.g. crash of an automated vehicle) or huge economic costs (e.g. blackout of a
-
research studies for automated image analysis. In particular, you will: Plan, develop, and implement AI/ML algorithms for pathology image analysis. Integrate multi-modal data (e.g., genomics, clinical data
-
The Professorship of Public Policy for the Green Transition (PPGT) focuses on designing and evaluating policies for the green transition worldwide. The group uses a variety of methods from automated data analyses
-
, building model checkers (also verified by automated theorem proving) etc. - AUTOMATA TUTOR (available at [1], described in publication [2]) is a tool to teach undergraduate students the basics of theoretical
-
electrocatalytic reactions. Our catalysts are the heart of sustainable energy conversion processes such as in hydrogen fuel cells or electrolyzers. Utilizing innovative, automated characterization techniques we