Formal Verification Application Engineer @ Synopsys Inc | Jobright.ai