[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


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


or send an e-mail to kirstin.peters at uni-a.de.

Best wishes,
Kirstin Peters

More information about the Types-announce mailing list