Wissenschaftliche*r Mitarbeiter*in

Ihre Aufgaben

Die Forschungsgruppe „Formale Methoden“ entwickelt formale Techniken für die Spezifikation und Verifikation von Softwaresystemen. Von dem erfolgreichen Bewerber/der erfolgreichen Bewerberin für diese Stelle wird erwartet, dass er/sie Forschung im Bereich der Software-Analyse betreibt, insbesondere in der Kombination verschiedener automatischer oder interaktiver Software-Verifikationsansätze.

Ihr Profil

Einstellungsvoraussetzung

• ist ein am Einstellungsdatum erfolgreich abgeschlossenes wissenschaftliches Hochschulstudium (Diplom (Uni)/Master) der Fachrichtung Informatik.

Wünschenswert

• sind Kenntnisse in Bereichen wie Software Analyse, Neural Bug Detection, kooperativer Verifikation oder ähnlichem.
• Ein Interesse an der Entwicklung von Werkzeugen wird erwartet.
• Von Bewerber*innen mit einer abgeschlossenen Promotion wird erwartet, dass sie über begutachtete Veröffentlichungen auf dem Gebiet der Software Analyse verfügen.
• Erwartet werden weiterhin gute Englischkenntnisse in Wort und Schrift und ein starkes Interesse an Teamarbeit und Lehre.

Unser Anspruch

Die Carl von Ossietzky Universität Oldenburg strebt an, den Frauenanteil im Wissenschaftsbereich zu erhöhen. Deshalb werden Frauen nachdrücklich aufgefordert, sich zu bewerben. Gemäß § 21 Abs. 3 NHG sollen Bewerberinnen bei gleichwertiger Qualifikation bevorzugt berücksichtigt werden. Schwerbehinderte Menschen werden bei gleicher Eignung bevorzugt eingestellt.

Weitere Informationen

Es besteht die Möglichkeit zur wissenschaftlichen Weiterqualifikation. Die Stelle ist Teil eines von der DFG geförderten Projekts zur „Kooperativen Verifikation“, das gemeinsam mit einer Forschergruppe in München durchgeführt wird.