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).
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). Personal inquires can be directed to Prof. Staab or Dr. Hernandez. Please visit our website (link below, in Contact Details) to learn more about us and our research.
Your Tasks
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 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.
Please submit your application including the following documents, using the Application System JoinUS here:
-
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 May 31st will receive preferential treatment. Applications will be accepted until the position is filled.
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).
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 of professional and private life in general, through various flexible modules. We have an employee health management system that has won several awards and offer our employees a wide range of continuing education programs. We are consistantly 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.
Information in accordance with Article 13 DS-GVO on the processing of applicant data can be found at https://careers.uni-stuttgart.de/content/privacy-policy/?locale=en_US