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: Dec 05 2021 at 23:19 UTC