Staff Software Engineer, Security/Privacy, Formal Verification

Google is seeking a Staff Software Engineer to join their Information Security Engineering (ISE) Formal Verification team, which is part of Google's applied cryptography team. This role focuses on building formally verified security-critical software and systems for Google, with a mission to help everyone at Alphabet and on the Internet use cryptography correctly.

The position requires deep expertise in formal verification and security, with responsibilities including growing the adoption of formally verified cryptographic code, exploring verification opportunities beyond crypto libraries, and contributing to the formal verification community. The role involves working with senior engineers across various security domains to strengthen Google's security posture.

As part of Google's Core team, you'll have the opportunity to impact important technical decisions across the company, working on projects that span cryptographic library development, high-assurance cryptography, cryptographic consultation and review, and Post-Quantum Cryptography (PQC).

The role offers competitive compensation ($197,000-$291,000 base salary) plus bonus, equity, and comprehensive benefits. You'll be working at Google's Seattle office, contributing to products that affect billions of users worldwide. This is an excellent opportunity for someone passionate about security, formal verification, and building robust systems at scale.

The ideal candidate will have 8+ years of formal verification experience, strong software development skills, and a track record of building secure systems. You'll be joining a dynamic team that values technical excellence, innovation, and collaboration, with opportunities to influence the direction of security practices across Google's vast technology landscape.

This position offers the chance to work on cutting-edge security challenges while contributing to Google's mission of organizing the world's information and making it universally accessible and useful. You'll be part of a team that's essential to maintaining Google's high security standards and protecting user privacy across its products and services.