Stellenticket Technische Hochschule Wildau

Mit­ar­beit im IBB-For­schungs­pro­jekt „Auto­ma­ti­sche Struk­tur­ver­bes­se­run­gen von Sta­te­flow-Auto­ma­ten (SFAs­sist)“ (För­der­pro­gramm Pro FIT). Das Pro­jekt erfolgt in Zusam­men­ar­beit mit einem Ber­li­ner Unter­neh­men. Es sol­len Kon­zepte und Metho­den ent­wi­ckelt wer­den, mit denen Model Smells in zustands­ba­sier­ten Model­len/Sta­techarts auto­ma­tisch erkannt und mit­tels Modell­trans­for­ma­tio­nen beho­ben wer­den kön­nen; Eva­lua­tion der Metho­dik anhand von pra­xis­na­hen Fall­stu­dien z.B. aus den Berei­chen Auto­mo­tive Sys­tems (Simu­link/Sta­te­flow) oder Cyber-Phy­si­cal Sys­tems. Die Mög­lich­keit zur Pro­mo­tion ist gege­ben.

- 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 oder ver­wand­ter Stu­di­en­gänge
- ver­tiefte und theo­re­tisch fun­dierte Kennt­nisse in min­des­tens einem der fol­gen­den Gebiete:

• Soft­ware Engi­nee­ring
• Cyber-Phy­si­cal Sys­tems
• For­male Seman­tik und Veri­fi­ka­tion
• Qua­li­täts­si­che­rung

- gute Deutsch- und Eng­lisch­kennt­nisse
- Kennt­nisse in modell­ba­sier­ter Ent­wick­lung und Mat­lab/Sta­te­flow oder Sta­techarts erwünscht

Wei­tere Infor­ma­tio­nen zur Stelle erteilt Ihnen Johanna Boh­len (sekr@sese.tu-berlin.de).

Ihre Bewer­bung sen­den Sie bitte unter Angabe der Kenn­zif­fer mit den übli­chen Unter­la­gen (in einem PDF-Doku­ment, max. 5 MB) per E-Mail an Prof. Dr. Sabine Gles­ner (sekr@sese.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 - Die Prä­si­den­tin - , Fakul­tät IV, Insti­tut für Soft­ware­tech­nik und Theo­re­ti­sche Infor­ma­tik, FG Soft­ware and Embed­ded Sys­tems Engi­nee­ring, Prof. Dr. Sabine Gles­ner, Sekr. TEL 12-4, Ernst-Reu­ter-Platz 7, 10587 Ber­lin