Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD-Position (Mitarbeiterstelle) in Coalgebra,...


view this post on Zulip Email Gateway (Aug 17 2022 at 13:45):

From: gumm@Mathematik.Uni-Marburg.de
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@mathematik.uni-marburg.de

The official advertisement can be found at

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


Last updated: Nov 21 2024 at 12:39 UTC