Analysis Affiliate / PhD Pupil / Postdoc job with TECHNISCHE UNIVERSITAT DRESDEN (TU DRESDEN)

At TU Dresden, College of Laptop Science, Institute of Theoretical Laptop Science, the Chair of Algebraic and Logical Foundations of Laptop Science presents for the Centre for Tactile Web with Human-in-the-Loop (CeTI) a place as

Analysis Affiliate / PhD Pupil / Postdoc (m/f/x)

(topic to private qualification staff are remunerated in accordance with wage group E 13 TV-L)

beginning as quickly as potential. The place is restricted till December 31, 2025. The interval of employment is ruled by the Mounted Time period Analysis Contracts Act (Wissenschaftszeitvertragsgesetz – WissZeitVG). The place presents the possibility to acquire additional educational qualification (e.g. PhD / habilitation thesis).

Duties: The scientific context is given by CeTI’s analysis course on tactile computing. The precise analysis matter might be on formal strategies for verification and quantitative evaluation of stochastic system fashions in addition to associated ideas for certification and explainability which assist and facilitate the concept of human-in-the-loop.

Necessities: excellent research-oriented college diploma (grasp’s diploma or equal) and, if relevant, PhD diploma in pc science or associated fields; profound information in Theoretical Laptop Science, ideally verification, mannequin checking, formal modeling and quantitative evaluation of methods, automata and complexity idea, logic, in addition to a robust background information in arithmetic; curiosity in theoretical foundations in addition to their functions and interdisciplinary analysis.

Purposes from ladies are significantly welcome. The identical applies to individuals with disabilities.

Please submit your complete utility (together with CV and assertion of analysis curiosity) by October 14, 2022 (stamped arrival date of the college central mail service applies), ideally by way of the TU Dresden SecureMail Portal by sending it as a single pdf-document to 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 solely, as your utility won’t be returned to you. Bills incurred in attending interviews can’t be reimbursed.

Reference to knowledge safety: Your knowledge safety rights, the aim for which your knowledge might be processed, in addition to additional details about knowledge safety is obtainable to you on the web site:

Supply hyperlink

Leave a Reply

Your email address will not be published.