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 <>
The Johannes Kepler University has an opening for a full professorship in Formal Methods.

Application deadline: December 1, 2021

Further details:

Please feel free to contact me for any questions!

Martina Seidl

Last updated: Jan 25 2022 at 01:11 UTC