Senior Formal Verification Engineer - ASIC SoC

Etched.ai, Inc. is seeking a Formal Verification Engineer to drive formal verification across custom IP, interface IP, and SoC subsystems for our ASICs in San Jose. You will collaborate with architects, RTL designers, and DV teams to prove design correctness and uncover deep corner-case bugs. The role focuses on formal properties, proof convergence, and sign-off methodologies to advance verification closure in a fast-paced startup environment.