Software Engineer, Proof and Verification Engineer

About the role

Google is looking for a software engineer with a strong background in programming languages (PL) and formal verification to help evolve its Rust verification tools and apply them to real-world problems across Google's code base. The role uses knowledge of Lean, Rust and its semantics, and concurrent separation logic. Candidates can choose between Seattle, Washington, USA, Zurich, Switzerland or Munich, Germany.

Key responsibilities

• Evolving Rust verification tools using a strong PL and formal verification background
• Applying Rust verification tools to real-world problems across Google's code base
• Solving complex verification challenges with Lean, Rust and concurrent separation logic
• Writing product or system development code
• Reviewing code from other developers and giving feedback on style guidelines, correctness, testability and efficiency

Required profile

• Bachelor's degree or equivalent practical experience
• 2 years of experience building software for data privacy or security (e.g., identity and access management)
• 2 years of experience in software development in one or more programming languages
• Experience designing and applying privacy-preserving technologies (e.g., differential privacy, federated learning) and frameworks such as Privacy by Design
• Experience with security protocols (cryptography, authentication, authorization, MFA, SSO, identity management) and security engineering
• Preferred: Master's degree or PhD in Computer Science or a related field, 4 years of software development, 2 years in formal verification, and experience with data structures and algorithms

Required skills

• Lean and Rust, including its semantics and concurrent separation logic
• Formal verification
• Programming languages and software development

What we offer

• Health, dental, vision, life and disability insurance
• 401(k) with company match
• 20 days of vacation per year, accruing at 6.15 hours per pay period for the first five years
• 40 hours of sick time per year (69 hours in Seattle), including 5 discretionary sick days
• Maternity leave of 28-30 weeks and baby bonding leave of 18 weeks
• 13 paid holidays per year
• Salary range of $147,000-$210,000 (USD) or €106,000-€108,000 (EUR) plus a 15% bonus target, equity and benefits