Staff Software Engineer

About the role

• 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 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