[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]The Johannes Kepler University has an opening for a full professorship in Formal Methods. Application deadline: December 1, 2021 Further details: https://urldefense.com/v3/__https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/professor-for-formal-methods/__;!!IBzWLUs!BFZfAbC0Q-rcA_eTkNvmDDIKYQ2afCVQA9cbXcc-skO37Wl34WCB_716I-A2YKx7O3vDBF0FSWQDGg$ Please feel free to contact me for any questions! Sincerely, Martina Seidl
