The Technische Universität Darmstadt, Fachbereich Informatik, Semantik und Verifikation paralleler Systeme offers 1 position to researchers threatened by the war in Ukraine. Funding available! Contact Marie-Christine Jakobs.

Research Focus / Keywords

Automatic Software Verification