Software Engineer, Proof and Verification Engineer
About The Position
Google software engineers develop technologies used by billions of people across products that operate at massive scale and extend beyond web search. In this role, the engineer will bring a programming languages and formal verification background to evolve Google’s Rust verification tools and apply them to real-world problems across Google’s code base. The position requires knowledge of Lean, Rust and its semantics, and concurrent separation logic. Engineers work on projects critical to Google and may have opportunities to switch teams and projects as business needs evolve, contributing across the full stack.
Requirements
- Bachelor’s degree or equivalent practical experience.
- At least 2 years of experience building software for data privacy or security, such as identity and access management.
- At least 2 years of software development experience in one or more programming languages.
- Experience designing and applying privacy-preserving technologies, such as differential privacy or federated learning, and frameworks such as Privacy by Design.
- Experience with security protocols, such as cryptography, authentication, authorization, multi-factor authentication, single sign-on, or identity management.
- Experience in security engineering.
Nice To Haves
- Master’s degree or PhD in Computer Science or a related technical field.
- At least 4 years of software development experience.
- At least 2 years of experience with data structures and algorithms.
- At least 2 years of experience in formal verification.
- Experience developing accessible technologies.
- Experience designing and applying privacy-preserving technologies, such as differential privacy or federated learning, and frameworks such as Privacy by Design.
Responsibilities
- Evolve Rust verification tools using a strong programming languages 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 verification challenges.
- Write product or system development code.
- Review other developers’ code and provide feedback to support best practices, including style, code check-in, accuracy, testability, and efficiency.
Benefits
- Equity
- Benefits
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Mid Level
