Logic List Mailing Archive

Postdoctoral position in logical foundations of cyber-physical systems, Pittsburgh PA (U.S.A.)

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 
https://apply.interfolio.com/76853

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam