[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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:
- Strong demonstrable commitment to research.
- Strong background in logic, formal methods, theorem proving, or programming
language theory.
- Strong background in mathematics, physics, or engineering.
- Excellent M.Sc. degree in computer science, mathematics or related subjects.
- Proficiency in English, excellent speaking and writing skills.
- Experience in software development projects 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 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 <[email protected]>
https://urldefense.com/v3/__https://lfcps.org/__;!!IBzWLUs!TdwbFmJVttuZ5sQYz1h8Dnz1e1xPtu3Vm_49jcGKTP2nguC_zJhwUc8MBlCh9NhYCx4wSDKjVIVZm1_GrhS8Xmc5PX1ao64e_lM$
