Scalable Model Checking of Embedded Real-Time Systems

The Real-Time Systems Group at the Max Planck Institute for Software Systems (MPI-SWS) seeks a motivated postdoctoral researcher to work on the subject of scalable model checking of embedded real-time systems. The research will be done in collaboration with the Modeling and Verification team at the Institut de Recherche en Informatique Fondamentale IRIF (CNRS and Université Paris Cité, France).

Details on the position and application process are available here https://people.mpi-sws.org/~bbb/misc/MC-ERTS-postdoc.pdf.