Senior Software Engineer, Formal Verification Engineer

This role is based in Seattle, WA, USA or Zürich, Switzerland.

Compensation:

$174k-253k/year + 15% bonus target + equity + benefits

Responsibilities:

• Evolve and improve design verification frameworks written in Lean.
• Use frameworks to formally verify security-critical code.
• Engage in collaborations to progress formal verification goals.
• Contribute to formal verification tooling for Google’s use cases.

Minimum qualifications:

• Bachelor’s degree or equivalent experience.
• 5 years of software development experience.
• 4 years in formal verification or security-related domains.
• 3 years building software for data privacy or security.

Preferred qualifications:

• Master's degree or PhD in Computer Science.
• 5 years of experience with data structures and algorithms.
• 1 year in a technical leadership role.