Senior Software Engineer – Security & Formal Verification

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.