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

Prerequisites:

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

Tasks:

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

http://www.mathematik.uni-marburg.de/~gumm/Stelle/Stelle.pdf






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