Software Engineer V

• Implement compiler(s) in Rust according to specifications
• Collaborate actively with the Formal Methods team
• Participate in both sides of code reviews
• Write software to continuously test and verify correctness
• Actively document your code, process, and ideas
• Collaborate and co-design with OS, Networking, and Security teams to integrate the language into production
• Actively anticipate and communicate future roadblocks

• 2+ years of software engineering experience
• Extensive experience writing Rust and ideally C
• Understanding of system-level concerns such as binary formats, loading, ABIs, linking, and machine targets
• Understanding of and experience with compilation: lexing, parsing, type checking and other analyses, code generation
• Some understanding of type systems and logic systems: formal specification, design, implementation, and trade-offs
• Ability to translate language specifications into code
• High level of independence and autonomy
• Ability and willingness to document, teach, and explain complex technical problems and solutions

Compensation