REMOTE Sr. CPU Formal Verification Engineer
: Job Details :

Portland, OR • Santa Clara, CA • Austin, TX • Boston, MA • Phoenix, AZRemote Available Full-time $150,000.00 - $250,000.00Posted 01/08/2024Job Title: REMOTE Sr. Formal Verification Engineer - CPUJob Location: REMOTE - preference for Portland, OR or Vancouver (Canada)Compensation: $150K - $250K base Depending on experience plus bonusRequirements: Formal Property Verification (FPV), CPU, RISC-V, JasperGold, UVM, System VerilogOur company is a Founding Premier member of RISC-V International and a leading embedded processor intellectual property supplier in the world. We devote ourselves to developing high-performance/low-power 32/64 bit processors and their associated SoC platforms to serve the rapidly growing embedded system applications worldwide. With over 10 billion cumulative shipments of SoCs embedded with our CPU IP, our products cover audio, Bluetooth, gaming, GPS, machine learning, MCU, and more. Our design innovation enables us to quickly adapt to the rapidly evolving demands of RISC-V customers.Top Reasons to Work with Us1) Competitive Compensation ($150K - $250K base plus bonus Depending on Experience)2) Comprehensive Benefits package!3) The chance to join a well-established supplier of embedded CPU cores!What You Will Be DoingYou will be part of the VLSI team, which is part of our worldwide CPU development team. We are a rapidly growing organization, and you will get the opportunity to work with a team of experienced architects, designers and DV engineers to build next-generation of RISC-V CPUs. As a senior member of this team, you will help guide verification methodologies, analyze problems, and devise the best QoR solutions. You will be able to participate in engineering discussions, drive analysis, and propose directions. We value diligence, detail orientation, and a penchant for creating high-quality results efficiently. Ideal applicants will have a passion for technical advances, CPU architecture and have a keen interest in tackling present-day verification problems. Daily activity includes:- Communication with peers to discuss technical details- Analyze CPU architecture and microarchitecture implementations, and devise best methods to verify them- Identify and resolve engineering issues ranging from functional verification, code coverage, Formal proofs, verification reports- Hands-on verification work including verification regression management, debugging, and bug-reports- Provide technical guidance to junior members of the team- Technical documentationWhat You Need for this PositionMust have a Bachelor's (Master's or Ph.D. preferred) in Computer Science, Electrical Engineering, Computer Engineering, or similar with 5-10+ years of experience:- Formal Property Verification- Formal Coverage Analysis- Experience in the use of Formal tools such as JasperGold of FPV- Experience using UVM, Verilog, System Verilog- CPU architecture (multi-core coherence, FPU, DSP, interrupt, Vector, Security, Reset and CDC, Debug)- Experience coding in assembly languages- Experience in UVM, formal, coverage grading, coverage analysis, bug tracking- Strong mastery using Unix and scripting languages such as make, shell, perl or python- RISC-V experience a plusBenefits- Vacation/PTO- Medical- Dental- Vision- 401k- Bonus- RelocationSo, if you are a REMOTE Sr. CPU Formal Verification Engineer with experience, please apply today! or send an updated copy of your resume to ...@CyberCoders.com for immediate consideration!Colorado employees will receive paid sick leave. For additional information about available benefits, please contact Mike VandenberghFor this position you must be currently authorized to work in the United States. We do not sponsor for this position.Preferred SkillsFormal verificationCPURISC-VFormal Property Verification (FPV)UVMVerilogSystem VerilogJasperGold