Researcher (f/m/d)

Remuneration:¹ E 13 TV-L
Workload: Full time 100%
Start: 1st Mar 2022
Duration:² 28th Feb 2025
Contact: Sebastian Rudolph
Application deadline: February 15, 2022

At the research group Computational Logic we are inviting applications for a

Researcher (f/m/d)

Applications from women are particularly welcome. The same applies to people with disabilities.

Please submit your comprehensive application (including CV and statement of research interest) by the deadline (stamped arrival date of the university central mail service applies), preferably via the TU Dresden SecureMail by sending it as a single pdf document to Sebastian Rudolph or by mail to: TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Computational Logic, Herrn Prof. Dr. Sebastian Rudolph, Helmholtzstr. 10, 01069 Dresden. Please submit copies only, as your application will not be returned to you.

¹⁾subject to personal qualification
²⁾governed by the Fixed Term Research Contracts Act (WissZeitVG)

Tasks: The growing complexity of programmable medical devices is in fundamental contrast to an outdated certification process, which is often still based on manually generated tables and texts. The goal of KIMEDS is to fundamentally improve the safety, transparency, and efficiency of certification by developing an ontology-based, AI-supported, and internationally standardized system of interoperable software tools and services. As a collaborator in this interdisciplinary joint project together with the university clinic, certification authorities, and medical device manufacturers, you will be involved in realizing this vision by using methods of knowledge representation and automatic reasoning.

The position is focussed on foundational research. Publication and presentation of research results at international venues are important parts of the work. The position offers the chance to obtain further academic qualification.

Requirements: We seek motivated and talented employees with a very good scientific degree (M.Sc. or equivalent) in computer science or a related field. The position is particularly suitable for candidates with prior experience in the following topics:

AI methods from areas of knowledge representation, logic programming, logical reasoning;
Foundations and applications of other symbolic AI methods, e.g., planning, process modeling, optimization;
Design and implementation of related systems in common programming languages.

Applicants should organize their work independently, enjoy working in teams, and speak and write fluent German and English.

As a member of a research group at the International Center for Computational Logic, you will be part of a successful team of enthusiastic researchers of different nationalities and backgrounds. You will work in the inspiring environment of the TU Dresden, one of the leading German research universities in a livable city with rich culture and nature.