gem
Staff Software Engineer
Formal
Remote, USA
Full-time
Senior · 3+ years experience
Remote
USD 175000-250000 yearly / year
Discovered 1 weeks ago
RustFormal VerificationModel CheckingTheorem ProversSMT
Free
Job Fit Check
Base Career helps you apply smarter for this job.
?%
Ready to ScanKey skills for this role
RustFormal VerificationModel Checking
Key Skills for This Role
RustFormal VerificationModel CheckingTheorem ProversSMT
Full Job Posting
- 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
About Formal
Cybersecurity30 employees
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 Formal
Senior Software Engineer | Backend
San Francisco, USA
Discovered 1 weeks agoFull-time
Solutions Engineer
San Francisco, USA
Discovered 1 weeks agoFull-time
Software Engineer | Backend
San Francisco, USA
Discovered 1 weeks agoFull-time
Account Executive
San Francisco, USA
Discovered 1 weeks agoFull-time
Channel Account Specialist
San Francisco, USA
Discovered 1 weeks agoFull-time
Product Marketing Manager
San Francisco, USA
Discovered 1 weeks agoFull-time
Staff Software Engineer | Backend
San Francisco, USA
Discovered 1 weeks agoFull-time