Job Title: Staff Software Engineer

Company Name: Formal

Job Details: $175k-$250k/yrRemoteFull,Time

Job Url: https://hiring.cafe/viewjob/mrllg2hg9kxds7mq

Job Description: Posted 6mo agoStaff Software Engineer@ FormalView All JobsWebsiteUnited States$175k-$250k/yrRemoteFull TimeResponsibilities:Develop codebase, Formally verify, Collaborate teamsRequirements Summary:3+ years software engineering; strong type systems; formal verification; Rust expertise; independent; documentation/teaching.Technical Tools Mentioned:Rust, Formal Verification, Model Checking, Theorem Provers, SMT
ExpectationsYou’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.ResponsibilitiesDevelop an existing compiler codebase and software to continuously test and verify its correctnessFormally verify language properties and implementationsCollaborate and co-design with OS and networking teams to tightly integrate the language into the overall productParticipate in both sides of code reviewsActively anticipate and communicate future roadblocksParticipate in the open-sourcing of the languageQualifications3+ years of software engineering experienceDeep understanding of type systems and logic systems: formal specification, design, implementation, and trade-offsExperience with formal programming language semantic specifications, proofs, and ability to translate them into codeExperience with formal verification including model checking, theorem provers and SMT-based approachesUnderstanding of system-level language concerns such as binary formats, loading, ABIs, linking, and machine targetsMastery of or ability to quickly master RustHigh level of independence and autonomyAbility and willingness to document, teach, and explain complex technical problems and solutionsCompensation & BenefitsCompensation 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.CompensationThe base pay range for this role is $175,000 – $250,000 per year.