12 formal-semantics Postdoctoral positions in Germany

Sort by: relevance | listed |

Enter an email to receive alerts for formal-semantics positions

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

Technical University of Munich | Germany | 12 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
Postdoc (f/m/d)

Leibniz | Germany | about 2 months ago

distinctive and impactful research profile as part of this position. The position offers excellent resources and the opportunity to connect with the department’s research programs on formal and informal science

Enter an email to receive alerts for formal-semantics positions