Formal Verification Engineer - New College Grad 2026

Help verify advanced processor and accelerator designs using formal verification methods such as assertions, model checking, and mathematical reasoning. Collaborate with formal verification engineers, architects, and RTL designers to understand intent, identify important behaviors, write assumptions and cover properties, and debug counterexamples. Improve proof convergence and productivity with abstraction, modeling, and scripting while communicating progress, coverage, risks, and findings to the team.