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

Oliver Agency - Senior SEO Content Writer

Oliver Agency

Manila, Metro Manila, Philippines (On-Site)
1 Month ago
Whatnot - Data Security Engineer

Whatnot

San Francisco, California, United States (On-Site)
2 Weeks ago
WebFX - Jr. Web Developer

WebFX

Harrisburg, Pennsylvania, United States (On-Site)
8 Months ago
Tesla - Industrial Engineering Internship

Tesla

Brandenburg, Germany (On-Site)
4 Months ago
caliogo - Senior Staff Software QA Engineer

caliogo

Hyderabad, Telangana, India (On-Site)
3 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Windranger - Finance Manager

Windranger

(Remote)
3 Months ago
AeroSpike - Sales Engineer

AeroSpike

New York, United States (On-Site)
1 Day ago
bytedance - Time Sensitive Content Operation - Trust & Safety

bytedance

Tokyo, Japan (On-Site)
3 Months ago
Intel  - CPU Circuit Design Engineer/Lead

Intel

Bengaluru, Karnataka, India (On-Site)
1 Year ago
Diligent Corporation - Lead Client Success Advisor (Risk & Audit)

Diligent Corporation

London, England, United Kingdom (Hybrid)
1 Month ago
Advanced Systems Group, LLC - Media Server / Disguise Operator

Advanced Systems Group, LLC

Santa Monica, California, United States (On-Site)
3 Months ago
Interactive Brokers - Software Engineer, UI

Interactive Brokers

New York, United States (Hybrid)
1 Month ago
Abstraction Games - Office Manager (Part-Time & Hybrid)

Abstraction Games

Eindhoven, North Brabant, Netherlands (Hybrid)
3 Months ago
Simcorp - Value Stream Architect

Simcorp

Warsaw, Masovian Voivodeship, Poland (Hybrid)
2 Weeks ago
Lionsgate - Manager, FP&A, Business Strategy & Planning

Lionsgate

Santa Monica, California, United States (On-Site)
1 Month ago

Get notifed when new similar jobs are uploaded

Jobs in Austin, Texas, United States

Giant Sparrow - Junior Gameplay Designer

Giant Sparrow

Los Angeles, California, United States (Remote)
1 Month ago
Next Level Business Services - BigData Architect

Next Level Business Services

Bentonville, Arkansas, United States (On-Site)
8 Months ago
WebFX - Software Engineer

WebFX

Ann Arbor, Michigan, United States (On-Site)
7 Months ago
Dave Ramsey - Sr. Director of Marketing

Dave Ramsey

Franklin, Tennessee, United States (On-Site)
1 Month ago
Toast - Retail Account Executive

Toast

Midland, Texas, United States (Hybrid)
2 Weeks ago
Glocomms - Staff/Senior Software Engineer

Glocomms

San Francisco, California, United States (On-Site)
2 Months ago
Epic Games - Senior Software Engineer, Developer Relations

Epic Games

Cary, North Carolina, United States (On-Site)
2 Months ago
HYCU - Sales Operations Manager

HYCU

Boston, Massachusetts, United States (Hybrid)
1 Week ago
Experian - Security Engineer - Scripting and Automations

Experian

Allen, Texas, United States (Remote)
1 Month ago
UPF Industries  - Press Operator

UPF Industries

Martin, Tennessee, United States (On-Site)
1 Day 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