CPU Verification Fellow, RISC-V High-Performance Processor

You have deep experience verifying high-performance superscalar CPUs, ideally including out-of-order and speculative processors.

You have strong knowledge of RISC-V architecture, including ISA compliance, privileged architecture, virtual memory, atomics, vector extensions, and memory model behavior.

You are highly proficient in SystemVerilog, UVM, constrained-random verification, assertions, functional coverage, and advanced debug methodologies.

You have hands-on experience with CPU reference models, instruction generators, ISS-based checking, or differential testing.

You bring practical expertise with formal verification and large-scale CPU verification environments.

An expert who can drive verification planning for out-of-order, speculative, superscalar microarchitectures.

This offer of employment is contingent upon the applicant being eligible to access U.S. export-controlled technology.  Due to U.S. export laws, including those codified in the U.S. Export Administration Regulations (EAR), the Company is required to ensure compliance with these laws when transferring technology to nationals of certain countries (such as EAR Country Groups D:1, E1, and E2).   These requirements apply to persons located in the U.S. and all countries outside the U.S.  As the position offered will have direct and/or indirect access to information, systems, or technologies subject to these laws, the offer may be contingent upon your citizenship/permanent residency status or ability to obtain prior license approval from the U.S. Commerce Department or applicable federal agency.  If employment is not possible due to U.S. export laws, any offer of employment will be rescinded.