Develop and evolve Rust verification tools and apply them to real‑world problems across Google’s code base, leveraging formal verification, Lean, Rust, and concurrent separation logic.
Evolve our Rust verification tools using a strong programming languages (PL) and formal verification background.
Apply Rust verification tools to real-world problems across Google’s code base.
Use knowledge of Lean, Rust and its semantics, and concurrent separation logic to solve complex verification challenges.
Write product or system development code.
Review code developed by other developers and provide feedback to ensure best practices (e.g., style guidelines, checking code in, accuracy, testability, and efficiency).
Requirements
Bachelor’s degree or equivalent practical experience.
Nice to have: Master's degree or PhD in Computer Science or related technical fields.
Nice to have: 4 years of experience in software development.
Nice to have: 2 years of experience with data structures and algorithms.
Nice to have: 2 years of experience in formal verification.
