Post Doctoral Fellow Position at Carnegie Mellon University in Logical Systems Lab
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…
