Formal
Formal Methods PhD Intern
Menlo Park, USA · Intern · Internship
Sponsorship not specifiedDetected 232 days ago
Code ReviewMentoring
About the role
- Expectations You'll work with published researchers and engineers in the Formal Methods team to formally verify a new low-level, production programming language and compiler.
- You'll write formal specifications and complex mechanized proofs in Rocq.
- Expect strong mentorship, clear milestones, and real autonomy to explore, with opportunities to publish and open‑source artifacts.
Responsibilities
- Contribute to the design, development, and maintenance of mechanized theorems and proofs in Rocq.
- Propose and validate solutions to problems.
- Actively participate in code reviews and design discussion.
Compensation
- Compensation is comprised of a competitive market salary.
This listing is sourced directly from Formal's careers page and normalized into a canonical job model.