The Transregional Collaborative Research Center (SFB) 248 “Foundations of Perspicuous Software Systems“ at TU Dresden invites applications for a position as 

Research Associate / PhD Student / Postdoc (foundations of causality)
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)

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. 

Tasks: foundations of causality for stochastic operational models, mathematical explications for verification results and causality-based verification algorithms

Requirements: 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. 

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 secretary_alg@mailbox.tu-dresden.de 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

Please find the german version under: 
https://tu-dresden.de/stellenausschreibung/6853