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 26 2026 at 09:04 UTC