Silicon Logic Formal Verification - Full Time

8 Months ago • All levels

Job Details

Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design

Responsibilities

    • As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design.

    • In this position, you will:

    • Work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis.
    • Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs.
    • Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods.
    • Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting.
    • Develop reusable and scalable proof techniques.

Requirements

    • Solid understanding of formally specifying and analyzing temporal assertion properties.
    • Hands-on experience using model checking tools.
    • Experience with interactive theorem provers is a plus.
    • Excellent problem-solving skills, along with strong written and verbal communication abilities.
    • Excellent organizational skills and high self-motivation.
    • Ability to communicate and work well with different design teams.
PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.

Similar Jobs

The Globel Talent Co - Sales Account Manager (German-speaker)

The Globel Talent Co

Argentina (Remote)
5 Months ago
BioFire - Systems Engineer III

BioFire

Salt Lake City, Utah, United States (On-Site)
2 Weeks ago
Illumina - Associate Director, IT SCM

Illumina

Bengaluru, Karnataka, India (On-Site)
1 Month ago
London stock Exchange - Senior Operations Manager

London stock Exchange

London, England, United Kingdom (On-Site)
1 Month ago
Catina - Senior Software Engineer, Growth

Catina

San Francisco, California, United States (Hybrid)
2 Weeks ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Rush street interactive  - Senior Compliance Analyst

Rush street interactive

Bogotá, Bogota, Colombia (On-Site)
18 Hours ago
Virtuos - Senior/Lead Software Engineer

Virtuos

China (On-Site)
3 Months ago
Flexera Software - Senior Manager, Technical Support

Flexera Software

Bengaluru, Karnataka, India (On-Site)
1 Month ago
Nintendo - Licensing Coordinator

Nintendo

Redmond, Washington, United States (Hybrid)
10 Months ago
Synechron - Angular Developer (REST API & Front-End Technologies)

Synechron

Pune, Maharashtra, India (On-Site)
20 Hours ago
fortis games - Staff Full-Stack Engineer (Game Team)

fortis games

Spain (Remote)
1 Month ago
Qualcomm - CPU STA/Timing Engineer

Qualcomm

Bengaluru, Karnataka, India (On-Site)
1 Month ago
Plug power - Field Service Technician

Plug power

Menomonie, Wisconsin, United States (On-Site)
2 Months ago
Playdead - Experienced VFX Artist

Playdead

Copenhagen, Denmark (On-Site)
10 Months ago
Car Gurus - Senior Data Governance Engineer

Car Gurus

Boston, Massachusetts, United States (Hybrid)
3 Weeks ago

Get notifed when new similar jobs are uploaded

Jobs in Santa Clara, California, United States

Captions - Engineering Manager, Machine Learning

Captions

New York, United States (On-Site)
3 Weeks ago
Banyan Software - Account Executive - Behavioral Healthcare Expansion

Banyan Software

United States (Remote)
17 Hours ago
Daybreak - QA Analyst

Daybreak

San Diego, California, United States (Hybrid)
1 Month ago
Team Liquid - Influencer Sales Manager

Team Liquid

Santa Monica, California, United States (On-Site)
3 Months ago
Ion - Technical Consultant - Endur

Ion

Dallas, Texas, United States (On-Site)
8 Months ago
turtle rock studios - Senior Mission Designer

turtle rock studios

Irvine, California, United States (Remote)
17 Hours ago
Frontier Developments - Pipeline Technical Director

Frontier Developments

Los Angeles, California, United States (On-Site)
2 Months ago
LegalZoom - Senior Content Designer

LegalZoom

Los Angeles, California, United States (Remote)
1 Week ago
Anavation - AnaVation General Consideration

Anavation

Chantilly, Virginia, United States (Hybrid)
8 Months ago
Perplexity - Engineering Manager - AI Products

Perplexity

San Francisco, California, United States (On-Site)
1 Month ago

Get notifed when new similar jobs are uploaded

Similar Category Jobs

Looks like we're out of matches

Set up an alert and we'll send you similar jobs the moment they appear!

About The Company

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Santa Clara, California, United States (On-Site)

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (On-Site)

Santa Clara, California, United States (On-Site)

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (On-Site)

View All Jobs

Get notified when new jobs are added by rivos

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug