Research Associate / PhD Student in Computer Science for Foundations of Causality

At TU Dresden, the Transregional Collaborative Research Center (SFB) 248 “Foundations of Perspicuous Software Systems“ invites applications for a position as
 
Research Associate / PhD Student
(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).

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.

Activities and responsibilities

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

Qualification profile

Applicants should have an excellent academic record and hold a university degree (MSc or equivalent) 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.

Send application to

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

Die Vergütung für vergleichbare Positionen liegt im Mittel bei circa 50.381,00 € brutto im Jahr. Je nach Erfahrung und Qualifikation, sowie weiteren Faktoren kann dieser Schätzwert in unterschiedlichem Maße von der tatsächlich zu erwartenden Vergütung abweichen. Weitere Informationen zu Gehalt und Gehaltsverhandlung finden Sie in unserem Karriereratgeber.
Bitte beziehen Sie sich bei Ihrer Bewerbung auf jobvector

Über Technische Universität Dresden

Die TU Dresden ist eine Volluniversität mit einem breiten Fächerspektrum. Die strukturelle Gliederung umfasst fünf Bereiche mit 14 Fakultäten: Mathematik und Naturwissenschaften Geistes- und Sozialwissenschaften Ingenieurwissenschaften Bau und Umwelt Medizin
Mehr über Technische Universität Dresden