We are hiring!
Several openings for PhD students and postdocs, starting as soon as possible.
30.05.2023
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.