Research Associate / PhD Student / PostDoc (m/f/x) in Computational Logic / Perspicuous Software Systems

Technische Universität Dresden (TU Dresden); Dresden; On-site; EUR 47,000 - 60,000; Full time

Benefits offered by this job

Flexible working hours

30 days vacation per year

Professional development and education

Health care and sports programs

Discounted job ticket / Deutschlandt i

VBL supplementary pension

Job summary

The Chair of Computational Logic at Technische Universität Dresden invites applications for a Research Associate / PhD Student / PostDoc (m/f/x). Starting January 1, 2027, the position is fixed-term until December 31, 2030, with the possibility to pursue doctoral qualification within a dynamic research environment.

The role focuses on foundational research in description logic, ontology languages, and their extension with standpoint logic to model contextual knowledge, contributing to the

Qualifications

• Master’s degree or equivalent in computer science or related fields.
• 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 everyone involved.
• Excellent written and verbal communication skills in English.
• Good programming skills and an interest in experimental tasks desirable.
• Intermediate German language skills (CEFR level B1 or above) desirable.

Responsibilities

• Scientific research on methods for the structured, interactive revision of knowledge bases and ontologies from theoretical foundations through complexity-theoretic analysis to implementation and evaluation.
• A particular focus is on foundational research on description logic-based and rule-based ontology languages and their extension with standpoint logic to represent contextualized knowledge.

Skills

Theoretical CS

Mathematics

Programming

English

Communication

Independent work

Education

Master’s degree or equivalent

PhD (if applicable)

Job description

TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. For TUD diversity is an essential feature and a quality criterion of an excellent university. Accordingly, we welcome all applicants who would like to commit themselves, their achievements and productivity to the success of the whole institution.

At the Faculty of Computer Science, Institute of Artificial Intelligence, the Chair of Computational Logic offers, within the framework of the Collaborative Research Center (SFB)/Transregio 248 "Foundations of Perspicuous Software Systems" and subject to the availability of resources, a position as Research Associate / PhD Student / PostDoc (m/f/x)

(subject to personal qualification, employees are remunerated according to salary group E 13 TV-L)

starting January 1, 2027, and limited until December 31, 2030. The period of employment is governed by the Fixed-Term Research Contracts Act (Wissenschaftszeitvertragsgesetz – WissZeitVG). The position offers the chance to obtain further academic qualification (usually PhD / habilitation thesis).

The Computer Science SFB/Transregio 248 lays the scientific foundations for cyber-physical systems of the future, enabling them to explain their functionality and behavior (so-called Perspicuous Systems). We are researching an in-depth and applicable theory of explanations for all facets of system behavior, as well as visual and verbal elucidation methods for diverse user groups. More information can be found at www.perspicuous-computing.science. As a member of TUD, you will be part of a successful team of experienced researchers of diverse backgrounds.

Tasks:

• scientific research on and development of methods for the structured, interactive revision of knowledge bases and ontologies, from theoretical foundations through complexity-theoretic analysis to implementation and evaluation.
• a particular focus is on foundational research on description logic-based and rule-based ontology languages and their extension with standpoint logic to represent contextualized knowledge.

Requirements:

• university degree (Master’s or equivalent) and, if applicable, PhD degree in computer science or related disciplines
• in-depth knowledge in theoretical computer science, preferably in knowledge representation and logic
• a strong background in mathematics
• structured way of working
• ability to advance projects independently and to communicate with everyone involved
• excellent written and verbal communication skills in English
• good programming skills and an interest in experimental tasks desirable
• intermediate German language skills (CEFR level B1 or above) desirable

We offer:

• an interesting and diverse job in a collaborative project researching a highly topical subject
• flexible working hours
• 30 days of vacation per year (based on a 5-day workweek)
• extensive opportunities for professional development and continuing education
• health care and sports programs offered by TUD
• a discounted job ticket (also available as a Deutschlandticket)
• participation in the supplementary pension scheme for employees in the public sector via VBL (Federal and State Government Employees Retirement Fund)

TUD strives to employ more women in academia and research. We therefore expressly encourage women to apply. The university is a family-friendly university. We welcome applications from candidates with disabilities. If multiple candidates prove to be equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code IX (SGB IX) will receive priority for employment.

Reference to data protection: Your data protection rights, the purpose for which your data will be processed, as well as further information about data protection is available to you on the website: https://tu-dresden.de/karriere/datenschutzhinweis.