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

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

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.

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

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 Friday, 10 June 2022 09:10:11 UTC