Research Assistant (m/f/d), Faculty of Applied Computer Science

The group of theory of concurrent systems (Prof. Dr. Kirstin Peters) at the Faculty of Applied Computer Science of the University of Augsburg has an open Ph.D. position for a research assistant (m/f/d) (Salary 13 TV-L).

A Master degree (or comparable degree) in computer science (or a related topic) is mandatory. The ideal candidate has some knowledge about one of the following topics:

Type Systems or Interactive Theorem Proving or Process Calculi

Fluent English skills are required and knowledge of the German language is an advantage. The position includes teaching duties.

We are offering an excellent research environment for creative research. The group was founded a few month ago and is still under development. As an advantage this offers more flexibility in the organisation of the work at the position.

The University actively supports equality, diversity and inclusion and encourages applications from all sections of society. Women are explicitly encouraged to apply. The university place measures which facilitate the reconciliation of work and family life. For more information please contact the women’s representative. Applications of severely disabled persons with the same qualifications are treated privileged.

Your application has to include a curriculum vitae, certificates, your research backround (i.e. career path), and a letter of motivation. Please send you application as a single PDF file by

January 31, 2023

to Prof. Dr. Kirstin Peters (kirstin.peters@uni-a.de). Do not hesitate to contact Prof. Dr. Peters in case of questions.