Technische Universität Dresden
Just Landed
New Today
Research Associate / PhD Student / PostDoc in Computational Logic, Knowledge Representation, and Ontology Revision Technische Universität Dresden in Germany
Degree Level
PhD, Postdoc
Field of study
Computer Science
Funding
Position remunerated according to salary group E 13 TV-L, subject to personal qualification. The post is within a collaborative research project and is limited until December 31, 2030.
Deadline
Nov 5, 2026
Country
Germany
University
Technische Universität Dresden

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
Technische Universität Dresden (TU Dresden) is advertising a Research Associate / PhD Student / PostDoc position at the Faculty of Computer Science, Institute of Artificial Intelligence, Chair of Computational Logic. The role is part of the Collaborative Research Center (SFB)/Transregio 248 “Foundations of Perspicuous Software Systems” and focuses on computer science, theoretical computer science, knowledge representation, logic, description logic, ontology languages, and standpoint logic.
The research topic centers on the structured, interactive revision of knowledge bases and ontologies, from theoretical foundations and complexity-theoretic analysis through implementation and evaluation. The project also emphasizes foundational research on description logic-based and rule-based ontology languages and their extension with standpoint logic to represent contextualized knowledge.
This opening is suitable for candidates seeking a PhD or postdoctoral research role in AI, logic, and knowledge representation. The position offers the chance to obtain further academic qualification (usually PhD / habilitation thesis). It is a fixed-term appointment starting January 1, 2027 and ending December 31, 2030, with remuneration according to E 13 TV-L.
Eligibility highlights: Master’s degree or equivalent in computer science or a related discipline; for postdoc applicants, a PhD is applicable; strong theoretical CS background, preferably in knowledge representation and logic; strong mathematics; good programming skills; excellent English; intermediate German (B1+) desirable.
Application deadline: November 5, 2026. Apply with cover letter, CV, degree certificates, transcripts, and a publication list if applying as a postdoc. Preferred submission is via the TUD SecureMail Portal to [email protected].
Funding details
Position remunerated according to salary group E 13 TV-L, subject to personal qualification. The post is within a collaborative research project and is limited until December 31, 2030.
What's required
University degree (Master’s or equivalent) and, if applicable, a PhD degree in computer science or related disciplines; in-depth knowledge in theoretical computer science, preferably knowledge representation and logic; strong background in mathematics; structured way of working; ability to advance projects independently and communicate with all involved; excellent written and verbal English; good programming skills and interest in experimental tasks desirable; intermediate German language skills (CEFR B1 or above) desirable.
How to apply
Submit a detailed application with cover letter, CV, degree certificates and transcripts, and for postdoc applicants a list of publications. Apply preferably via the TUD SecureMail Portal as a single PDF to [email protected], or send by post to TU Dresden, Chair of Computational Logic, Prof. Dr. Sebastian Rudolph, Helmholtzstr. 10, 01069 Dresden, Germany.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.