Zum Hauptinhalt springen

Offene Stellen

Wissenschaftliche/r Mitarbeiter/in (w/m/d) im Rahmen
des BMBF-Projektes Scale4Edge

Fachbereich 3 - Mathematik/Informatik



Entgelt- / Besoldungsgruppe E 13 - Vollzeit
Kennziffer: A279/20
Bewerbungsfrist: 09.12.2020
Öffentliche Ausschreibung

Stellenbeschreibung

Im Fachbereich 3 (Mathematik und Informatik) der Universität Bremen ist in der international renommierten Arbeitsgruppe Rechnerarchitektur zum nächstmöglichen Zeitpunkt (vorbehaltlich der  Stellenfreigabe) befristet für die Dauer der Projektlaufzeit bis zum 30.04.2023 eine Stelle zu besetzen:

Wissenschaftliche/r Mitarbeiter/in (w/m/d)
im Rahmen des BMBF-Projektes Scale4Edge

Informatik – Entgeltgruppe 13 TV-L (100%)

Das Ziel des Projekts Scale4Edge „Skalierbare Infrastruktur für Edge-Computing“ ist es, eine skalierbare RISC-V Plattform mit zugehörigem Ökosystem aufzubauen. Dabei werden sowohl Hardware als auch Software Komponenten berücksichtigt. Neben der Entwicklung stehen dabei auch Verifikationsaufgaben im Fokus. Dazu werden effiziente simulationsbasierte Testgenerierungsansätze sowie der Einsatz von formalen Methoden untersucht.

Mit der Stelle sind die folgenden Aufgaben verbunden:

  • Entwicklung von neuen Methoden für die Verifikation von RISC-V Hardware und Software auf Basis von effizienten Testgenerierungsansätzen und formalen Methoden
  • Eigenverantwortliches und engagiertes Arbeiten in enger Kooperation mit internen und externen Projektpartnern
  • Mitwirkung an der Einwerbung von Forschungsprojekten

Erforderliches Profil:

  • Abgeschlossenes Hochschulstudium im Fach Informatik (Master, Uni-Diplom) oder ein vergleichbarer Abschluss
  • Gute bis sehr gute Programmierkenntnisse (z.B. in C/C++)
  • Gute Englischkenntnisse
  • Bereitschaft und Fähigkeit sich schnell und umfassend in neue Zusammenhänge einzuarbeiten
  • Kenntnisse im Bereich formale Methoden (z.B. SMT, symbolische Software Ausführung) und Testgenerierungsansätzen (z.B. Fuzzing, Constrained-Random) sowie der RISC-V ISA sind hilfreich

Die Universität Bremen strebt eine Erhöhung des Anteils von Frauen im Wissenschaftsbereich an und fordert deshalb Frauen nachdrücklich auf, sich zu bewerben. Schwerbehinderte werden bei im Wesentlichen gleicher fachlicher und persönlicher Eignung bevorzugt. Bewerbungen von Menschen mit einem Migrationshintergrund sind willkommen.

Rückfragen an: Prof. Dr. Rolf Drechsler |Tel:0421-218-63932 |Email: drechslerprotect me ?!uni-bremenprotect me ?!.de

Senden Sie Ihre aussagekräftigen und vollständigen Bewerbungsunterlagen (Lebenslauf, Diplom- oder Masterzeugnis etc.) unter Angabe der Kennziffer A279/20 bis zum 09.12.2020 an:

Universität Bremen
Fachbereich 3 Informatik/Mathematik
Prof. Dr. Rolf Drechsler
Bibliothekstraße 5
28359 Bremen

oder elektronisch in einer Datei im PDF-Format an drechslerprotect me ?!uni-bremenprotect me ?!.de

Bei Bewerbungen in Papierform reichen Sie bitte nur Kopien (keine Mappen) ein, da wir sie nicht zurücksenden können; sie werden nach Abschluss des Auswahlverfahrens vernichtet.