Open Position for PhD Students at the University of Stuttgart Analytic Computing

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

The Analytic Computing group at the University of Stuttgart, Germany, 
invites applications for a full-time position as a doctoral 
researcher/PhD student (100% TV-L E 13). Personal inquiries can be 
directed to Prof. Staab ( or Dr. 
Hernandez ( Please visit our 
website (link below) to learn more about us and our research.

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 knowledge and technology transfer partner and focuses on 

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 

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's and master's students in the 
department's computer and data science programs on topics related to 
your research.

Your Profile

Applicants must have an MSc in computer science or a related field. You 
should possess knowledge in logic 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.

Please see more information and apply for this position in the link below:

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 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).

At the University of Stuttgart, we actively promote diversity among our 
employees. We have set ourselves the goal of recruiting more female 
scientists and employing more people with an international background, 
as well as people with disabilities. We are therefore particularly 
pleased to receive applications from such people. Regardless, we welcome 
any good application.

Women who apply will be given preferential consideration in areas in 
which they are underrepresented, provided they have the same aptitude, 
qualifications, and professional performance. Severely disabled 
applicants with equal qualifications will be given priority.

As a certified family-friendly university, we support the compatibility 
of work and family and professional and private life in general through 
various flexible modules. We have an employee health management system 
that has won several awards and offers our employees a wide range of 
continuing education programs. We are constantly improving our 
accessibility. Our Welcome Center helps international scientists get 
started in Stuttgart. We support partners of new professors and managers 
with a dual-career program.

Dr. Daniel Hernandez
University of Stuttgart
Analytic Computing group, Institute for Parallel and Distributed Systems

Received on Thursday, 5 May 2022 16:28:51 UTC