PhD Student (F/M/D) Knowledge Graphs and Dynamic Logics for AI in Manufacturing

Karlsruhe Institute of Technology (KIT) – The Research University in the Helmholtz Association creates and imparts knowledge for the society and the environment. It is our goal to make significant contributions to mastering the global challenges of mankind in the fields of energy, mobility, and information. For this, about 9800 employees of KIT cooperate in a broad range of disciplines in research, academic education, and innovation.

We are looking for the Institute of Applied Informatics and Formal Description Methods (AIFB) as soon as possible and limited to 1 year initially with option to extend for a

PhD Student (F/M/D) Knowledge Graphs and Dynamic Logics for AI in Manufacturing

Funded by the German Research Foundation (DFG), the Research Unit "AI-based Methodology for the Fast Maturation of Immature Manufacturing Processes" was recently established at KIT and Fraunhofer institutes. The advertised position is part of this research unit and situated in the research group Web Science at the institute AIFB.

The research group "Web Science" deals with the development and application of artificial intelligence (AI) methods. This includes the semantic representation of knowledge through knowledge graphs, machine learning, and the processing of natural language.

You will be part of a large, interdisciplinary team from the fields of production engineering and computer science and explore fundamentally new approaches in seven sub-projects to make the complex development phases of new production processes faster, more cost-effective and efficient through the targeted use of AI methods.

Your activities include research in the field of Semantic Web/Linked Data/Knowledge Graphs for manufacturing. Your work will be to investigate novel methods in order to answer hybrid queries on semantic (i.e. factual) and physical knowledge (as represented in physical models based rooted in differential equations) from asset administration shells and digital twins using AI methods.

In addition to research work, you are also active in teaching, especially Artificial Intelligence, and you participate in science administration.

Personal qualification:

• You have a Master degree in Industrial Engineering and Management, Informatics/Computer Science, Business Informatics, or in related fields.
• You have experience in:
  • Semantic Technologies or symbolic Artificial Intelligence
  • Formal Methods to model dynamic systems (e.g. differential dynamic logic)
• You are interested in topics including:
  • Manufacturing
  • Question answering
  • Large Language Models
  • Research data management
  • Asset administration shells and digital twins
• Programming experience is highly advantageous.
• On top, you can excel using a high level of self-motivation and the ability to work in a team.
• A very good command of the English language in speech and writing completes your profile.
• Proficiency in German is very welcome.

Become a member of staff of the only German University of Excellence that conducts large-scale research on the national level. Work under excellent working conditions in an international environment and be active in research and academic education for our future. Benefit from specific training when starting your job and from a wide range of further qualification offers. Use our flexible working time models (flexitime, work from home), our sports and leisure offers, as well as our child and holiday care services. We also pay a share of EUR 25/month in the Job Ticket Baden-Württemberg. Enjoy a large variety of dishes, snacks, and beverages at our canteens.

We prefer to balance the number of employees (F/M/D). Therefore we kindly ask female applicants to apply for this job.

Recognized severely disabled persons will be preferred if they are equally qualified.

Please apply with your relevant documents (letter of motivation, curriculum vitae, certificates, if possible with master’s thesis or its draft and GitHub profile) until March 31, 2024 using the vacancy number 2253/2023 to Ms Carrasco Sanchez, Karlsruhe Institute of Technology (KIT), Human Resources, Kaiserstr. 12, 76128 Karlsruhe, Germany. For further information, please contact Dr. Tobias Käfer, email: [email protected] .

Processing of your personal data by Karlsruhe Institute of Technology (KIT) will be subject to this Privacy Policy .

You can find further information on the internet: www.kit.edu

KIT – The Research University in the Helmholtz Association