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



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



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.