Seeking a CPU Design Verification Engineer for full-time opportunities involving cutting-edge high-performance RISC-V CPUs. Responsibilities include verifying functionality correctness from unit to top level, covering aspects like functional, microarchitecture, performance, and formal verification. The role involves working closely with architecture and RTL designers, developing test plans and environments, writing tests in assembly, C/C++, SystemVerilog, or vectors, developing coverage monitors, analyzing coverage, writing assertions, and applying formal verification. You will also be involved in debugging failures, tracking bugs, managing schedules, and supporting multi-functional engineering efforts.