|
Salary
competitive mar..
|
Remote
Location
🇺🇸
USA Only
|
|
Job Type
unspecified
|
Posted
Today
|
Today - Formal is hiring a remote Formal Methods PhD Intern. 💸 Salary: competitive market salary 📍Location: USA
Role Description
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.
Qualifications
Benefits
| 🇺🇸 | Be aware of the location restriction for this remote position: USA Only |
| ‼ | Beware of scams! When applying for jobs, you should NEVER have to pay anything. Learn more. | ️
|
Salary
competitive mar..
|
Remote
Location
🇺🇸
USA Only
|
|
Job Type
unspecified
|
Posted
Today
|
| 🇺🇸 | Be aware of the location restriction for this remote position: USA Only |
| ‼ | Beware of scams! When applying for jobs, you should NEVER have to pay anything. Learn more. | ️