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

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[Coq-Club]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
 [hidden email]

The official advertisement can be found at


Bug reports: http://coq.inria.fr/bin/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club