REMOTE Sr. CPU Formal Verification Engineer
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 [email protected] 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:
[email protected]
Please do NOT change the email subject line in any way. You must keep the JobID: linkedin : MV1-1780674 -- 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.
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.
Remote
About the Company:
CyberCoders
CyberCoders, a division of ASGN, is a leading permanent placement recruiting firm. Through our innovative technology and efficient recruiters, CyberCoders helps find the right candidate fast.
Founded in 1999, CyberCoders is built on a success oriented culture. Above all we know both candidates and clients want quality and they want it now. No other recruiting firm can offer Cyrus, our proprietary technology built to search smarter and quicker, matching the best applicant to the right job.
Company Size:
100 to 499 employees
Industry:
Staffing/Employment Agencies
Founded:
1999
Website:
http://www.cybercoders.com
Apply Now
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 [email protected] 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:
[email protected]
Please do NOT change the email subject line in any way. You must keep the JobID: linkedin : MV1-1780674 -- 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.
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.
Remote
About the Company:
CyberCoders
CyberCoders, a division of ASGN, is a leading permanent placement recruiting firm. Through our innovative technology and efficient recruiters, CyberCoders helps find the right candidate fast.
Founded in 1999, CyberCoders is built on a success oriented culture. Above all we know both candidates and clients want quality and they want it now. No other recruiting firm can offer Cyrus, our proprietary technology built to search smarter and quicker, matching the best applicant to the right job.
Company Size:
100 to 499 employees
Industry:
Staffing/Employment Agencies
Founded:
1999
Website:
http://www.cybercoders.com
Apply Now