Researcher * in (m / w / d), EC 13 TV-H - in the field of Theoretical Computer Science / Formal Methods
University of Kassel, Department of Electrical Engineering / Computer Science

Researcher * in (m / w / d), EC 13 TV-H - in the field of Theoretical Computer Science / Formal Methods

Department of Electrical Engineering / Computer Science - Prof. dr. Martin Lange - temporary, full-time (currently 40 lessons per week)


Application time:


Setting start:

as soon as possible



Applications to:


The position is initially limited to 3 years, with the possibility of renewal for a further 2 years (Qualification Body in accordance with § 65 HHG in conjunction with § 2 (1) sentence 1 WissZeitVG). The opportunity for promotion is given.



In research you develop interactive teaching and learning tools based on formal methods, eg in the field of automaton theory, model checking and program analysis. They help to transfer such methods to other subjects, especially natural sciences. They help to deepen an existing collaboration with FG Biology Didactics. Your tasks include:


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


They work independently and in a team on the research goals of the field and bring in their own new impulses. You participate in the organization of courses in the field and supervise theses related to your research interests.



  • Graduate degree in Computer Science, Bio-Informatics or Computer Science with a very good or successful degree
  • Good knowledge of theoretical computer science
  • Good programming skills
  • German fluent in spoken and written as well as good command of English


For further questions please contact Prof. Dr. med. Martin Lange, Tel .: 0561-804-6261, E-Mail: .


Protecting your personal information is important to us, so we will handle your personal information with care. If you give us your data, you allow us the storage and use in the sense of the Hessian Data Protection and Freedom of Information Act. You can object to this at any time. Your personal data will be deleted. Information according to Art. 13 DSGVO for the application process at the University of Kassel can be found at

If you apply for this position please say you saw it on Computeroxy


All Jobs


Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions