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 combines advanced software engineering with specialized expertise in formal verification and security.

The position involves working on critical security software and systems, with a focus on building formally verified cryptographic implementations. The team's mission is to enhance cryptographic security across Alphabet and the broader internet, working on everything from cryptographic library development to high-assurance cryptography and Post-Quantum Cryptography (PQC).

As a Staff Software Engineer in this role, you'll be responsible for expanding the adoption of formally verified cryptographic code at Google, identifying new opportunities for formal verification beyond existing applications, and contributing to the broader formal verification community. The role requires deep technical expertise in both software engineering and formal verification, with a strong focus on security and cryptography.

The position offers competitive compensation, including a base salary range of $197,000-$291,000, plus bonus, equity, and comprehensive benefits. You'll be working with Google's Core team, which builds the technical foundation behind Google's flagship products and has a unique opportunity to impact important technical decisions across the company.

This role is ideal for someone who combines strong software engineering skills with specialized knowledge in formal verification and security. You'll be working on challenging technical problems, collaborating with other senior engineers, and helping to shape the future of security at Google. The position offers the opportunity to work on cutting-edge technology while contributing to the security of systems used by billions of users worldwide.

The role is based in Seattle, WA, and requires working with teams across Google to identify and execute on formal verification opportunities. You'll be part of a dynamic team that values innovation, technical excellence, and the ability to tackle complex security challenges. This is an opportunity to make a significant impact on Google's security infrastructure while working with some of the best minds in the field.