[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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/
