Senior Formal Verification Researcher | Icebreaker