Opportunities

I am actively looking to recruit people to work in my group! If you like hacking on hardware, operating systems, or large distributed systems, like applying formal methods to any of them, or like co-designing hardware and software to improve system performance and security, please take a look at the following opportunities:

• Short-term research internships
• Undergrad and MSc projects
• PhD positions
• Post-doctoral positions

If you are a student at Imperial, you might also want to check the courses that I teach.