2 model-checking Postdoctoral scholarships in Germany

Postdoc/Research Scientist in the Reproductive Ageing Research Group

Max Planck Institute for Demographic Research (MPIDR) | Germany | about 1 month ago

which ways your interests and skills fit the research program of the Reproductive Ageing Group at MPIDR.   3) Research Statement (Max 2 pages)Briefly describe your research accomplishments, as

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

Technical University of Munich | Germany | 24 days ago

/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below. Developer: Your tasks