Of­fer 122 out of 128 from 25/01/21, 16:18


Tech­ni­sche Uni­ver­sität Ber­lin - Fac­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

Rese­arch Assist­ant - salary grade E 13 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:

Suc­cess­ful can­did­ates con­trib­ute act­ively in rese­arch, teach­ing, and oper­a­tion of a uni­ver­sity chair in The­or­et­ical Com­puter Sci­ence. In rese­arch, they coo­per­ate to the cur­rent core the­mes of the chair, like dis­trib­uted algo­rithms, syn­tac­tic and graph­ical mod­els for dis­trib­uted sys­tems, for­mal seman­tics, type sys­tems, com­puter-aided (inter­act­ive and auto­matic) veri­fic­a­tion tech­niques. In teach­ing, the can­did­ates con­trib­ute to the pre­par­a­tion and exe­cu­tion of mod­ules in the Ger­man-speak­ing Bach­elor pro­gramme “Inform­atik”, which focu­ses on the impart­ing of know­ledge and com­pet­en­cies in The­or­et­ical Com­puter Sci­ence.


  • suc­cess­fully com­ple­ted uni­ver­sity degree (Mas­ter, Dip­lom or equi­val­ent) in com­puter sci­ence
  • very good know­ledge and com­pet­en­cies in The­or­et­ical Com­puter Sci­ence, in par­tic­u­lar For­mal Seman­tics and For­mal 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”, “Event Struc­tures” or “Fault-Tol­er­ant Dis­trib­uted Algo­rithms”
  • know­ledge and sub­stan­tial exper­i­ence to use inter­act­ive the­orem pro­vers (for example: Isa­belle/HOL) and to deve­lop (semi-) auto­matic ana­lysis (sim­u­la­tion or veri­fic­a­tion) tools
  • 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 Eng­lish; suf­fi­cient lan­guage pro­fi­ciency to teach clas­ses in both Ger­man and Eng­lish is expec­ted
  • App­lic­ants have a veri­fi­ably dis­tinct inte­rest in excel­lent and innov­at­ive teach­ing. In all areas, they are able to work auto­nom­ously and they show an affin­ity for the use the­orem pro­vers and for the com­pu­ter­ized pro­to­typ­ical real­iz­a­tion of their the­or­et­ical res­ults (mod­els, seman­tics, algo­rithms, etc).

For mor inform­a­tion please con­tact: Prof. Dr.-Ing. Uwe Nest­mann, email:

How to ap­ply:

Please send your app­lic­a­tion with the ref­er­ence num­ber and the usual doc­u­ments (com­bined in a sin­gle pdf file, max. 5 MB) by email to Prof. Dr.-Ing. Uwe Nest­mann, (

By sub­mit­ting your app­lic­a­tion via email you con­sent to hav­ing your data elec­tron­ic­ally pro­ces­sed and saved. Please note that we do not pro­vide a guar­anty for the pro­tec­tion of your per­sonal data when sub­mit­ted as unpro­tec­ted file. Please find our data pro­tec­tion notice acc. DSGVO (Gen­eral Data Pro­tec­tion Reg­u­la­tion) at the TU staff depart­ment home­page: or quick access 214041.

To ensure equal oppor­tun­it­ies bet­ween women and men, app­lic­a­tions by women with the requi­red qual­i­fic­a­tions are expli­citly desi­red. Qual­i­fied indi­vidu­als with dis­ab­il­it­ies will be favo­red. The TU Ber­lin val­ues the diver­sity of its mem­bers and is com­mit­ted to the goals of equal oppor­tun­it­ies.

Tech­nis­che Uni­ver­si­tät Ber­lin - Der Prä­sid­ent - Fak­ultät IV, Insti­tut für Soft­ware­tech­nik und The­or­et­ische Inform­atik, Prof. Dr. Nest­mann, Sekr. TEL 7-2, Ernst-Reu­ter-Platz 7, 10587 Ber­lin