Of­fer 316 out of 391 from 20/12/17, 12:35


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 / Logic and Semantics

Research Assist­ent - 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:

Par­ti­cip­a­tion in research in the Logic and Semantics research group; act­ive par­ti­cip­a­tion in the group's teach­ing activ­it­ies in Eng­lish and Ger­man, espe­cially in the super­vi­sion of exer­cises accom­pa­ny­ing the group's lec­tures and sem­inars


  • suc­cess­fully com­pleted uni­versity degree (Mas­ter, Dip­lom or equi­val­ent) in Com­puter Sci­ence
  • strong interest and pro­found know­ledge in at least one of the fol­low­ing areas:
a) struc­tural and algorithmic graph the­ory, graph decom­pos­i­tions, graph minors, para­met­rized and gen­eral graph algorithms
b) logic, in par­tic­u­lar areas such as finite and com­pu­ta­tional model the­ory and auto­mata the­ory
  • very good com­mand of Eng­lish

More inform­a­tion can be obtained from Prof. Dr. Stephan Kreutzer (+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. Kreutzer, Sekr. TEL 7-3, 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.

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