Staff Software Engineer, Security/Privacy, Formal Verification

1 Month ago • 8-8 Years • Cyber Security • $197,000 PA - $291,000 PA

Job Summary

Job Description

The Staff Software Engineer, Security/Privacy, Formal Verification at Google's Information Security Engineering (ISE) Formal Verification team will focus on building formally verified security-critical software and systems. Responsibilities include growing the adoption of formally verified cryptographic code, exploring formal verification opportunities beyond cryptographic libraries, leveraging external collaborations, contributing to the formal verification community, and working with senior engineers to strengthen Google's security posture. The role requires extensive experience in formal verification, software development for data privacy/security, software testing and launch, and software design and architecture. The team's mission is to help everyone at Alphabet and on the internet use cryptography correctly.
Must have:
  • 8+ years formal verification experience
  • 5+ years building security/privacy software
  • 5+ years testing and launching software
  • 3+ years software design and architecture
  • Cryptographic library development expertise
Good to have:
  • Master's degree in Computer Science
  • Cryptography domain experience
  • Formal verification publications/contributions
Perks:
  • Bonus
  • Equity
  • Benefits

Job Details

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 .

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.

Similar Jobs

Cavnue - Senior Integration Engineer

Cavnue

(Remote)
2 Weeks ago
Hitachi - .Net full stack developer

Hitachi

Pune, Maharashtra, India (On-Site)
7 Months ago
31st Union - Senior Gameplay Engineer

31st Union

San Mateo, California, United States (On-Site)
2 Months ago
Google - Software Developer, Chrome Enterprise

Google

Warsaw, Masovian Voivodeship, Poland (On-Site)
1 Month ago
Google - Software Engineer III, Site Reliability Engineering

Google

San Francisco, California, United States (On-Site)
1 Month ago
Google - Senior Technical Program Manager I, Security, Core

Google

New York, New York, United States (On-Site)
1 Month ago
PwC - IN-Associate _Business Analyst _Citizen Services _Advisory _Chennai

PwC

Chennai, Tamil Nadu, India (On-Site)
7 Months ago
ION - Junior Cyber Security Analyst

ION

Pisa, Tuscany, Italy (Hybrid)
7 Months ago
Google - Operations Analyst, Pre-Sales Operations

Google

Singapore (On-Site)
1 Month ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Social Discovery Group - Senior NLP Engineer

Social Discovery Group

Georgia (Remote)
7 Months ago
Telastra - Senior Domain Specialist

Telastra

Australia (On-Site)
2 Weeks ago
Reddit - Senior Machine Learning Engineer

Reddit

United States (Remote)
1 Week ago
Moloco - Machine Learning Engineer

Moloco

Redwood City, California, United States (On-Site)
1 Week ago
INTEL - AI Software Development Engineer

INTEL

United States (Remote)
2 Weeks ago
Google - Software Engineer III, Messages, Android

Google

Kraków, Lesser Poland Voivodeship, Poland (On-Site)
1 Month ago
QuinStreet - Partnerships & Field Marketing Manager

QuinStreet

Austin, Texas, United States (Hybrid)
1 Week ago
Playrix - Senior Data Analyst (Attribution)

Playrix

Serbia (Remote)
7 Months ago
Google - Uber Technical Lead, Spaces Engineering

Google

Hyderabad, Telangana, India (On-Site)
1 Month ago
Inkittt - Senior Front-End Engineer

Inkittt

Krakow Am See, Mecklenburg-Vorpommern, Germany (Hybrid)
2 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Seattle, Washington, United States

Netflix - Manager, Finance Data Science & Engineering

Netflix

Los Gatos, California, United States (On-Site)
1 Month ago
Crunchyroll - Customer Experience Operations Analyst

Crunchyroll

Culver City, California, United States (On-Site)
4 Months ago
Moloco - Executive Assistant to the Chief People Officer

Moloco

Redwood City, California, United States (On-Site)
2 Weeks ago
Thousand Eyes - Distinguished Engineer, Machine Learning (Modeling and Tuning)

Thousand Eyes

San Francisco, California, United States (On-Site)
2 Weeks ago
Google - Senior Hardware Engineer, Display Test Calibration

Google

Fremont, California, United States (On-Site)
1 Month ago
AGS - American Gaming Systems - Field Service Technician I

AGS - American Gaming Systems

Michigan, United States (On-Site)
2 Months ago
Sphere Entertainment Co - Director, Social Media and Content

Sphere Entertainment Co

Burbank, California, United States (On-Site)
1 Month ago
Ness - Senior Marketo and Marketing Cloud Specialist

Ness

United States (On-Site)
3 Weeks ago
Blitre Rewards - Senior Director, Brand Marketing B2B

Blitre Rewards

New York, New York, United States (On-Site)
1 Month ago
Reddit - Senior Software Engineer - Ads Experimentation Platform

Reddit

United States (Remote)
1 Week ago

Get notifed when new similar jobs are uploaded

Cyber Security Jobs

Google - Senior Network Security Engineer

Google

Austin, Texas, United States (On-Site)
1 Month ago
ByteDance - Research Scientist, Data Management and Security - Infrastructure System Lab

ByteDance

San Jose, California, United States (On-Site)
1 Month ago
Google - Senior Software Engineer, Android Security

Google

Sydney, New South Wales, Australia (On-Site)
1 Month ago
PwC - Data Protection Expert

PwC

Prague, Prague, Czechia (Hybrid)
6 Months ago
NVIDIA - System Software Engineer - Android Platform Security

NVIDIA

Seoul, South Korea (On-Site)
2 Months ago
Tesla - Security Officer

Tesla

Brandenburg, Germany (On-Site)
3 Months ago
PwC - IN-Associate–ERP Controls- ITRA– Advisory – Mumbai

PwC

Mumbai, Maharashtra, India (On-Site)
7 Months ago
Epic Games - Threat Intelligence Manager

Epic Games

(On-Site)
2 Months ago
Google - Cyber Engagement Lead

Google

Tokyo, Japan (On-Site)
1 Month ago
PwC - ETIC, Cybersecurity Graduate Program

PwC

Cairo, Cairo Governorate, Egypt (On-Site)
6 Months ago

Get notifed when new similar jobs are uploaded