Stream: Mirror: Isabelle Users Mailing List

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


view this post on Zulip 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: Dec 05 2021 at 23:19 UTC