[isabelle] PhD-Position (Mitarbeiterstelle) in Coalgebra, Algebra, Formal Methods

The Department of Mathematics and Computer Science at the
University of Marburg, Germany, offers a full time

  PhD-Position - Wissenschaftl. Mitarbeiter/in (BAT IIa) -

in the area

 Universal Coalgebra / Universal Algebra, Verification, Formal Methods.


 Excellent degree (Diplom or Master) in Computer Science or Mathematics.
 Strong background in one or more of the above areas.
 German language fluency.


Service (organization, preparation, counselling) in teaching and research at the
undergraduate and graduate level. PhD-Research

The contract is initially for 1 year, with the possibility for extensions to a total of at most 5 years
If you are interested, please get in touch with

Prof. Dr. H.Peter Gumm
gumm at mathematik.uni-marburg.de

The official advertisement can be found at


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