Research Associate / PhD Student / Postdoc position in Knowledge Representation and Reasoning

The Technical University of Dresden is looking for an PhD Student, a Postdoc or a Research Associate, at the faculty of Computer Science starting on 01.02.2020.

Tasks: scientific research preferably in either the area of satisfiability (SAT) testing or in the area of modelling human reasoning tasks by appropriate logics; organisation of lectures, especially of excercises and seminars; supervision of students; organisation of examinations under the responsibility of the Chair of Knowledge Representation and Reasoning; participation in administrative processes including organisation of scientific events; support in applications for third-party funding.

Requirements: university degree in computer science (or related disciplines); the ability to communicate and to develop projects in a structured way; good command of the German and the English language. Applications from women are particularly welcome. The same applies to people with disabilities.