Research Assistant (EG 13 TV-H) - in the Department of Theoretical Computer Science

Full-time; with 4 SWS teaching duties for 1.5 years limited according to § 2 Abs.1 Satz 2 WissZeitVG.

Tasks:

• scientific collaboration in research and teaching in the field of Theoretical Computer Science
• Lecturer of the course "Introduction to Computer Science" in WS 2018/2019
• Independent work on a research subfield in the verification of infinite systems.

Prerequisites:

• scientific university degree and doctorate in the field of theoretical computer science
• sound previous knowledge in the area of verification of infinite systems
• Publications at international conferences and workshops

Advantageous are:

• previous knowledge in higher order fixed point logics or higher order basement automata, respectively
• a high degree of teamwork and organizational skills
• publications as sole author

For further inquiries please contact Prof. Dr. Stefan Göller, Tel.: 0561-804-6225, E-Mail: stefan.goeller[at]uni-kassel[dot]deis at your disposal.

The protection of your personal data is important to us, therefore we will handle your personal data with care. If you give us your data, you allow us to store and use them in accordance with the Hessian Data Protection Act. You can object to this at any time. Your personal data will then be deleted.

In the interest of equal opportunities, the University of Kassel strives to offer women and men the same development opportunities and to counteract existing disadvantages. The aim is to significantly increase the proportion of women in research and teaching. Qualified women are therefore expressly encouraged to apply. Severely disabled applicants will be given preference if they are equally qualified and qualified. Full-time positions are generally divisible. Please submit only copies of your application documents (no folders), as these cannot be returned after the selection process has been completed; they will be destroyed in compliance with data protection regulations. Applications with informative documents should be sent to the President of the University of Kassel, 34109 Kassel or to bewerbungen[at]uni-kassel[dot]deor .