Silicon Logic Formal Verification - Full Time

9 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

Gigamon - Sr. Technical Writer

Gigamon

Chennai, Tamil Nadu, India (On-Site)
2 Months ago
Blockville - 3D Fashion Designer

Blockville

İstanbul, Türkiye (On-Site)
1 Year ago
playground - Senior Gameplay Animator

playground

Royal Leamington Spa, England, United Kingdom (Hybrid)
3 Months ago
Axon - Strategic Account Executive

Axon

Washington, District Of Columbia, United States (On-Site)
2 Months ago
endava - Senior Business Analyst

endava

Kragujevac, Serbia (Hybrid)
1 Week ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

CookUnity - Culinary Operatons Lead

CookUnity

New York, United States (On-Site)
1 Week ago
Toast - Senior Software Engineer

Toast

Bengaluru, Karnataka, India (Hybrid)
1 Week ago
Rocksteady Studios - Senior Gameplay Programmer

Rocksteady Studios

London, England, United Kingdom (Hybrid)
5 Months ago
Zeeco, Inc. - Service Engineer

Zeeco, Inc.

Mumbai, Maharashtra, India (On-Site)
1 Month ago
Wrike - Sales Compensation Analyst

Wrike

Bengaluru, Karnataka, India (Hybrid)
1 Week ago
Dynamis Inc - Lead Test/Safety Observer

Dynamis Inc

Huntsville, Alabama, United States (On-Site)
1 Month ago
Sierra - Software Engineer, Agent

Sierra

San Francisco, California, United States (On-Site)
3 Months ago
Aspire - Senior Finance Manager

Aspire

United States (Hybrid)
1 Month ago
Flow - Costing, Sourcing & Procurement Manager

Flow

Miami, Florida, United States (On-Site)
3 Months ago
Next Level Business Services - SFDC Senior  Developer

Next Level Business Services

Parsippany-Troy Hills, New Jersey, United States (On-Site)
9 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Portland, Oregon, United States

Apple - Senior Software Engineer, Web (JavaScript + Python)

Apple

Cupertino, California, United States (On-Site)
1 Month ago
Ion - Digital Infrastructure Reporter

Ion

New York, United States (On-Site)
3 Months ago
nissan - Senior Manager Digital Design & Visualization

nissan

San Diego, California, United States (On-Site)
1 Year ago
Gearbox - Layout Lead

Gearbox

Frisco, Texas, United States (Hybrid)
2 Months ago
Palo Alto Networks - Senior Financial Solutions Manager

Palo Alto Networks

Santa Clara, California, United States (On-Site)
2 Weeks ago
SweatPals - Director of Brand Marketing

SweatPals

Austin, Texas, United States (Hybrid)
2 Weeks ago
Rippling - Account Executive - SMB - West

Rippling

San Francisco, California, United States (On-Site)
1 Year ago
Sierra - Sales Engineer

Sierra

San Francisco, California, United States (On-Site)
1 Year ago
PayPal - Senior Staff Machine Learning Scientist

PayPal

San Jose, California, United States (Hybrid)
1 Month ago
Landor - Design Director, 3D

Landor

New York, New York, United States (Hybrid)
3 Weeks 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 (On-Site)

Bengaluru, Karnataka, India (Hybrid)

Bengaluru, Karnataka, India (Hybrid)

Santa Clara, California, United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

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