3 software-verification-phd positions in Germany

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

Technical University of Munich | Germany | about 20 hours 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

Doctoral Position in Astronomical Instrumentation for the PLANETES Project

European Organisation for Astronomical Research in the Southern Hemisphere | Garching an der Alz, Bayern | Germany | 3 months ago

implementation of a novel metrology system to enable microarcsecond astrometry. More details on the project are available here: https://exogravity.obspm.fr/planetes A PhD studentship in the framework

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

Technical University of Munich | Germany | about 20 hours 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