REMOTE Sr. CPU Formal Verification Engineer at CyberCoders

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 Verilog
Our 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 for immediate consideration!Colorado employees will receive paid sick leave
For additional information about available benefits, please contact Mike VandenberghApplicants must be authorized to work in the U.S.Preferred SkillsFormal verificationCPURISC-VFormal Property Verification (FPV)UVMVerilogSystem VerilogJasperGold