gem
Formal Verification Engineer
Gem
Remote, USA
Full-time
Senior
Remote
USD 120000-200000 yearly / year
Discovered 1 weeks ago
RocqRustC/C++
Free
Job Fit Check
Base Career helps you apply smarter for this job.
?%
Ready to ScanKey skills for this role
RocqRustC/C++
Key Skills for This Role
RocqRustC/C++
Full Job Posting
- Lead the design, development, and maintenance of mechanized theorems and proofs in Rocq.
- Collaborate closely with the compiler and OS teams to understand design goals, define formal specifications, and integrate verification into the development lifecycle.
- Participate in both sides of code reviews.
- Actively anticipate and communicate future roadblocks.
- Advanced degree in formal methods or programming languages or equivalent practical experience.
- Deep expertise and extensive practical experience with Rocq and its ecosystem (tactics, libraries, automation).
- Experience leading or contributing to complex formal verification projects such as compilers or OS kernels.
- Ability to formally articulate, reason about, and verify low-level security, safety, and correctness properties of programming languages like Rust and C/C++.
- Ability to read, write, and understand formal programming language specifications and implementations.
- Ability and willingness to document, teach, and explain complex technical problems and solutions.
- High level of independence and autonomy.
About Gem
Verified company details for this employer are not available yet.
Apply for this job in 1 click
Skip the repetitive application forms
Install the Base Career Chrome Extension and autofill job applications across major job boards with your profile.
Trusted by over 500,000 job seekers on Base Career
More from this employer
More jobs at Gem
Digital Marketing Intern
, USA
EntryInternship, Full Time, Part Time, Contract, Temporary, Seasonal, Volunteer
Discovered 1 weeks agoView →
Software Engineer
San Francisco, USA
Discovered 1 weeks agoFull-time
Independent Sales Rep
, USA
Discovered 1 weeks agoContract
Senior Software Engineer
New York City, USA
Discovered 1 weeks agoFull-time
Founding Engineer
, USA
Discovered 1 weeks agoFull-time
Researcher - Gen. AI
London, GBR
Discovered 1 weeks agoFull-time
Researcher - 3D Reconstruction
London, GBR
Discovered 1 weeks agoFull-time
Digital Marketing Intern
, USA
Discovered 1 weeks agoInternship, Full Time, Part Time, Contract, Temporary, Seasonal, Volunteer
Founding Software Engineer
, USA
Discovered 1 weeks agoFull-time