Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Tenure-track assistant professor in Formal Asp...


view this post on Zulip Email Gateway (Apr 09 2022 at 08:17):

From: Coen DE ROOVER <Coen.De.Roover@vub.be>
The Software Languages Lab of the Vrije Universiteit Brussel in Belgium has a vacancy for a tenure-track assistant professor in the broad domain of:

Formal Aspects of Programming Languages

Please apply by April 22nd through
https://jobs.vub.be/job/Elsene-Tenure-Track-lecturer-%28research%29-'Formal-Aspects-of-Programming-Languages'/786364001/


Last updated: Jul 15 2022 at 23:21 UTC