132 verification "LIST" Postdoctoral positions

Sort by: relevance | listed |

Enter an email to receive alerts for verification "LIST" positions

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

Technical University of Munich | Germany | 17 days ago

10.08.2021, Wissenschaftliches Personal 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 Students and Postdocs: Design Automation and Software for Quantum Computing, Microfluidics, or Conventional Circuits and Systems

Technical University of Munich | Germany | 17 days ago

methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods

Enter an email to receive alerts for verification "LIST" positions