Technische Universität Berlin - Faculty IV – Institute of Software Engineering and Theoretical Computer Science / Models and Theory of Distributed Systems
Research Assistant - salary grade E 13 TV-L Berliner Hochschulen - 1st qualification period (PhD candidate)
part-time employment may be possible
Successful candidates contribute actively in research, teaching, and operation of a university chair in Theoretical Computer Science. In research, they cooperate to the current core themes of the chair, like distributed algorithms, syntactic and graphical models for distributed systems, formal semantics, type systems, computer-aided (interactive and automatic) verification techniques. In teaching, the candidates contribute to the preparation and execution of modules in the German-speaking Bachelor programme “Informatik”, which focuses on the imparting of knowledge and competencies in Theoretical Computer Science.
successfully completed university degree (Master, Diplom or equivalent) in computer science
very good knowledge and competencies in Theoretical Computer Science, in particular Formal Semantics and Formal Methods
deep knowledge and substantial experience concerning the modelling and verification in the areas of „Distributed Systems“ and „Concurrency Theory“, in particular “Process Calculi”, “Event Structures” or “Fault-Tolerant Distributed Algorithms”
knowledge and substantial experience to use interactive theorem provers (for example: Isabelle/HOL) and to develop (semi-) automatic analysis (simulation or verification) tools
solid experience and safe usage of techniques of software project management
independent working ability, excellent communication skills and very good proficiency in English; sufficient language proficiency to teach classes in both German and English is expected
Applicants have a verifiably distinct interest in excellent and innovative teaching. In all areas, they are able to work autonomously and they show an affinity for the use theorem provers and for the computerized prototypical realization of their theoretical results (models, semantics, algorithms, etc).
Please send your application with the reference number and the usual documents (combined in a single pdf file, max. 5 MB) by email to Prof. Dr.-Ing. Uwe Nestmann, (email@example.com).
By submitting your application via email you consent to having your data electronically processed and saved. Please note that we do not provide a guaranty for the protection of your personal data when submitted as unprotected file. Please find our data protection notice acc. DSGVO (General Data Protection Regulation) at the TU staff department homepage: https://www.abt2-t.tu-berlin.de/menue/themen_a_z/datenschutzerklaerung/ or quick access 214041.
To ensure equal opportunities between women and men, applications by women with the required qualifications are explicitly desired. Qualified individuals with disabilities will be favored. The TU Berlin values the diversity of its members and is committed to the goals of equal opportunities.
Technische Universität Berlin - Der Präsident - Fakultät IV, Institut für Softwaretechnik und Theoretische Informatik, Prof. Dr. Nestmann, Sekr. TEL 7-2, Ernst-Reuter-Platz 7, 10587 Berlin