Staff Software Engineer, Security/Privacy, Formal Verification
- linkCopy link
- emailEmail a friend
Minimum qualifications:
- Bachelor's degree or equivalent practical experience.
- 8 years of experience working in the area of formal verification.
- 5 years of experience building software for data privacy or security (e.g., identity and access management).
- 5 years of experience testing, and launching software products.
- 3 years of experience with software design and architecture.
Preferred qualifications:
- Master's degree in Computer Science or equivalent field.
- 8 years of experience in software development, and with data structures/algorithms.
- Experience in the Cryptography domain.
- Demonstrated contributions to formal verification (publications, open-source contributions, or documented deployments).
About the job
Google's software engineers develop the next-generation technologies that change how billions of users connect, explore, and interact with information and one another. Our products need to handle information at massive scale, and extend well beyond web search. We're looking for engineers who bring fresh ideas from all areas, including information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile; the list goes on and is growing every day. As a software engineer, you will work on a specific project critical to Google’s needs with opportunities to switch teams and projects as you and our fast-paced business grow and evolve. We need our engineers to be versatile, display leadership qualities and be enthusiastic to take on new problems across the full-stack as we continue to push technology forward.
With your technical expertise you will manage project priorities, deadlines, and deliverables. You will design, develop, test, deploy, maintain, and enhance software solutions.
The Information Security Engineering (ISE) Formal Verification team is dedicated to building formally verified security-critical software and systems for Google. ISE Formal is currently part of Google’s applied cryptography team. The team’s mission is to help everyone at Alphabet, and on the Internet, to use cryptography correctly. We're a dynamic team with work that spans cryptographic library development, high-assurance cryptography, cryptographic consultation and review, and Post-Quantum Cryptography (PQC).
The Core team builds the technical foundation behind Google’s flagship products. We are owners and advocates for the underlying design elements, developer platforms, product components, and infrastructure at Google. These are the essential building blocks for excellent, safe, and coherent experiences for our users and drive the pace of innovation for every developer. We look across Google’s products to build central solutions, break down technical barriers and strengthen existing systems. As the Core team, we have a mandate and a unique opportunity to impact important technical decisions across the company.
The US base salary range for this full-time position is $197,000-$291,000 + bonus + equity + benefits. Our salary ranges are determined by role, level, and location. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific salary range for your preferred location during the hiring process.
Please note that the compensation details listed in US role postings reflect the base salary only, and do not include bonus, equity, or benefits. Learn more about benefits at Google.
Responsibilities
- Grow the adoption of formally verified cryptographic code at Google to eliminate subtle and common implementation vulnerabilities, working with current team members to expand the scope of the ISE Formal team, and to set the team’s technical direction.
- Explore formal verification opportunities beyond cryptographic libraries, working cross-functionally at Google to identify, and execute on, these opportunities.
- Leverage external collaborations to progress formal verification goals at Google.
- Contribute to the formal verification community at large, helping to influence the development of sustainable formal verification tooling.
- Work with other senior engineers at Google, across various security domains, to strengthen Google’s security posture by working on ambiguous and multi-faceted security problems.
Information collected and processed as part of your Google Careers profile, and any job applications you choose to submit is subject to Google's Applicant and Candidate Privacy Policy.
Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents-to-be, criminal histories consistent with legal requirements, or any other basis protected by law. See also Google's EEO Policy, Know your rights: workplace discrimination is illegal, Belonging at Google, and How we hire.
If you have a need that requires accommodation, please let us know by completing our Accommodations for Applicants form.
Google is a global company and, in order to facilitate efficient collaboration and communication globally, English proficiency is a requirement for all roles unless stated otherwise in the job posting.
To all recruitment agencies: Google does not accept agency resumes. Please do not forward resumes to our jobs alias, Google employees, or any other organization location. Google is not responsible for any fees related to unsolicited resumes.