formal methods


Visible to the public PhD Student or Postdoc Position in Alexander von Humboldt Professor group

The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques.


Visible to the public  FMCAD 2021
Oct 19, 2021 8:00 am - Oct 22, 2021 8:00 pm EDT

International Conference on Formal Methods in Computer-Aided Design (FMCAD)

Yale University, October 19-22, 2021