The TU Dresden is one of eleven German universities that were identified as an “excellence university”. TUD has about 36.500 students and almost 5319 employees, 507 professors among them, and, thus, is the largest university in Saxony, today.
Having been committed to sciences and the engineering before the reunification of Germany, TU Dresden now is a multi-discipline university, also offering humanities and social sciences as well as medicine.
Research Associate / PhD Student / Postdoc
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)
The position is starting as soon as possible. The position is fixed-term to 31st of December 2022. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz - WissZeitVG). The position aims at obtaining further academic qualification (e.g. PhD/habilitation thesis).
The Computer Science CRC 248 lays the scientific foundations for the cyberphysical systems of the future, enabling them to explain their functionality and behavior (so-called Perspicuous Systems). We are researching a foundational and applicable theory of explanations for all facets of system behavior, as well as visual and verbal explanation methods for diverse user groups. More information can be found at www.perspicuous-computing.science.
As a member of the Interactive Media Lab Dresden you will be part of a successful team of experienced researchers of diverse backgrounds. You will work in the vibrant scientific environment of the CRC/TR 248 and TU Dresden, one of the leading German research universities. Dresden is a city highly worth living in with a rich cultural life and beautiful nature.
foundations of causality for stochastic operational models, mathematical explications for verification results and causality-based verification algorithms.
Applicants should have an excellent academic record and hold a university degree (MSc or equivalent), and if applicable a PhD, in computer science or related disciplines. Profound knowledge in Theoretical Computer Science, preferably verification, formal modeling and quantitative analysis of systems, automata theory, logic, as well as a solid background knowledge in mathematics are required. Applicants are expected to have a structured way of working and advancing projects independently, a high commitment and excellent communication skills in German and English language.
How to apply:
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 14th of June 2019 (stamped arrival date of the university central mail service applies), preferably via the TU Dresden SecureMail https://securemail.tu-dresden.de by sending it as a single pdf document to email@example.com or by mail 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
Technische Universität 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