Senior Postdoc in Knowledge-Based AI

From International Center for Computational Logic
  •   Remuneration:1 E 14/E 13 TV-L (Salary table)
  •   Workload: Full time 100%
  •   Start: as soon as possible
  •   Duration:2 3 years
  •   Contact: Markus Krötzsch
  •   Application deadline: May 16, 2023

At the research group Knowledge-Based Systems we are inviting applications for a

Senior Postdoc in Knowledge-Based AI

Applications from women are particularly welcome. The same applies to people with disabilities.


Please submit your comprehensive application (including CV and statement of research interest) preferably by certificate-encrypted email (e.g., using TU Dresden SecureMail) to Markus Krötzsch. Applications by mail can be sent to: TU Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Professur für Wissensbasierte Systeme, Herrn Prof. Dr. Markus Krötzsch, Helmholtzstr. 10, 01069 Dresden. Please submit copies only, as your application will not be returned to you. The application deadline is as above (stamped arrival date of the university central mail service applies).

1)subject to personal qualification
2)governed by the Fixed Term Research Contracts Act (WissZeitVG)

Tasks: As Senior Postdoc in knowledge-based AI, you conduct research of your own initiative and in teams with other researchers. You are developing your personal research profile, supervise research activities in the group, and further expand your networks with the international community. Being employed on a state-funded position, you contribute to university teaching (6 contact hours per week/4 SWS, English/German).

Opportunities: We are offering a first-class environment for advancing your career. You can work with internationally renowned researchers and have the freedom and the resources for pursuing own ideas. You benefit from the personal support of experienced researchers when applying for own funding from ERC (Starting Grant) and DFG (Emmy Noether).

Topics: We conduct foundational research in symbolic AI with a focus on knowledge representation and reasoning. Related applied topics include Knowledge Graphs, ontologies, and data analysis. Related theoretical subjects include mathematical logic, complexity and model theory. You own topical specialization enriches our research further. Motivating question are, for instance:

  • “How can human knowledge be represented in computer science and mathematics?”
  • “How can (AI) systems become understandable, resource-efficient, and trustworthy?”
  • “How could the strengths of diverse AI approaches be combined within a single paradigm?”

In all of these questions, we are also interested in the mathematical foundations.

Requirements: Doctoral degree in an area that is related to this advert; solid knowledge in the mathematical foundations of computer science; very good English skills. Creativity, pleasure in research, and a sense for research quality and ethical behavior in research are an advantage, as are good German speaking skills.

As a member of the Chair for Knowledge-Based Systems, you are part of a successful team of enthusiastic researchers of a vaiety of nationalities and backgrounds. You are working in the inspiring environment of the International Center for Computational Logic (ICCL) and of TU Dresden as one of the leading German research universities. Dresden is a highly livable city with a rich culture and beautiful natural surroundings.