2 Stellen - Studentische Beschäftigung mit 60 Monatsstunden

Wir suchen Unterstützung für die Bearbeitung der Forschungsaktivitäten (nicht projektgebunden) unseres Fachgebietes "Programmiersprachen":

• Unterstützung beim Compilerbau mit dem MLIR Framework (20%)
• Unterstützung bei der Untersuchung neue Methoden zur Automatisierung des Compilerbaus (20%)
• Unterstützung bei der Entwicklung neuer Techniken der Compiler Optimierung, insbesondere Equality Saturation und Methoden des maschinellen Lernens (20%)
• Unterstützung bei Design und Implementierung einer neuen Programmiersprache für GPUs(40%)

Muss-Kriterien:

• Programmiererfahrung in einer funktionalen Sprache (Lean oder Haskell)
• Programmiererfahrung in einer imperativen Sprache (Rust oder C/C++)
• Gute Englischkenntnisse in Wort und Schrift

Kann-Kriterien:

• Erfahrungen mit Compilerbau
• Erfahrungen mit Typensystemen, formellen Methoden oder maschinellem Lernen
• Eigenständige Arbeitsweise
• Verlässlichkeit und Kreativität

Fachlich verantwortlich / Ansprechpartner:in für die Ausschreibung: Prof. Dr. Michel Steuwer - petra.dudakova@tu-berlin.de
Besetzungszeitraum: ab sofort für 2 Jahre
Bewerbung an: petra.dudakova@tu-berlin.de

Ihre schriftliche Bewerbung mit Anschreiben, Lebenslauf, Immatrikulationsbescheinigung und ggf. aktueller Notenübersicht richten Sie bitte unter Angabe der Kennziffer an die o.g. Beschäftigungsstelle.
Zur Wahrung der Chancengleichheit zwischen Männern und Frauen sind Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrücklich erwünscht. Schwerbehinderte werden bei gleicher Eignung bevorzugt.