Staff Software Engineer

View all jobs

Staff Software Engineer

Remote

Programming Languages

Remote

Full-time

Expectations

You’ll lead the development of a new, Rust-like programming language intended to run in kernel-space. Expect to write and review design documents, implementation decisions, lots of code, machine-checked proofs, and LaTeX specifications.

Responsibilities

• 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

Qualifications

• 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 & Benefits

Compensation is comprised of a competitive market salary and stock grant (>= 0.4%) conditioned on a vesting schedule. Benefits include unlimited paid and unpaid vacation time, reimbursable vacation expenses (transportation and lodging up to $1k), a triennial $4k computing device allowance, comprehensive medical, dental, and vision insurance, a $120 monthly gym allowance, and $250 yearly to spend on anything educational.

Compensation

The base pay range for this role is $175,000 – $250,000 per year.

Ready to apply?

Powered by

First name *

Last name *

Email *

LinkedIn URL

Resume *

Click to upload or drag and drop here

Qualifications *

• Please tell us how your skills and experiences align with the role's qualifications. Note that while we don't require a perfect match, we also cannot move forward with candidates whose qualifications do not overlap significantly.

• Apply

• Req ID: R3