REMOTE Sr. CPU Formal Verification Engineer - CyberCoders

Job Title: REMOTE Sr. Formal Verification Engineer - CPU

Job Location: REMOTE - preference for Portland, OR or Vancouver (Canada)

Compensation: $150K - $250K base Depending on experience plus bonus

Requirements: 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 Us

• Competitive Compensation ($150K - $250K base plus bonus Depending on Experience)
• Comprehensive Benefits package!
• The chance to join a well-established supplier of embedded CPU cores!
  
  

What You Will Be Doing

You 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 documentation
  
  

What You Need for this Position

Preferred

Must 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 plus
  
  

Benefits

• Vacation/PTO
• Medical
• Dental
• Vision
• 401k
• Bonus
• Relocation
  
  

So, if you are a REMOTE Sr. CPU Formal Verification Engineer with experience, please apply today! or send an updated copy of your resume to Mike.Vandenbergh@CyberCoders.com for immediate consideration!

Colorado employees will receive paid sick leave. For additional information about available benefits, please contact Mike Vandenbergh

Email Your Resume In Word To

Looking forward to receiving your resume through our website and going over the position with you. Clicking apply is the best way to apply, but you may also:

mike.vandenbergh@cybercoders.com

• Please do NOT change the email subject line in any way. You must keep the JobID: linkedin : MV1-1780674L694 -- in the email subject line for your application to be considered.***
  
  

Mike Vandenbergh - Lead Recruiter

For this position, you must be currently authorized to work in the United States without the need for sponsorship for a non-immigrant visa.

CyberCoders will consider for Employment in the City of Los Angeles qualified Applicants with Criminal Histories in a manner consistent with the requirements of the Los Angeles Fair Chance Initiative for Hiring (Ban the Box) Ordinance.

This job was first posted by CyberCoders on 01/08/2024 and applications will be accepted on an ongoing basis until the position is filled or closed.

CyberCoders is proud to be an Equal Opportunity Employer

All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, age, sexual orientation, gender identity or expression, national origin, ancestry, citizenship, genetic information, registered domestic partner status, marital status, status as a crime victim, disability, protected veteran status, or any other characteristic protected by law. CyberCoders will consider qualified applicants with criminal histories in a manner consistent with the requirements of applicable state and local law, including but not limited to the Los Angeles County Fair Chance Ordinance, the San Francisco Fair Chance Ordinance, and the California Fair Chance Act. CyberCoders is committed to working with and providing reasonable accommodation to individuals with physical and mental disabilities. If you need special assistance or an accommodation while seeking employment, please contact a member of our Human Resources team to make arrangements.