Research Associate /PhD Student, Institute for Theoretical Computer Science

Technische Universität Dresden (TUD), as a University of Excellence, is one of the leading and most dynamic research institutions in the country. Founded in 1828, today it is a globally oriented, regionally anchored top university as it focuses on the grand challenges of the 21st century. lt develops innovative solutions for the world's most pressing issues. In research and academic programs, the university unites the natural and engineering sciences with the humanities, social sciences and medicine. This wide range of disciplines is a special feature, facilitating interdisciplinarity and transfer of science to society. As a modern employer, it offers attractive working conditions to all employees in teaching, research, technology and administration. The goal is to promote and develop their individual abilities while empowering everyone to reach their full potential. TUD embodies a university culture that is characterized by cosmopolitanism, mutual appreciation, thriving innovation and active participation. For TUD diversity is an essential feature and a quality criterion of an excellent university. Accordingly, we welcome all applicants who would like to commit themselves, their achievements and productivity to the success of the whole institution.

The BMBF Cluster SEMECO (Secure Medical Microsystems and Communications) subproject Q1 SecArch at the Faculty of Computer Science, Institute for Theoretical Computer Science, Chair of Algebraic and Logical Foundations of Computer Science offers, subject to resources being available, a position as

Research Associate /PhD Student (m/f/x)
(subject to personal qualification employees are remunerated according to salary group E 13 TV-L)

starting from March 1, 2023. The position is limited until February 28, 2026. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz – WissZeitVG). The position offers the chance to obtain further academic qualification (e.g. PhD).

Tasks: The scientific context is given by the SEMECO research direction on secure medical microsystems and communications and the scope of SEMECO-Q1 on secure and trustworthy system architectures. The specific research topic will be on formal methods for certifying verification algorithms (and in particular model checking) and formal analysis of stochastic models.

Requirements: Very good research-oriented university degree (master's degree or equivalent) in computer science or related fields, profound knowledge in Theoretical Computer Science, preferably verification, model checking, formal modeling and quantitative analysis of systems, automata and complexity theory, logic, as well as a strong background knowledge in mathematics. Interest in theoretical foundations as well as their applications and interdisciplinary research.

TUD strives to employ more women in academia and research. We therefore expressly encourage women to apply. The University is a certified family-friendly university and offers a Dual Career Service. We welcome applications from candidates with disabilities. If multiple candidates prove to be equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code IX (SGB IX) will receive priority for employment.

Please submit your comprehensive application including the usual documents by January 31, 2023 (stamped arrival date of the university central mail service applies) preferably via the TU Dresden SecureMail Portal https://securemail.tu-dresden.de by sending it as a single pdf-document to secretary_alg@mailbox.tu-dresden.de or by mail to: TU Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Professur für Algebraische und logische Grundlagen, Frau Prof. Dr. Christel Baier, Helmholtzstr. 10, 01069 Dresden, Germany. 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.