3 software-verification-phd positions in Germany

Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 5 days ago

- PhD student in 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

PhD / Doctorate •

Ludwig-Maximilians-Universität München • | Germany | about 20 hours ago

of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers

PhD Students and Postdocs: Design Automation and Software for Quantum Computing, Microfluidics, or Conventional Circuits and Systems

Technical University of Munich | Germany | 5 days ago

University Munich (www.tum.de). Accordingly, we are currently searching for PhD Students and Postdocs to join our team! PhD Students For PhD students, we are looking for persons that are willing to learn and