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. 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 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
• The ability to teach in German and/or in English is required; willingness to acquire the respective missing language skills

Wünschenswert:

• Independent working ability, excellent communication skills

For further information on the position, please contact Prof. Dr.-Ing. Uwe Nestmann, email: uwe.nestmann@tu-berlin.de.

By post to: Technischen Universität Berlin - Die Präsidentin - Fakultät IV, Institut für Softwaretechnik und Theoretische Informatik, Fachgebiet FG Modelle und Theorie Verteilter Systeme, Sekr. EN 24, Einsteinufer 17, 10587 Berlin or by email to: sekretariat@mtv.tu-berlin.de.

Please send copies only. Original documents will not be returned.

By submitting your application via email you consent to having your data electronically processed and saved. Please note that we do not provide a guarantee for the protection of your personal data when submitted as an 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. Applications from people of all nationalities and with a migration background are very welcome.