Technische Universität Berlin - Faculty IV - Institute for Software Enigineering and Theoretical Computer Science / FG Programming Languages
Technische Universität Berlin offers an open position:
2 positions - Research Assistant - salary grade E13 TV-L Berliner Hochschulen - 1st qualification period (PhD candidate)
part-time employment may be possible
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.
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
How to apply:
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 firstname.lastname@example.org 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.
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.
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*