Job Title: Software Engineer V

Company Name: Formal

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

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

Job Description: Posted 5mo agoSoftware Engineer V@ FormalView All JobsWebsiteUnited States$100k-$175k/yrRemoteFull TimeResponsibilities:Implement compiler, Code review, Document codeRequirements Summary:2+ years software engineering; strong Rust and C; system-level concepts; compilation; formal specification; documentation.Technical Tools Mentioned:Rust, C
ExpectationsYou’ll work closely with the Formal Methods team to build a compiler for a new Rust-like language to run in kernel space. You'll spend lots of time writing Rust to formal specifications, proposing architectural or implementation ideas, reviewing code, and learning from experienced teammates. In the future, you'll collaborate with the OS, Networking, and Security teams to integrate the language into production environments.ResponsibilitiesImplement compiler(s) in Rust according to specificationsCollaborate actively with the Formal Methods teamParticipate in both sides of code reviewsWrite software to continuously test and verify correctnessActively document your code, process, and ideasCollaborate and co-design with OS, Networking, and Security teams to integrate the language into productionActively anticipate and communicate future roadblocksQualifications2+ years of software engineering experienceExtensive experience writing Rust and ideally CUnderstanding of system-level concerns such as binary formats, loading, ABIs, linking, and machine targetsUnderstanding of and experience with compilation: lexing, parsing, type checking and other analyses, code generationSome understanding of type systems and logic systems: formal specification, design, implementation, and trade-offsAbility to translate language specifications into codeHigh level of independence and autonomyAbility and willingness to document, teach, and explain complex technical problems and solutionsCompensation & BenefitsCompensation includes a competitive salary and stock grant (>= 0.1%) with vesting. Benefits include unlimited paid vacation, reimbursable vacation expenses (travel/lodging up to $1k), triennial $4k device allowance, comprehensive health insurance, $120/month gym allowance, and $250/year for educational expenses.CompensationThe base pay range for this role is $100,000 – $175,000 per year.