Job Vacancies
Wissenschaftliche:r Mitarbeiter:in (w/m/d)
Fachbereich 3 - Mathematik/Informatik
Classifications E 13 - full-time
Reference number: A252-24
Closing date: 08/12/2024
Öffentliche Ausschreibung
An der Universität Bremen ist im Fachbereich Mathematik und Informatik in der Arbeitsgruppe Rechnerarchitektur zum nächstmöglichen Zeitpunkt eine Stelle in Vollzeit als
Wissenschaftliche:r Mitarbeiter:in (w/m/d)
Entgeltgruppe 13 TV-L
befristet bis zum 31.12.2025 (gemäß § 2 WissZeitVG) zu besetzen.
Offen für unkonventionelle Ansätze in Forschung und Lehre hat die Universität Bremen sich seit ihrer Gründung vor 50 Jahren ihren Charakter als Ort der kurzen Wege für Menschen und Ideen bewahrt. Mit einem breiten Fächerspektrum verbinden wir außergewöhnliche Leistungsstärke und großes Innovationspotenzial. Als ambitionierte Forschungsuniversität stehen wir für den Ansatz des Forschenden Lernens und eine ausgeprägte Orientierung an Interdisziplinarität. Wissenschaftliche Kooperationen weltweit gestalten wir aktiv und partnerschaftlich.
Heute lernen, lehren, forschen und arbeiten rund 23.000 Menschen auf unserem internationalen Campus. In Forschung und Lehre, Verwaltung und Betrieb bekennen wir uns nachdrücklich zu den Zielen der Nachhaltigkeit, Klimagerechtigkeit und Klimaneutralität. Unser Bremer Spirit drückt sich aus im Mut, Neues zu wagen, in einem unterstützenden Miteinander, in Respekt und Wertschätzung füreinander. Mit unserem Studien- und Forschungsprofil und als Teil des europäischen YUFE-Netzwerks übernehmen wir gesellschaftliche Verantwortung in der Region, in Europa und der Welt.
Job description
Die international renommierte Arbeitsgruppe Rechnerarchitektur der Universität Bremen entwickelt Entwurfswerkzeuge für den computergestützten Schaltkreis- und Systementwurf.
Die Arbeitsgruppe kooperiert eng mit dem Forschungsbereich Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) und im Rahmen von Transferprojekten, die u.a. vom Bundesministerium für Bildung und Forschung (BMBF) gefördert werden.
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.
Der/die erfolgreiche Bewerber:in wird im Rahmen des Projektes neue Methoden und Modellierungsansätze für die Identifikation von Fehlern in modernen Eingebetteten Systemen entwickeln und mit Hilfe von virtuellen Prototypen evaluieren und verifizieren.
Die Aufgaben umfassen im Einzelnen:
- Untersuchung und Evaluierung von domänenspezifischen Fehlerquellen für moderne Eingebettete Systeme;
- Modellierungsansätze für die Abbildung der domänenspezifischen Eigenschaften von Eingebetteten Systemen in virtuelle Prototypen;
- Implementierung von Fehlererkennungsmechanismen in Virtuelle Prototypen;
- Anforderungsanalyse und Implementierung von Mikroarchitekturdetails in virtuellen Prototypen zur Identifikation von Mikroarchitektur-spezifischen Fehlern;
- Eigenverantwortliches und engagiertes Arbeiten in enger Kooperation mit internen und externen Projektpartnern;
- Eigenständige wissenschaftliche Arbeit, Recherche und Implementation;
- Publikation und Präsentation der Ergebnisse in nationalen und international Workshops und Konferenzen.
Requirements
- Abgeschlossenes wissenschaftliches 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 der RISC-V ISA, Hardwarebeschreibungssprachen und dem Schaltkreisentwurf sind hilfreich
- Hohes Engagement, wissenschaftliches Interesse und Bereitschaft zur projektübergreifenden Kooperation
Die Möglichkeit zur wissenschaftlichen Weiterqualifikation ist gegeben und wird nachdrücklich unterstützt.
General Information
Für weitere Informationen kontaktieren Sie bitte:
Prof. Dr. Rolf Drechsler
Tel:0421-218-63932
E-Mail: drechslerprotect me ?!uni-bremenprotect me ?!.de
Die Universität ist familienfreundlich, vielfältig und versteht sich als internationale Hochschule. Wir begrüßen daher alle Bewerber:innen unabhängig von Geschlecht, Nationalität, ethnischer und sozialer Herkunft, Religion/Weltanschauung, Behinderung, Alter, sexueller Orientierung und Identität.
Die Universität Bremen beabsichtigt, den Anteil von Frauen im Wissenschaftsbereich zu erhöhen und fordert deshalb Frauen ausdrücklich auf, sich zu bewerben.
Schwerbehinderten Menschen wird bei im Wesentlichen gleicher fachlicher und persönlicher Eignung der Vorrang gegeben.
Senden Sie Ihre aussagekräftigen und vollständigen Bewerbungsunterlagen (Lebenslauf, Motivationsschreiben, Zeugnisse, Referenzen, etc.) unter Angabe der Kennziffer A252-24 bis zum 12.08.2024 als eine PDF-Datei auf dem unverschlüsselten Postweg an drechslerprotect me ?!uni-bremenprotect me ?!.deoder per Post an:
Universität Bremen
Fachbereich 3 Informatik/Mathematik
Prof. Dr. Rolf Drechsler
Bibliothekstraße 5
28359 Bremen
Wir bitten Sie, uns von Ihren Bewerbungsunterlagen nur Kopien (keine Mappen) einzureichen, da wir sie nicht zurücksenden können. Sie werden nach Abschluss des Auswahlverfahrens vernichtet.
Etwaige Kosten für das Bewerbungsverfahren können nicht erstattet werden.