🌿 Back to all jobs

🥝 Senior Software Engineer, Formal Verification Engineer

Google | Zürich, Switzerland | Posted June 03, 2026

Job Description

Senior Software Engineer, Formal Verification Engineer

_corporate_fare_ Google _place_ Seattle, WA, USA; Zürich, Switzerland; +2 more; +1 more

**Mid**

Experience driving progress, solving problems, and mentoring more junior team members; deeper expertise and applied knowledge within relevant area.

_info_outline_

XIn accordance with Washington state law, we are highlighting our comprehensive benefits package, which is available to all eligible US based employees. Benefits for this role include:

+ Health, dental, vision, life, disability insurance
+ Retirement Benefits: 401(k) with company match
+ Paid Time Off: 20 days of vacation per year, accruing at a rate of 6.15 hours per pay period for the first five years of employment
+ Sick Time: 40 hours/year (increased to 69 hours/year for Seattle) including 5 discretionary sick days per instance
+ Maternity Leave (Short-Term Disability + Baby Bonding): 28-30 weeks
+ Baby Bo...

Apply for This Position

Submit Application