Formal Verification Research Scientist

Develop new formal verification methods to prove hardware design correctness using model checking, property verification, and equivalence analysis. Collaborate with RTL, verification, and ML research teams to build hybrid formal engines for AI-generated hardware at scale. Define formal properties, automate assertion synthesis, prototype and evaluate research ideas on real RTL designs, and help turn novel methods into practical verification systems.