Stellenbeschreibung
Faculty IV - Electrical Engineering and Computer Science, Institut für Softwaretechnik und Theoretische Informatik - FG Programmiersprachen
Your responsibility
- We are seeking support for the research activities (not project-based) of our “Programming Languages” group:
- Support for Compiler construction with the MLIR framework (20%)
- Support for research into new methods for automating compiler construction (20%)
- Support for the development of new techniques for compiler optimisation, in particular equality saturation and machine learning methods (20%)
- Support for design and implementation of a new programming language for GPUs (40%)
Your profile
Must-have criteria
- Programming experience in a functional language (Lean or Haskell)
- Programming experience in an imperative language (Rust or C/C++)
Good written and spoken English skills
Optional criteria:
Experience with compiler construction
Experience with type systems, formal methods or machine learning
Ability to work independently
Reliability and Creativity
How to apply
- Party responsible for specialist area / point of contact for job posting: Prof. Dr. Michel Steuwer - petra.dudakova@tu-berlin.de
- Period of employment: immediately for 2 years
- Apply to: petra.dudakova@tu-berlin.de
- Please submit your written application including cover letter, your CV, certificate of enrollment, and where applicable, current transcript of records, with the reference number to the place of employment indicated above.
- In the interest of promoting equality opportunities for men and women, applications from women with suitable qualifications are particularly encouraged.
Anzeige nicht mehr aktuell? Stelle austragen
