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

Matic Robots - Hardware Operations Associate

Matic Robots

Mountain View, California, United States (On-Site)
1 Month ago
Anzuio - Business Development Manager

Anzuio

Catalonia, Spain (Remote)
3 Months ago
Thales - IVVQ Engineer

Thales

Singapore (On-Site)
2 Months ago
Alten Technology - Principal Embedded Software Engineer (Image Processing)

Alten Technology

Lafayette, Colorado, United States (Hybrid)
2 Months ago
Diligent Corporation - Customer Success Manager

Diligent Corporation

Galway, County Galway, Ireland (Hybrid)
2 Weeks ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Motorola solutions - Product Manager

Motorola solutions

Ware, England, United Kingdom (On-Site)
2 Months ago
Wolters Kluwer - Product Software Engineer

Wolters Kluwer

Pune, Maharashtra, India (Hybrid)
2 Weeks ago
Critical mass - Account Director

Critical mass

New York, United States (On-Site)
2 Months ago
beghou consulting - Admin / HR Executive

beghou consulting

Bengaluru, Karnataka, India (Hybrid)
1 Month ago
Match Group - HR Operations Lead

Match Group

Singapore (Hybrid)
6 Days ago
Casumo - CRM Lifecycle Executive

Casumo

Swieqi, Malta (Hybrid)
1 Week ago
Bungie - Marathon Senior Software Engineer - Commerce

Bungie

(Hybrid)
7 Months ago
Tesla - Industrial Engineering Internship

Tesla

Brandenburg, Germany (On-Site)
5 Months ago
Apple - Channel Strategist

Apple

Sunnyvale, California, United States (On-Site)
3 Weeks ago
TAG - Digital Production Designer

TAG

United States (Remote)
3 Weeks ago

Get notifed when new similar jobs are uploaded

Jobs in Austin, Texas, United States

HoYoverse - Content Creator and Operations Manager

HoYoverse

Santa Monica, California, United States (Remote)
1 Year ago
Room 8 Group - Program Manager

Room 8 Group

United States (Remote)
3 Weeks ago
Coherent corp. - Strategic Capture Manager - Space & ISR

Coherent corp.

Santa Clara, California, United States (Remote)
1 Month ago
Robot cache  - Senior C# Programmer

Robot cache

San Diego, California, United States (On-Site)
2 Weeks ago
The E.W. Scripps Company - Media Prep Technician

The E.W. Scripps Company

Green Bay, Wisconsin, United States (On-Site)
2 Weeks ago
HappyRobot - AI Applied Research Lead

HappyRobot

San Francisco, California, United States (On-Site)
3 Months ago
bytedance - Software Engineer - Compute Infrastructure (Orchestration & Scheduling)

bytedance

Seattle, Washington, United States (On-Site)
3 Months ago
Palo Alto Networks - Senior Principal FinOps/DevOps Engineer

Palo Alto Networks

Santa Clara, California, United States (On-Site)
1 Month ago
PlayStation Global - Senior Procedural Technical Artist

PlayStation Global

Los Angeles, California, United States (On-Site)
4 Months ago
Alpha Sense - Regional Account Executive, Strategic Sales

Alpha Sense

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)

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)

Santa Clara, California, United States (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