Doctoral researcher/PhD student in Logic-based Semantic Web Technologies

Open Position for Doctoral researcher/PhD student in Logic-based Semantic Web Technologies

Meet us in Person at ESWC2022 !

The University of Stuttgart represents outstanding, world-renowned research and first-class teaching in one of Europe's most dynamic industrial regions. As a reliable employer, the university supports and promotes the academic careers of its researchers. It is proud of its employees, who currently come from over 100 different countries. The university is a partner for knowledge and technology transfer and focuses on multidisciplinarity. 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). The position is part of the excellence cluster IntCDC - Integrative Computational Design and Construction ( Personal inquires can be directed to Prof. Staab or Dr. Hernandez. 

What you will contribute

Logics has been highly effective in computer science, especially in theoretical fields such as descriptive complexity, database query languages, type theory in programming language research, and reasoning about knowledge. In the Semantic Web, data is generally represented in a formal language with a logic-based semantics that admits reasoning over its meaning. In this position, you will develop logic-based methods for applications in architectural design and the construction of buildings. The design and construction of a building needs the integration of multiple disciplines and logic can be used to represent and integrate this knowledge. The position offers some flexibility and stronger focus can be given to more fundamental or more application-oriented questions depending on your interests. Your research will include the design of core ontologies for architectural design processes, belief representation methods that allow reasoning about design processes at distinct levels of abstraction, and the development of methods for detecting and repairing inconsistencies and constraint violations in designs.

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.

Your Profile

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) are needed for the position. Good social and communication skills are a must.

Our Benefits

We provide you with a friendly, but challenging interdisciplinary research environment and support your academic career towards accomplishing your Ph.D. in a prestigious research group. In Germany, our computer science department is in the top 6 in citation rate, and top 4 in the total number of publications  (Source: U Multirank 2021).

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

How to apply?

Please find more information and indication of how to apply at

Prof. Dr. Steffen Staab
Cyber Valley Endowed Chair for Analytic Computing
Institute for Parallel and Distributed Systems
Universit├Ąt Stuttgart
Chair for Web and Computer Science
Web, AI, and Society (WAIS)
Electronics and Computer Science
University of Southampton

Received on Sunday, 22 May 2022 06:23:19 UTC