Research Associate - Dresden, Deutschland - Technische Universität Dresden

Technische Universität Dresden

Geprüftes Unternehmen

Dresden, Deutschland

vor 3 Wochen

Geschrieben von:

Lena Wagner

beBee Recruiter

Beschreibung

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,
available, a position as

Research Associate /PhD Student (M/F/x)***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

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
equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code
IX (SGB IX) will receive priority for employment.

(stamped arrival date of the university central mail service applies) preferably via the TU Dresden

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
reimbursed.

Reference to data protection:
Your data protection rights, the purpose for which your data will be processed,