[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

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

The official advertisement can be found at

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

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