The Logical Systems Lab at the Computer Science Department of Carnegie Mellon University has an exciting opportunity for a Postdoctoral Researcher. We research logical foundations for cyber-physical systems and develop practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring…
Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.
If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.