español (España) English (United States)
« Back

Doctoral researcher/PhD student in logics-based semantic technologies

 The Analytic Computing group at University of Stuttgart, Germany, invites applications for a full-time position as a

doctoral researcher/PhD student (100% TV-L E 13)

Your research will involve the development of knowledge representation and reasoning methods for applications in architectural design and construction of buildings. This involves the design of core ontologies for architectural design processes and belief representation methods that allow reasoning about design processes at different levels of abstraction. Another focus is on the development of methods for detecting and repairing inconsistencies and constraint violations in designs. The position offers some flexibility and stronger focus can be given to more fundamental or more application-oriented questions depending on your interests. The duration of the position is initially limited to 3 years.

What We Will Offer

We provide you with a friendly, but challenging interdisciplinary research environment and support your academic career towards accomplishing your Ph.D. The targeted work will happen in collaboration with a team of architects.

What You Will Contribute

You will work on core ontologies for architecture, engineering and construction, on formal logic operators that support different stages of the engineering process and corresponding formal reasoning methods. You will advise and tutor bachelor and master students in the computer and data science programs of the department in topics related to your research.


Applicants for the position are required to have an MSc in computer science or in a related field. You should possess knowledge in logics and/or ontologies and/or formal artificial intelligence. First experience with KR methods like knowledge graphs, semantic web technologies (e.g. RDF, SPARQL, SHACL), or logical knowledge representation methods (e.g. belief revision, description logics) is required for the position. Good social and communication skills are a must.

The University of Stuttgart would like to increase the number of women in the scientific field and is therefore particularly interested in applications from women. Severely disabled persons are given priority in the case of equal suitability. The employment process of scientific employees is carried out by the university’s central administration.


The salary amounts to German TV-L E 13, which starts at approx. 50,000 Euro income per year (before taxation).

More Information

Personal inquires can be directed to Prof. Staab.


Please submit your application in one PDF file including:

  • a motivation/cover letter that highlights why you are the right fit for this specific position
  • a curriculum vitae
  • if possible, scans of all your original final transcripts and diploma certificates (or stamped, official translations) from each university degree (Bachelor, Master, etc.). Otherwise, please send unofficial documents and translations as available.

Applications submitted before January 20 will receive preferential treatment. Applications will be accepted until the position is filled.

Send your application with the subject “Logics-based Semantic Technologies” to:

Information on handling applicant data in accordance with Art. 13 DS-GVO can be found at: