Technische Universität Berlin - Fakulty IV – Institute of Software Engineering and Theoretical Computer Science / Models and Theory of Distributed Systems
Research Assistant - salary grade E13 TV-L Berliner Hochschulen - 1st qualification period (PhD candidate)
part-time employment may be possible
Active contributions in research, teaching, and operation of a university chair in Theoretical Computer Science. In research, the candidate shall contribute to the current core themes of the chair, like Consensus algorithms, Event Structures, Session Types, Bisimulation techniques. In teaching, the candidate shall develop a concept for a new kind of practical programming projects for the Bachelor in Computer Science that is to, on the one hand, motivate knowledge in Theoretical Computer Science and, on the other hand, also already uses them. In operation, the candidate shall solve and carry out tasks in the administration of computers and networks as well as provide and maintain a number of web services related to research and teaching.
Successfully completed university degree (Master, Diplom or equivalent) very good knowledge and competencies in Theoretical Computer Science, in particular 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” and “Fault-Tolerant Distributed Algorithms”; knowledge and substantial experience to use the interactive theorem prover Isabelle/HOL and to develop (semi-) automatic analysis (simulation or verification) tools using the programming language Scala; solid experience and safe usage of techniques of software project management; independent working ability, excellent communication skills and very good proficiency in German and English; very good knowledge and experience with the administration of computers and networks, as well as web services.
Concrete experience in the execution of research-oriented projects and/or practicals with students in the area of Theoretical Computer Science. Concrete ideas to implement the (see above) intended teaching goal to develop a programming project in Theoretical Computer Science.
Please send your written application with the reference number and the usual documents to 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 or by e-mail to firstname.lastname@example.org.
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.
Please send copies only. Original documents will not be returned.