2 software-verification-phd-"https:" Postdoctoral scholarships

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

Technical University of Munich | Germany | about 1 month ago

10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in

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

Technical University of Munich | Germany | about 1 month ago

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 explore