2 Stellen - Studentische Beschäftigung mit 60 Monatsstunden - FG Programmiersprachen

Ihre Aufgaben

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%)

Ihr Profil

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