Email Gateway (Jul 12 2022 at 10:04): Email Gateway (Jul 12 2022 at 10:04):From: Andre Platzer <aplatzer@cs.cmu.edu>
The group of André Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques. Our techniques are used to analyze the safety of autonomous cars, airplanes and collision avoidance protocols in aerospace applications, robotics, and train control.
Key requirements for successful applications:
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 junior students, assisting in research grants, implementation of research results in formal methods tools, and demonstrating their applicability in cyber-physical systems applications.
Faculty / Division:
Alexander von Humboldt Professor on Logic of Autonomous Dynamical Systems
Institute:
Institute of Information Security and Dependability (KASTEL)
Starting Date: Immediately
Contact Person: André Platzer <aplatzer+apply@andrew.cmu.edu>
https://lfcps.org/
Last updated: Apr 19 2024 at 12:27 UTC