-
, CV with list of publications, contact details of two referees, Master / PhD certificates) as a single PDF document by Email to esm-jobs.asg@ed.tum.de. Applications will be reviewed on an ongoing basis
-
been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop essentially new methods
-
reconstruction, semantic scene understanding, and generative models for photo-realistic image / video synthesis. Overall, the main focus is on high-impact research with the aim to revolutionize the research field
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
for outstanding candidates, with a successful degree (master/ diploma/doctoral/PhD) with exceptional records. A strong disciplinary background in • control, system theory and optimization • machine learning
-
, Li-solid state oxide conductors have almost been neglected as electrolytes to replace classic oxygen conductors in sensors. Your primary tasks include: • Employ different processing methods (including
-
: ▪ Curriculum vitae, copies of relevant certificates and diplomas, contact information for two references ▪ Short description of your research interests and your motivation for the application ▪ Master or
-
quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky
-
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