Job Adverts

Titel Group
Doctoral Researcher / Post-Doc (m/f/d) Reliability of Autonomous Dynamical Systems
Alexander von Humboldt Professor
Prof. Andre Platzer
Refinement for Algorithm Verification 
(Post-/Doctoral Researcher, m/f/d)
Application-oriented Formal Verification
Prof. Bernhard Beckert

Self-adaptive Software-intensive Systems
Prof. Raffaela Mirandola

Post-doctoral Researcher (m/f/d) Algorithm Engineering
Prof. Peter Sanders

You can find further job adverts of the faculty on the SFB 1608 Convide page or KASTEL: Engineering Secure System.