[ 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,
Karlsruhe, is recruiting a PhD Student or Doctoral Researcher (full-time, about
€4200-4800 gross by TVL E13 depending on experience). Exceptionally qualified
applicants for postdoc positions may be considered as well. 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 provably safe AI 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:
• Excellent M.Sc. degree in computer science, mathematics or related
subjects.
• Strong demonstrable commitment to research.
• Strong background in logic, theorem proving, formal methods, or
programming language theory.
• Strong background in mathematics, physics, or engineering.
• 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 or theorem proving tools, and demonstrating their applicability in
cyber-physical systems applications.
Faculty / Division: Alexander von Humboldt Professor group on Logic of
Autonomous Dynamical Systems, KIT Department of Informatics
Group: The Alexander von Humboldt Professorship, Germany's most highly endowed
international research award, is endowed with up to five million euros. With
this award, the Alexander von Humboldt Foundation honors internationally
leading researchers of all disciplines.
Institute: Institute of Information Security and Dependability (KASTEL)
Institute for Reliability of Autonomous Dynamical Systems (VADS)
of the Karlsruhe Institute of Technology (KIT)
Starting Date: Immediately
Application Material: Usual material as PDF, including letter, curriculum vitae
with references, statement of purpose (a concise two-page essay describing your
primary research interests and experience), publications, academic transcripts,
etc.
Contact Person: André Platzer
https://urldefense.com/v3/__https://logic.kastel.kit.edu/pub/job-ad.html__;!!IBzWLUs!RdfvSQMxVLBumFB9tdU1WuK-saFGdrgo0NGeqJ4i5piOlnmO3EZXIcdLYbv_p4eANLU73wbrKJywsYMw7wfIoakHFwSSSSERBOM$
