[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:


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