Zulip Chat Archive
Stream: job postings
Topic: Professorship at KIT
Jeremy Avigad (Aug 10 2021 at 14:00):
Karlsruhe Institute of Technology, @Sebastian Ullrich's home, is advertising a professorship in Theoretical Informatics with formal methods listed among the areas of interest: https://www.pse.kit.edu/karriere/joboffer.php?id=233&new=true&language=en
Last updated: May 02 2025 at 03:31 UTC