Staff Software Engineer

Job not on LinkedIn

🔥 23 minutes ago

🇺🇸 United States – Remote

💵 $175k - $250k / year

⏰ Full Time

🔴 Lead

🧑‍💻 Full-stack Engineer

👻 Ghost score 0%

What it means: the chance that no one is really hiring for this job.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Formal

WebsiteLinkedInAll Job Openings

11 - 50 employees

🔒 Cybersecurity

🔌 API

🏢 Enterprise

Cybersecurity • API • Enterprise

Formal is a protocol-aware reverse-proxy for datastores and APIs that helps security teams understand and control their data. It empowers teams to manage data flows in real-time and enforce access policies effectively, addressing the complexities and vulnerabilities within modern data stacks. Formal integrates with various tools to streamline data protection processes, enabling organizations to implement security policies that align with their operational needs, all while maintaining high availability and enterprise-grade security controls.

📋 Description

• Lead development of a new, Rust-like programming language intended to run in kernel-space • Write and review design documents, implementation decisions, code, machine-checked proofs, and LaTeX specifications • 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

🎯 Requirements

• 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

🏖️ Benefits

• Stock grant (>= 0.4%) conditioned on a vesting schedule • Unlimited paid and unpaid vacation time • Reimbursable vacation expenses (transportation and lodging up to $1k) • Triennial $4k computing device allowance • Comprehensive medical, dental, and vision insurance • $120 monthly gym allowance • $250 yearly to spend on anything educational

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume