Blätter-Navigation

Of­fer 406 out of 435 from 25/01/21, 16:18

logo

Tech­ni­sche Uni­ver­sität Ber­lin - Fakul­tät IV – Insti­tut für Soft­ware­tech­nik und Theo­re­ti­sche Infor­ma­tik / FG Modelle und Theo­rie ver­teil­ter Sys­teme

Wiss. Mit­ar­bei­ter*in (d/m/w) - Ent­gelt­gruppe 13 TV-L Ber­li­ner Hoch­schu­len - 1. Qua­li­fi­zie­rungs­phase (zur Pro­mo­tion)

Teil­zeit­be­schäf­ti­gung ist ggf. mög­lich

Auf­ga­ben­be­sch­rei­bung:

Erfolg­rei­che Kan­di­dat*innen arbei­ten aktiv in For­schung, Lehre und Betrieb eines Lehr­stuhls im Bereich der Theo­re­ti­schen Infor­ma­tik mit. In der For­schung koope­rie­ren sie zu den aktu­el­len Kern­the­men des Fach­ge­biets wie Ver­teilte Algo­rith­men, syn­tak­ti­sche und gra­phi­sche Modelle für ver­teilte Sys­teme, For­male Seman­tik, Typ­sys­teme, sowie rech­ner­ge­stützte (inter­ak­tive und auto­ma­ti­sche) Veri­fi­ka­ti­ons­tech­ni­ken. In der Lehre ist die Mit­ar­beit in der Kon­zep­tion und Durch­füh­rung von Modu­len vor allem im deutsch­spra­chi­gen Bache­lor­stu­di­en­gang "Infor­ma­tik" gefor­dert, die spe­zi­ell Kennt­nisse und Kom­pe­ten­zen im Bereich der Theo­re­ti­schen Infor­ma­tik ver­mit­teln.

Er­war­te­te Qua­li­fi­ka­tio­nen:

  • erfolg­reich abge­schlos­se­nes wis­sen­schaft­li­ches Hoch­schul­stu­dium (Mas­ter, Diplom oder Äqui­va­lent) der Infor­ma­tik
  • sehr gute Kennt­nisse in Theo­re­ti­scher Infor­ma­tik, ins­be­son­dere im Bereich For­male Seman­tik und For­male Metho­den
  • ver­tiefte Kennt­nisse bzgl. der Model­lie­rung und Veri­fi­ka­tion in den Berei­chen „Neben­läu­fig­keits­theo­rie“ und „Ver­teilte Sys­teme“, ins­be­son­dere „Pro­zess­kal­küle“, „Ereig­nis­struk­tu­ren“ oder „Feh­ler­to­le­rante Ver­teilte Algo­rith­men“
  • Kennt­nisse und sub­stan­zi­elle Erfah­rung in der Benut­zung von inter­ak­ti­ven Theo­rem­prü­fern (zum Bei­spiel: Isa­belle/HOL) und der Ent­wick­lung von (semi-) auto­ma­ti­schen Ana­ly­se­werk­zeu­gen (Simu­la­tion oder Veri­fi­ka­tion)
  • solide Erfah­rung im siche­ren Umgang mit Tech­ni­ken des Soft­ware­pro­jekt­ma­nage­ments
  • selb­stän­di­ges Arbei­ten, exzel­lente Kom­mu­ni­ka­ti­ons­fä­hig­keit sowie sehr gute Deutsch- und Eng­lisch­kennt­nisse; die Fähig­keit zum Unter­rich­ten, sowohl in deut­scher als auch in eng­li­scher Spra­che wird vor­aus­ge­setzt
  • Bewer­ber*innen haben ein nach­weis­lich aus­ge­präg­tes Inter­esse an guter und inno­va­ti­ver Lehre. Sie sind in allen Berei­chen in der Lage selb­stän­dig zu arbei­ten und zei­gen eine Affi­ni­tät zur Nut­zung von Theor­em­be­wei­sern sowie zur pro­to­ty­pi­schen Imple­men­tie­rung der Ergeb­nisse ihrer theo­re­ti­schen Arbeit (Modelle, Seman­ti­ken, Algo­rith­men, etc).

Für wei­tere Infor­ma­tio­nen zur Stelle wen­den Sie sich bitte an Prof. Dr.-Ing. Uwe Nest­mann, E-Mail: uwe.nestmann@tu-berlin.de.

Hin­wei­se zur Be­wer­bung:

Ihre Bewer­bung rich­ten Sie bitte unter Angabe der Kenn­zif­fer mit den übli­chen Unter­la­gen (zusam­men­ge­fass­t in einem pdf-Doku­ment, max. 5 MB) per E-Mail an Prof. Dr.-Ing. Uwe Nest­mann unter uwe.nestmann@tu-berlin.de.

Mit der Abgabe einer Online­be­wer­bung geben Sie als Bewer­ber*in Ihr Ein­ver­ständ­nis, dass Ihre Daten elek­tro­nisch ver­ar­bei­tet und gespei­chert wer­den. Wir wei­sen dar­auf hin, dass bei unge­schütz­ter Über­sen­dung Ihrer Bewer­bung auf elek­tro­ni­schem Wege keine Gewähr für die Sicher­heit über­mit­tel­ter per­sön­li­cher Daten über­nom­men wer­den kann. Daten­schutz­recht­li­che Hin­weise zur Ver­ar­bei­tung Ihrer Daten gem. DSGVO fin­den Sie auf der Web­seite der Per­so­nal­ab­tei­lung: https://www.abt2-t.tu-berlin.de/menue/themen_a_z/datenschutzerklaerung/ oder Direkt­zu­gang: 214041.

Zur Wah­rung der Chan­cen­gleich­heit zwi­schen Frauen und Män­nern sind Bewer­bun­gen von Frauen mit der jewei­li­gen Qua­li­fi­ka­tion aus­drück­lich erwünscht. Schwer­be­hin­derte wer­den bei glei­cher Eig­nung bevor­zugt berück­sich­tigt. Die TU Ber­lin schätzt die Viel­falt ihrer Mit­glie­der und ver­folgt die Ziele der Chan­cen­gleich­heit.

Tech­ni­sche Uni­ver­si­tät Ber­lin - Der Prä­si­dent - Fakul­tät IV, Insti­tut für Soft­ware­tech­nik und Theo­re­ti­sche Infor­ma­tik, Prof. Dr. Nest­mann, Sekr. TEL 7-2, Ernst-Reu­ter-Platz 7, 10587 Ber­lin