[TYPES/announce] PhD position in modelling languages for concurrent systems
Kirstin Peters
kirstin.peters at uni-a.de
Tue Oct 18 03:50:12 EDT 2022
Hi,
we are looking for a PhD student to work on modelling languages for
concurrent systems at the University of Augsburg in Germany.
The position includes teaching duties but German language skills are not
mandatory. Though a willingness to learn German is expected.
Deadline for applications is October 31.
For more information please have a look at
https://urldefense.com/v3/__https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtti/forschung/offene-forschungsstellen/__;!!IBzWLUs!QF2bL7qnMREgrqNeBqGdKBSKK0rU6BGCviPdE9XmhgC4VYgOFqiNctzy5H1tH5iAbIeIOujJrzu0sqPpUJ-CQ_sSj2SETX7Zj2gN3R2w$
or send an e-mail to kirstin.peters at uni-a.de.
Best wishes,
Kirstin Peters
More information about the Types-announce
mailing list