Research in a project with the goal of automatically modernising existing binary programs (fix security vulnerabilities, port to new processor architectures, systematically test that the new program can replace all of the functionality of the original one). This is a “computer systems” project at the intersection of compiler construction, software engineering, and computer security. Besides theoretical work, an explicit goal of the project is to implement a prototype system and to evaluate it. The opportunity to pursue a doctorate is available.

• Successfully completed graduate degree (Master, Diplom, or equivalent) in Computer Science, Computer Engineering, or similar field
• Passion for cutting-edge research, creativity, and ability to work in a team desirable
• Advanced knowledge in compilers (LLVM), virtual machines, operating systems, software testing, fuzzing, and/or computer security desirable
• Language skills in German and/or English are required; willingness to acquire all missing language skills

Please send your written application, quoting the reference number, with the usual application documents by e-mail (one PDF file, max. 5 MB) to: secretary@sect.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 guaranty 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. Applications from people of all nationalities and with a migration background are very welcome.