PDF - Stellenwerk Bochum

Job-ID:
BO-2016-11-11-90898
Online seit:
18.11.2016 - 08:20
Anbieter
Kategorie
Wissenschaftl. Mitarbeiter(in)
Angebot
Titel
WMA Analysetechniken für komplexe Softwaresysteme, 3 Jahre, 31,83 Wochenst.
Einsatzort
Universitätsstraße 150
44801 Bochum
Deutschland
Beschreibung
Die Ruhr-Universität Bochum (RUB) ist eine der führenden Forschungsuniversitäten in
Deutschland. Als reformorientierte Campusuniversität vereint sie in einzigartiger Weise die
gesamte Spannbreite der großen Wissenschaftsbereiche an einem Ort.Das dynamische
Miteinander von Fächern und Fächerkulturen bietet den Forschenden wie den Studierenden
gleichermaßen besondere Chancen zur interdisziplinären Zusammenarbeit.
Für ein spannendes Projekt im zukunftsträchtigen Bereich IT-Sicherheit, insbesondere zu
Analysetechniken für komplexe Softwaresysteme, sucht der Lehrstuhl für Systemsicherheit (Prof.
Thorsten Holz) einen hochmotivierten wissenschaftlichen Mitarbeiter(in), der/die an der
Umsetzung eines anspruchsvollen Projekts eigenverantwortlich mitwirkt. Die Möglichkeit zur
Promotion wird gegeben und ist erwünscht. Ziel des Projektes ist es, effiziente und skalierbare
Analysetechniken zu entwickeln. Hierzu sollen neue Konzepte zur Kombination von theoretischen
Grundlagenergebnissen und praktischen Ergebnissen entworfen und teilweise im Rahmen von
Prototypen umgesetzt und evaluiert werden.
Ihre Aufgaben:
Aufgabe ist die eigenverantwortliche Mitarbeit im Projekt. Hierzu zählt unter anderem:
§ Analyse des bisherigen Stands der Wissenschaft und Forschung
§ Entwicklung von Methoden zur Analyse von komplexen Softwaresystemen mit Hilfe von
Methoden aus dem Bereich der Programmanalyse
§ Weiterentwicklung von Methoden aus dem Bereich Programmanalyse/Reverse Engineering
§ Implementierung von Prototypen
§ Dokumentation der erstellten Prototypen und Interfaces
Der Umfang der Lehrverpflichtung richtet sich nach §3 der Lehrverpflichtungsverordnung NRW.
Wir wollen an der Ruhr-Universität Bochum besonders die Karrieren von Frauen in den
Bereichen, in denen sie unterrepräsentiert sind, fördern und freuen uns daher sehr über
Bewerberinnen. Auch die Bewerbungen geeigneter schwerbehinderter und gleichgestellter
Bewerber und Bewerberinnen sind herzlich willkommen.
Anforderungsprofil
Sie verfügen über einen Hochschulabschluss und durch Qualifikationen und Berufserfahrung
erworbene vergleichbare Kenntnisse. Sie haben die Fähigkeit zur analytischen und
konzeptionellen Durchdringung von Systemen und Prozessen sowie deren Abbildung in ITSystemen. Sie integrieren sich in ein leistungsorientiertes, flexibles und dynamisches Team und
zeichnen sich durch Kommunikationsfähigkeit in der Zusammenarbeit mit verschiedenen
Partnern aus. Als Bewerber(in) sollten Sie idealerweise über fundierte praktische Kenntnisse in
den folgenden Bereichen verfügen:
1
§ Planen und Umsetzen von Techniken insbesondere zur Programmanalyse
§ Bewerten von Konzepten für Sicherheitslösungen/Analysetechniken
§ Erarbeiten von Analysetechniken zur effizienten und skalierbaren Analyse
§ Kentnisse zu relevante Techniken wie bspw. VMI, Taint-Analyse, symbolische Ausführung oder
SMT Solver
§ Gute Programmierkenntnisse (z.B. C/C++ und Assembler)
Vergütung
E 13 TV-L
Art der Beschäftigung
Teilzeit
Zeitraum der Beschäftigung
3 Jahre
Bewerbungsfristende
Samstag, 31. Dezember 2016 - 0:00
Kontakt
Vorname
Nadine
Name
Müller
Telefon
+49 234 3227814
E-Mail
nadine.mueller@ rub.de
Link zu dieser Stellenanzeige: https://www.stellenwerk-bochum.de/jobboerse/wissenschaftl-mitarbeiterin-wmaanalysetechniken-fuer-komplexe-softwaresysteme-3-jahre-3183-wochenst-bo-2016-11-11-90898
Bitte beziehe Dich in Deiner Bewerbung auf https://www.stellenwerk-bochum.de/
2