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
esearch 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/
