Research Assistant (m/f/d), EG 13 TV-H - in the field of Theoretical Computer Science / Formal Methods

The position is initially limited to 3 years with the possibility of extension for a further 2 years (qualification position according to § 65 HHG in conjunction with § 2 para. 1 sentence 1 WissZeitVG). The possibility of a doctorate is given.

Tasks:

In research, you will develop interactive teaching/learning tools based on formal methods, e.g. from the field of automata theory, model checking and program analysis. You will contribute to the transfer of such methods to other subjects, in particular the natural sciences. You will contribute to deepening an existing collaboration with the FG Biology Didactics. Your tasks will include, among others

• Analysis of didactic questions for their suitability in the above-mentioned framework
• Communication with relevant subject didactics
• Identification, adaptation and development of suitable formal methods to answer the above-mentioned questions
• Development of a learning system including the implementation of these methods
• Development and implementation of suitable evaluation questions
• 4 SWS teaching commitment within the framework of the Hessian Teaching Commitment Ordinance

You will work independently and as part of a team on the research objectives of the subject area and also contribute your own new ideas. You will participate in the implementation of courses in the department and supervise theses related to your research interests.

Requirements:

• A university degree in computer science, bioinformatics or computer science teaching with very good to good grades
• Good knowledge in the field of theoretical computer science
• Good programming skills
• Fluent written and spoken German and good knowledge of English

If you have any questions, please contact Prof. Dr. Martin Lange, phone: 0561-804-6261, e-mail: martin.lange[at]uni-kassel[dot]de.

The protection of your personal data is important to us, which is why we will handle your personal data with care. If you provide us with your data, you authorize us to store and use it in accordance with the Hessian Data Protection and Freedom of Information Act. You can object to this at any time. Your personal data will then be deleted. Information in accordance with Art. 13 GDPR for the application procedure at the University of Kassel can be found at www.uni-kassel.de/go/ausschreibung-datenschutz

In the interests 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 with equal aptitude and qualifications will be given preference. Full-time positions are generally divisible. Please only send us copies of your application documents (no folders), as these cannot be returned after the selection process has been completed; they will be destroyed in accordance with data protection regulations. Applications with informative documents should be sent to the President of the University of Kassel, 34109 Kassel or bewerbungen[at]uni-kassel[dot]de, stating the reference number in the subject line, also in electronic form.