Back to all jobs
F
Formal Methods PhD Intern
Formal
Worldwide$8k–12kRemote6mo ago
- Employment
- Internship
- Seniority
- Junior
About the role
- 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.
- Actively anticipate and communicate roadblocks.
- Ability to commit to a full-time 21+ week term.
- Enrolled in a PhD program in Formal Methods or Programming Languages working with Rocq.
- Some professional software engineering experience.
- Understanding of type systems and logic systems.
- Ability to read, write, and understand formal programming language specifications and implementations.
- Ability to formally articulate, reason about, and verify low-level security, safety, and correctness properties of programming languages like Rust and C/C++.
- Some familiarity with SMT / constraint solving.
- Familiarity or willingness to learn Rust and OCaml.
- High level of independence and autonomy.
Compensation
Perks & benefits
- Vision Insurance
- Unlimited Vacation
- Free Gym Membership
764,000+ hidden jobs like this
Formal and thousands of companies post here first — often days before LinkedIn or Indeed. Your first 5 applications are free; go Pro to apply without limits.
Everything Pro unlocks:
- Unlimited applications — free stops at 5
- Track every application in one place
- Apply straight to the source, one click
- Save & organize roles you love
- Roles pulled from company boards before the big sites
