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
Two PhD position (m/f/d) for Explainability Requirements in Software-Intensive Systems and Uncertainty in Software-intensive systems	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.