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 program "Informatik", which focuses on the imparting of knowledge and competencies in Theoretical Computer Science. 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.).

• Successfully completed university degree (Master, Diplom or equivalent) in Computer Science
• Very good knowledge of Theoretical Computer Science, especially in Formal Semantics and Formal Methods
• Knowledge and substantial experience in using interactive theorem provers (e.g., Isabelle/HOL)
• Knowledge in developing (semi-)automatic analysis tools (e.g., simulation or verification)
• Solid experience in handling techniques of software project management
• The ability to teach in German and/or in English is required; willingness to acquire the respective missing language skills
• Independent working style desirable
• In-depth knowledge of modeling and verification in the areas of "Concurrency Theory" and "Distributed Systems" desirable
• Knowledge of "Process Calculi," "Event Structures," or "Fault-Tolerant Distributed Algorithms" advantageous
• Excellent communication skills are desirable

Please send your application with the reference number and the usual documents only by email (single pdf file, max. 5 MB) to sekretariat@mtv.tu-berlin.de .

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

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. Applications from people of all nationalities and with a migration background are very welcome.