🌿 Back to all jobs

🥝 Senior Software Engineer – Security & Formal Verification

Google | zürich, Switzerland | Posted June 19, 2026

Job Description

Google is seeking a Software Engineer in Zürich to develop next-generation technologies impacting billions. This role involves improving design verification frameworks, working with security-critical code, and collaborating on formal verification goals. Candidates should have extensive experience in software development, particularly in areas like cryptography and data privacy.

With responsibilities spanning multiple domains, the position offers robust professional growth in a dynamic environment. Interested individuals are encouraged to apply and innovate at Google.

#J-18808-Ljbffr

Apply for This Position

Submit Application