Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Full Professorship for Formal Methods at JKU Linz

Email Gateway (Oct 24 2021 at 11:35):

From: Martina Seidl <Martina.Seidl@jku.at>
The Johannes Kepler University has an opening for a full professorship in Formal Methods.

Application deadline: December 1, 2021

Further details: https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/professor-for-formal-methods/

Please feel free to contact me for any questions!

Sincerely,
Martina Seidl

Last updated: Jul 15 2022 at 23:21 UTC