Developing KeYmaera X

KeYmaera X is an interactive theorem prover for hybrid systems. We are looking for students who are curious about bridging the theory and practice of theorem proving and help to maintain the KeYmaera X prover.

For this position, it is necessary that the student that the student has some experience with the development of (web)applications. For example, demonstrated through an internship in industry. It would be beneficial if the student has attended the Logical Foundations of Cyber-physical systems course offered by our lab.

For more information, please reach out to brieger@kit.edu.