Publisher
source

Technische Universität Dresden

Just Landed

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 flag

Country

Germany

University

Technische Universität Dresden

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Theoretical Computer Science
Knowledge Representation
Mathematical Logic
Programming Language

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?