Formal Verification Internship: design and verify next-gen hardware, crafting test plans and assertions for SoCs and GPUs. Collaborate in a diverse engineering team, build formal test benches, and use AI-assisted debugging with Verilog and Python/TCL. Open to BS, MS, or PhD students.