Of­f­re 102 sur 251 du 12/09/2018, 13:54


Tech­ni­sche Uni­ver­sität Ber­lin - Fak­ulty IV – Insti­tute of Soft­ware Engin­eer­ing and The­or­et­ical Com­puter Sci­ence / Mod­els and The­ory of Dis­trib­uted Sys­tems

Research Assist­ant - salary grade E13 TV-L Ber­liner Hoch­schu­len - 1st qual­i­fic­a­tion period (PhD can­did­ate)

part-time employ­ment may be pos­sible

Work­ing field:

Act­ive con­tri­bu­tions in research, teach­ing, and oper­a­tion of a uni­versity chair in The­or­et­ical Com­puter Sci­ence. In research, the can­did­ate shall con­trib­ute to the cur­rent core themes of the chair, like Con­sensus algorithms, Event Struc­tures, Ses­sion Types, Bisim­u­la­tion tech­niques. In teach­ing, the can­did­ate shall develop a concept for a new kind of prac­tical pro­gram­ming pro­jects for the Bach­elor in Com­puter Sci­ence that is to, on the one hand, motiv­ate know­ledge in The­or­et­ical Com­puter Sci­ence and, on the other hand, also already uses them. In oper­a­tion, the can­did­ate shall solve and carry out tasks in the admin­is­tra­tion of com­puters and net­works as well as provide and main­tain a num­ber of web ser­vices related to research and teach­ing.


Suc­cess­fully com­pleted uni­versity degree (Mas­ter, Dip­lom or equi­val­ent) very good know­ledge and com­pet­en­cies in The­or­et­ical Com­puter Sci­ence, in par­tic­u­lar Semantics and Formal Meth­ods; deep know­ledge and sub­stan­tial exper­i­ence con­cern­ing the mod­el­ling and veri­fic­a­tion in the areas of „Dis­trib­uted Sys­tems“ and „Con­cur­rency The­ory“, in par­tic­u­lar “Pro­cess Cal­culi” and “Fault-Tol­er­ant Dis­trib­uted Algorithms”; know­ledge and sub­stan­tial exper­i­ence to use the inter­act­ive the­orem prover Isa­belle/HOL and to develop (semi-) auto­matic ana­lysis (sim­u­la­tion or veri­fic­a­tion) tools using the pro­gram­ming lan­guage Scala; solid exper­i­ence and safe usage of tech­niques of soft­ware pro­ject man­age­ment; inde­pend­ent work­ing abil­ity, excel­lent com­mu­nic­a­tion skills and very good pro­fi­ciency in Ger­man and Eng­lish; very good know­ledge and exper­i­ence with the admin­is­tra­tion of com­puters and net­works, as well as web ser­vices.

Con­crete exper­i­ence in the exe­cu­tion of research-ori­ented pro­jects and/or prac­tic­als with stu­dents in the area of The­or­et­ical Com­puter Sci­ence. Con­crete ideas to imple­ment the (see above) inten­ded teach­ing goal to develop a pro­gram­ming pro­ject in The­or­et­ical Com­puter Sci­ence.

More inform­a­tion can be obtained from Prof. Dr. Uwe Nest­mann (+49 (0)30 314-29089,

How to ap­ply:

Please send your writ­ten applic­a­tion with the ref­er­ence num­ber and the usual doc­u­ments to Tech­nis­che Uni­versität Ber­lin - Der Präsid­ent - 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

To ensure equal oppor­tu­nit­ies bet­ween women and men, app­li­ca­ti­ons by women with the requi­red qua­li­fi­ca­ti­ons are expli­citly desi­red.
Qua­li­fied indi­vi­du­als with disa­bi­li­ties will be favo­red. The TU Berlin values the diversity of its members and is committed to the goals of equal opportunities.

Please send cop­ies only. Ori­gi­nal docu­ments will not be retur­ned.