ASIC Formal Verification Engineer
20 hours ago
San Jose
Strong programming skills (e.g., Python, C/C++, Verilog, SystemVerilog). * Experience or interest in AI/ML, especially LLMs, is a plus. * Strong problem-solving skills and a proactive approach to ...