We are hiring!
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)
- Formal analysis of transient execution attacks
- Reverse engineering for IoT
- Software supply chain security
Application deadline is 18 June 2023.