At TU Dresden, Faculty of Computer Science, Institute of Theoretical Computer Science, the Chair of Algebraic and Logical Foundations of Computer Science offers for the Centre for Tactile Internet with Human-in-the-Loop (CeTI) a position as

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

starting as soon as possible. The position is limited until December 31, 2025. 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 / habilitation thesis).

Tasks: The scientific context is given by CeTI's research direction on tactile computing. The specific research topic will be on formal methods for verification and quantitative analysis of stochastic system models as well as related concepts for certification and explainability which support and facilitate the idea of human-in-the-loop.

Requirements: very good research-oriented university degree (master's degree or equivalent) and, if applicable, PhD degree 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.

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 October 14, 2022 (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 to: TU Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Professur für Algebraische und logische Grundlagen der Informatik, 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