Blätter-Navigation

An­ge­bot 467 von 540 vom 18.05.2021, 13:51

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 Soft­ware and Embed­ded Sys­tems Engi­nee­ring

Wiss. Mit­ar­bei­ter*in (d/m/w) - Ent­gelt­gruppe 13 TV-L Ber­li­ner Hoch­schu­len

unter dem Vor­be­halt der Mit­tel­be­wil­li­gung - Teil­zeit­be­schäf­ti­gung ist ggf. mög­lich

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

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.

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 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).

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

Ihre Bewer­bung sen­den Sie bitte unter Angabe der Kenn­zif­fer mit den übli­chen Unter­la­gen (zusam­men­ge­fasst in einem PDF-Doku­ment, max. 5 MB) per E-Mail an Prof. Dr. Sabine Gles­ner unter 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 - Der Prä­si­dent - 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