Senior Formal Verification Engineer | OpenTalent