Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Ph.D. position at Uppsala University, Sweden

view this post on Zulip Email Gateway (Aug 18 2022 at 16:10):

From: Jesper Bengtson <jesperb@it.uu.se>
PhD student position available at Uppsala University for the topic "Process algebra and interactive theorem provers", in the group on theory for mobile processes (Joachim Parrow). Deadline 30 October. For further information see:

http://www.personalavd.uu.se/ledigaplatser/2596doktENG.html

Last updated: Apr 18 2024 at 16:19 UTC