Stellenticket Freie Universität Berlin

The Chair of Programming Languages advances theoretical knowledge and develops practical solutions in the following areas:
(1) compiler construction, with a focus on domain-specific software and specialized hardware,
(2) program optmizations, with a focus on combining formally sound approaches with novel automated exploration methods, such as machine learning, equality saturation, or program synthesis, and
(3) programming language design, with a focus on developing advanced type systems and high-level abstractions for languages achieving high efficiency and performance.

We offer you the opportunity to earn a doctorate at Technische Universität Berlin, which is characterized by a modern, international, collaborative, and team-oriented working environment with a wide range of further training opportunities in research and teaching.

Tasks include:

• Contribute to the research and teaching of the Programming Languages research group.
• Conducting research, in cooperation with other team members, with the ambition to advance the knowledge and practices of programming language design and compiler implementations
• Support of courses (e.g., introduction to programming, programming language design, compiler construction), as well as seminars and supervision of students writing their theses
• Preparation of scientific publications and presentations at workshops and conferences
• Participation in organizational tasks of the research group

• Successfully completed (or to-be-finished) university degree (Master, Diploma or equivalent), in computer science or similar fields (e.g., computer science, or related areas); preferably with very good marks
• Interest in scientific qualification (PhD)
• Interest in Programming Languages and/or Compilers
• Experiences, for example as part of University courses or practical projects, and knowledge in some of the following areas:
  (1) Programming Language Design,
  (2) Logic or Type Systems,
  (3) Compiler Construction,
  (4) Parallel Computing or High-Performance Computing
• Excellent communication skills
• The ability to teach in German and/or in English is required; willingness to acquire the respective missing language skills
• Good programming skills in multiple programming languages, preferably including a functional programming language

Please send your written application with the reference number and the usual documents (cover letter, CV with final grades, certificates of degrees) preferably by email to petra.dudakova@tu-berlin.de addressed to Technische Universität Berlin - Die Präsidentin - Fakultät IV, Institut für Softwaretechnik und Theoretische Informatik, FG Programmiersprachen, Prof. Dr. Michel Steuwer, Sekr.EN21, Einsteinufer 17, 10587 Berlin.

Please send copies only. Original documents will not be returned.

In case of questions, please feel free to contact Prof. Dr. Steuwer (michel.steuwer@tu-berlin.de).

By submitting your application via email you consent to having your data electronically processed and saved. Please note that we do not provide a guarantee for the protection of your personal data when submitted as unprotected file. Please find our data protection notice acc. DSGVO (General Data Protection Regulation) at the TU staff department homepage: https://www.abt2-t.tu-berlin.de/menue/themen_a_z/datenschutzerklaerung.

To ensure equal opportunities between women and men, applications by women with the required qualifications are explicitly desired. Qualified individuals with disabilities will be favored. The TU Berlin values the diversity of its members and is committed to the goals of equal opportunities.