计算机科学方向博士研究员（科研助理，E 13 TV-L薪级）

Back to Overview Next

Research Associate / PhD Student (m/f/x) Full PhD Working Language English

Location Dresden

Application Deadline 30. Oct 2026

Starting Date 01. Jan 2027

• Overview • Description • Required Documents • Application

Overview Open Positions 1

Time Span 01. Jan 2027 for 4 years

Application Deadline 30. Oct 2026

Financing yes

Type of Position Full PhD

Working Language English

Required Degree • Diplom (university of applied sciences) • Master

Areas of study Computer Science

Description Description TUD Dresden University of Technology, as a University of Excellence, is one of the leading and most dynamic research institutions in the country. 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. At the Faculty of Computer Science, Institute of Theoretical Computer Science , the Chair of Algebraic and Logical Foundations of Computer Science offers, within the framework of the Collaborative Research Center (SFB)/Transregio 248 “Foundations of Perspicuous Software Systems” and subject to the availability of resources, 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 January 1, 2027 and limited until December 31, 2030. 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 (usually PhD). The Computer Science SFB/Transregio 248 lays the scientific foundations for cyber-physical systems of the future, enabling them to explain their functionality and behavior (so-called Perspicuous Systems). We are researching an in-depth and applicable theory of explanations for all facets of system behavior, as well as visual and verbal elucidation methods for diverse user groups. More information can be found at www.perspicuous-computing.science . Tasks: The main tasks of the position are research on and development of certifying verification algorithms for stochastic and dynamical systems as well as formal methods for explainability and actionability. Requirements: • university degree in computer science or related disciplines • profound knowledge in theoretical computer science, preferably verification, automata theory, and logic • very good foundations in mathematics • structured method of working • ability to advance projects independently and to communicate with everyone involved • excellent written and verbal communication skills in English • good programming skills and an interest in experimental tasks desirable

We offer: • an interesting and diverse job in a collaborative project researching a highly topical subject • flexible working hours • 30 days of vacation per year (based on a 5-day workweek) • extensive opportunities for professional development and continuing education • health care and sports programs offered by TUD • a discounted job ticket (also available as a Deutschlandticket) • participation in the supplementary pension scheme for employees in the public sector via VBL (Federal and State Government Employees Retirement Fund)

TUD strives to employ more women in academia and research. We therefore expressly encourage women to apply. The university is a family-friendly university. 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. Application: Please submit your detailed application with the usual documents by October 30, 2026 (stamped arrival date of the university central mail service or the time stamp on the email server of TUD applies), preferably via the TUD SecureMail Portal https://securemail.tu-dresden.de by sending it as a single pdf file to professur-alg at tu-dresden. de or to: TU Dresden, Chair of Algebraic and Logical Foundations of Computer Science, 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. TUD is a founding partner in the DRESDEN-concept alliance. 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/tu-dresden/arbeiten-an-der-tud/stellenangebote/Datenschutzhinweis?set_language=en

Required Documents Required Documents • Motivation letter • CV • Certificates

Application Application

https://tu-dresden.de/vacancy/13027

https://tu-dresden.de/ing/informatik/thi/alg?set_language=en Contact TUD Dresden University of Technology Faculty of Computer Science, Institute of Theoretical Computer Science, Chair of Algebraic and Logical Foundations of Computer Science Prof. Dr. Christel Baier Address Street Helmholtzstr. 10 Zipcode 01069 City Dresden

Contact details E-Mail: professur-alg at tu-dresden. de Web: https://tu-dresden.de/ing/informatik/thi/alg?set_language=en