Chair of Programming Languages and AI

Breadcrumb Navigation


We are hiring!

Several openings for PhD students and postdocs, starting as soon as possible.


There are several openings for PhD students and postdocs in our team, please find out more on our jobs page. We are looking to hire in all relevant research areas. Current topics of interest include but are not limited to:

  • Large language models for code (both source and binary)
  • Symbolic execution for JavaScript/node
  • Formal analysis of transient execution attacks
  • Reverse engineering for IoT
  • Software supply chain security

Application deadline is 18 June 2023.