[TYPES/announce] Post Doctoral Fellow Position at Carnegie Mellon University in Logical Systems Lab

[Andre Platzer]

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 ModelPlex, verified compilation VeriPhy, and verified safe machine learning techniques. We apply our techniques to analyze the safety of autonomous cars, airplanes and collision avoidance protocols in aerospace applications, robotics, and train control.

The ideal candidate has a strong background in logic, formal methods, and theorem proving, as well as familiarity with hybrid systems and differential equations. Experience in software development projects (e.g, in Java/Scala) and familiarity with Web development (e.g., AngularJS) is a plus. The successful candidate is able to quickly get into new research areas and will be responsible for actively engaging in novel research questions, publishing and communicating research results, advising students, assisting in preparing research grant proposals and grant reports, implementation of research results in formal methods tools, and demonstrating their applicability in cyber-physical systems applications.

Applications via
http://apply.interfolio.com/76853

André
http://www.cs.cmu.edu/~aplatzer/