Back to all jobs
F
Staff Software Engineer
Formal
Worldwide$175k–250kRemote6mo ago
- Employment
- Full-time
- Seniority
- Staff
About the role
- Develop an existing compiler codebase and software to continuously test and verify its correctness
- Formally verify language properties and implementations
- Collaborate and co-design with OS and networking teams to tightly integrate the language into the overall product
- Participate in both sides of code reviews
- Actively anticipate and communicate future roadblocks
- Participate in the open-sourcing of the language
- 3+ years of software engineering experience
- Deep understanding of type systems and logic systems: formal specification, design, implementation, and trade-offs
- Experience with formal programming language semantic specifications, proofs, and ability to translate them into code
- Experience with formal verification including model checking, theorem provers and SMT-based approaches
- Understanding of system-level language concerns such as binary formats, loading, ABIs, linking, and machine targets
- Mastery of or ability to quickly master Rust
- High level of independence and autonomy
- Ability and willingness to document, teach, and explain complex technical problems and solutions
Compensation
Perks & benefits
- Vision Insurance
- 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
