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.
Numbers & Facts
Location
Menlo Park, California
Skills
Code Reviewsunmatched
Design Documentunmatched
Engineeringunmatched
Formal Verificationunmatched
Kernel Programmingunmatched
Model Reviewunmatched
Open Source Programming Languagesunmatched
Operating Systemsunmatched
Programming Languagesunmatched
Rust Programming Languageunmatched
Software Engineeringunmatched
Software Testingunmatched
Surface Mount Technologyunmatched
Training/Teachingunmatched
🎯
Be found by employers
5,500+ employers search our resume database daily. Add yours to get found by recruiters looking for candidates like you.
Level up your application
Professional resume templates
Browse dozens of recruiter approved resume templates, layouts and formats. Choose your favorite and make it your own in minutes.