about 6 hours ago
Cambridge, United Kingdom
Intern
H1B Sponsor
Responsibilities
- Design and implement static analysis improvements.
- Extend CodeQL queries/extractors to cover new firmware components.
- Reduce noise via diff-aware analysis and better handling of dead code.
- Make results more actionable for engineers.
- Build and enhance fuzzing and dynamic analysis.
- Prototype or extend QEMU-based harnesses using frameworks like AFL++ or Syzkaller.
- Add instrumentation and coverage reporting to guide corpus evolution.
- Feed fuzzing results back into static analysis as new rules or patterns.
- Own a well-scoped research-plus-engineering project from design to implementation.
Requirements
- Currently enrolled in a Bachelor, MS, or PhD program in CS, CE, EE, or a closely related field.
- Strong programming skills in C/C++ and Python.
- Solid foundation in OS concepts, algorithms/data structures, and Linux development.
- Comfortable with git and modern CI systems.
- Bonus points for coursework or research in software security, program analysis, or compilers.
- Hands-on experience with static analysis or fuzzing tools.
- Experience with firmware/embedded systems or prior research/technical reports in related areas.
Benefits
- Global access to mental health and financial wellness support.
- Comprehensive healthcare benefits including medical, dental, and vision.
- Retirement options including 401(k)/pension.
- Flexible work arrangements with a hybrid work approach.
Tech Stack
CC++GitGitHub ActionsLinuxPython
Categories
EmbeddedSecurity