Semgrep is looking to solve the problem of software exploitation by providing tools for secure code development. The internship aims to empower people to activate standards they care about for their code, learn about secure coding practices, and contribute to the development of advanced code analysis tools.
Requirements
- Find compilers, programming languages, or type theory interesting
- Have experience using a functional programming language (e.g. OCaml, Haskell)
Responsibilities
- Design world-class pragmatic software analysis tools for security teams and developers
- Improve and develop new code analysis techniques (e.g. constant propagation, dataflow analysis) that provide developers with powerful but simple ways to find what they care about
- Contribute to everything from proprietary software to external open source parsers
- Learn from a peer mentor who will help navigate your internship to get what *you want out of it and achieve success
- Talk to our users and work alongside security researchers to understand their needs
Other
- Are excited about software security and developer enablement
- Are able to work in our San Francisco office 5 days/week
- Are you available to start on either Tuesday, May 26th, 2026 or Tuesday, June 23rd, 2026
