Senior Software Engineer, Formal Verification Engineer – Google (Zürich)