Of­f­re 155 sur 361 du 09/05/2018, 12: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 / Soft­ware and Embed­ded Sys­tems

Rese­arch Assist­ant - salary grade E13 TV-L Ber­liner Hoch­schu­len

part-time employ­ment may be pos­sible

Work­ing field:

Research assist­ant in the DFG-fun­ded pro­ject „Cor­rect Model Trans­form­a­tion (Cor­Moran)“. In the Cor­Moran pro­ject con­cepts and meth­ods shall be developed to verify the sound­ness of model trans­form­a­tions. Eval­u­ation of the meth­od­o­logy with prac­tical case stud­ies e.g. from the auto­mot­ive area (Mat­lab/Sim­ulink) or from the area of cyber-phys­ical sys­tems. PhD thesis pre­par­a­tion is pos­sible.


Suc­cess­fully com­pleted uni­versity degree (Mas­ter, Dip­lom or equi­val­ent) in com­puter sci­ence or sim­ilar
fields of study; interest in formal logics and semantics and veri­fic­a­tion; pro­found and the­or­et­ic­ally foun­ded know­ledge in model-based devel­op­ment and model trans­form­a­tion approaches; good Ger­man and Eng­lish lan­guage skills are desired.

More inform­a­tion on the job can be obtained from Dr. Thomas Göthel (+49 (0)30 314-73451,, or at:

How to ap­ply:

Please send your applic­a­tion with the ref­er­ence num­ber and the usual doc­u­ments prefer­ably by e-mail in a single pdf-file to or in writ­ing to Tech­nis­che Uni­versitä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, FG Soft­ware and Embed­ded Sys­tems Engin­eer­ing, Frau Prof. Dr. Gles­ner, Sekr. TEL 12-4, Ernst-Reu­ter-Platz 7, 10587 Ber­lin.

To ensure equal oppor­tun­it­ies between women and men, applic­a­tions by women with the required qual­i­fic­a­tions are expli­citly desired. Qual­i­fied indi­vidu­als with dis­ab­il­it­ies will be favored. The TU Ber­lin val­ues the diversity of its mem­bers and is com­mit­ted to the goals of equal oppor­tun­it­ies.

Please send cop­ies only. Ori­ginal doc­u­ments will not be returned