Sign upLog in
Software Jobs

Staff Software Engineer

Formal

  • Menlo Park, California
  • 30+ days ago

    Highlights

    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. Expect to write and review design documents, implementation decisions, lots of code, machine-checked proofs, and LaTeX specifications.

    Numbers & Facts

    LocationMenlo Park, California

    Description

    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.

    Similar Job Searches

    Software Engineer Jobs in Menlo Park, CABuild Engineer Jobs in Menlo Park, CASoftware Development Manager Jobs in Menlo Park, CASoftware Design Engineer Jobs in Palo Alto, CASoftware Design Engineer Jobs in Redwood City, CASoftware Design Engineer Jobs in Sunnyvale, CASoftware Design Engineer Jobs in Fremont, CA

    Similar Jobs

    See more jobs