MSc thesis opportunity in Karlsruhe

Stream: job postings

[Markus Himmel]

My employer is offering an MSc thesis, supervised in part by me, about using Lean to verify a piece of real-world software: https://www.cas-mitgestalter.de/jobs/abschlussarbeit-informatik-formale-verifikation/
The position is open to German-speaking students willing to live in Karlsruhe for the duration of the thesis. As is the norm for theses conducted in industry, this is a paid position. If you have any questions about the position, feel free to send me a message.

[Kevin Buzzard]

When is the duration?

[Markus Himmel]

The duration is 6 months, and the start date is flexible