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

London stock Exchange - Internship Test and Production Middle Office

London stock Exchange

Paris, Île-de-France, France (On-Site)
1 Month ago
PhonePe - Lead (Manager) - Marketing Procurement

PhonePe

Bengaluru, Karnataka, India (On-Site)
1 Day ago
bytedance - Site Reliability Engineer, Compute Platform

bytedance

San Jose, California, United States (On-Site)
7 Months ago
luxsoft - Senior API Automation Tester

luxsoft

Chennai, Tamil Nadu, India (On-Site)
2 Weeks ago
WongDoody - (UX) USER EXPERIENCE DESIGNER, SNR.

WongDoody

Australia (On-Site)
9 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

luxsoft - Lead Java Developer

luxsoft

Mexico (Remote)
1 Month ago
NCR Voyix - IT Field Operations Engineer

NCR Voyix

Tokyo, Japan (On-Site)
1 Year ago
Whatnot - Strategy & Operations Manager, International Commerce

Whatnot

London, England, United Kingdom (On-Site)
2 Months ago
frames store - Imaging Support Engineer

frames store

Mumbai, Maharashtra, India (On-Site)
3 Months ago
Ion - Client Executive

Ion

Milan, Lombardy, Italy (Hybrid)
2 Years ago
pixel owl  - QA Tester Senior / Semi-Senior

pixel owl

Buenos Aires, Buenos Aires, Argentina (On-Site)
2 Months ago
Ion - Senior UX Product Designer

Ion

Mexico City, Mexico (Hybrid)
2 Weeks ago
Inveniolsi - SAP ABAP Consultant

Inveniolsi

India (On-Site)
3 Weeks ago
Ion - Senior UX Designer -  Italy

Ion

Milan, Lombardy, Italy (On-Site)
8 Months ago
Contentstack - Machine Learning Engineer II

Contentstack

Chennai, Tamil Nadu, India (Hybrid)
1 Week ago

Get notifed when new similar jobs are uploaded

Jobs in Portland, Oregon, United States

Univision - Sales Service Executive

Univision

New York, United States (On-Site)
1 Year ago
Next Level Business Services - ATG Architect

Next Level Business Services

Bolingbrook, Illinois, United States (On-Site)
8 Months ago
Penumbrainc - Facilities HVAC Tech II

Penumbrainc

Alameda, California, United States (On-Site)
3 Months ago
Rockstar Games - Security Architect

Rockstar Games

New York, New York, United States (On-Site)
2 Months ago
Internet Brands - Sr Product Manager

Internet Brands

Eagan, Minnesota, United States (On-Site)
2 Months ago
Axon - Quality Engineer II

Axon

Scottsdale, Arizona, United States (On-Site)
1 Month ago
Rippling - Revenue Transformation Lead

Rippling

San Francisco, California, United States (On-Site)
2 Days ago
bytedance - Senior Engineering Manager - Global E-commerce Governance Platform

bytedance

San Jose, California, United States (On-Site)
3 Months ago
Ansys - Spring 2026 Intern - Meshing (MS/PHD)

Ansys

Evanston, Illinois, United States (On-Site)
1 Month ago
Apple - Product Designer, Music

Apple

Cupertino, California, United States (On-Site)
2 Months 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