Open Positions

You haven't found a suitable position? Even if it is not always advertised, we are happy to hear from new doctoral students / postdocs who are interested in reinforcing our team. Simply send us your unsolicited application. We look forward to hearing from you!

Professor Beckert deals with formal logic
and logic-based techniques. These are used for the specification, design,
development and verification of software and hardware systems. The goal is to
increase the reliability and security of systems.

This approach is particularly necessary for
critical systems to ensure that the development process does not lead to new
errors.

last change:
2018-06-28 KIT – The Research University in the Helmholtz Association