Research Associate (m/f/x)
At TU Dresden, Faculty of Computer Science, the Institute of Theoretical Computer Science, Chair of Knowledge-based Systems and the Institute of Artificial Intelligence, Chair of Computational Logic invite, subject to resources being available, applications for a joint position as
Research Associate (m/f/x)
(subject to personal qualification employees are remunerated according to salary group E 13 TV-L)
within the research project KI-assistierte Zertifizierung medizinischer Software (KIMEDS), starting March 01, 2022. The position is limited until February 28, 2025. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz – WissZeitVG). The posi¬tion offers the chance to obtain further academic qualification (e. g. PhD).
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 Hospital Carl Gustav Carus, 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.
Requirements: We seek motivated and talented employees with a very good university 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.
Applications from women are particularly welcome. The same applies to people with disabilities.
Please submit your comprehensive application (including a cover letter, CV and certificates) by February 3, 2022 (stamped arrival date of the university central mail service applies), preferably via the TU Dresden SecureMail https://securemail.tu-dresden.de by sending it as a single pdf document to firstname.lastname@example.org 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. Expenses incurred in attending interviews cannot be reimbursed.
Reference to data protection: Your data protection rights, the purpose for which your data will be processed, as well as further information about data protection is available to you on the website: https: //tu-dresden.de/karriere/datenschutzhinweis
Please find the German version under: