Silicon Logic Formal Verification - Full Time

6 Months ago • All levels • Research & Development

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

Scanline VFX - Bidding Manager

Scanline VFX

Mumbai, Maharashtra, India (Hybrid)
6 Months ago
ByteDance - Global Legal Compliance Counsel

ByteDance

Singapore (Hybrid)
5 Months ago
Forescout - Commercial Account Representative

Forescout

Plano, Texas, United States (On-Site)
3 Weeks ago
PlayStation Global - Cinematic Artist (Contract)

PlayStation Global

Los Angeles, California, United States (On-Site)
2 Weeks ago
Sperasoft - NOC Operator

Sperasoft

Lesser Poland Voivodeship, Poland (Hybrid)
1 Week ago
Trend Micro - Embedded Software Engineer (C/C++)

Trend Micro

Manila, Metro Manila, Philippines (On-Site)
16 Years ago
N-iX - Senior C++ Engineer (High Performance Computing)

N-iX

Colombia (Remote)
2 Weeks ago
Virtuos - Senior Technical Director

Virtuos

France (Hybrid)
1 Month ago
Google - Senior Privacy Engineer, Health Data Governance

Google

Warsaw, Masovian Voivodeship, Poland (On-Site)
2 Weeks ago
Microsoft - Senior Hardware Engineer

Microsoft

Redmond, Washington, United States (On-Site)
2 Days ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Blitre Rewards - Senior Director, Brand Marketing B2B

Blitre Rewards

New York, New York, United States (On-Site)
1 Day ago
Microsoft - Supplier Delivery Management

Microsoft

Hyderabad, Telangana, India (Remote)
2 Days ago
Hawk Eye Innovations - Systems Administrator - Platform Migration & Merge Specialist

Hawk Eye Innovations

Basingstoke, England, United Kingdom (Hybrid)
1 Month ago
NVIDIA - Manager, Developer Technology, Data Compression

NVIDIA

California, United States (Hybrid)
3 Months ago
Google - Partner Engineer, YouTube Shopping

Google

Taipei City, Taiwan (On-Site)
2 Weeks ago
PwC - IN_Associate – D365 Technical -Ms Dynamics– Advisory  - Gurgaon

PwC

Gurugram, Haryana, India (On-Site)
7 Months ago
Studio Image Works - Manager-Business Development

Studio Image Works

Gurugram, Haryana, India (On-Site)
1 Year ago
Amanotes - Game Tester (New Games - Hybrid Casual Games)

Amanotes

Ho Chi Minh City, Ho Chi Minh City, Vietnam (On-Site)
3 Months ago
Google - Regional Product Lead, Advanced Measurement

Google

New York, New York, United States (On-Site)
1 Week ago
Take-Two Interactive - UK Tax and Treasury Intern

Take-Two Interactive

London, England, United Kingdom (On-Site)
1 Day ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

P99 soft - ServiceNow SPM Specialist

P99 soft

Pune, Maharashtra, India (On-Site)
17 Hours ago
PwC - Senior Manager_ Econometric Modelling_ Growth Business_  Advisory_ Noida

PwC

Noida, Uttar Pradesh, India (On-Site)
7 Months ago
Nagarro - Senior Staff Consultant ,SAP Analytics Data Manageme

Nagarro

India (Remote)
6 Months ago
Nagarro - Senior Staff Engineer, .Net Fullstack

Nagarro

India (Remote)
6 Months ago
Nagarro - Staff Engineer, Frontend React

Nagarro

Chennai, Tamil Nadu, India (On-Site)
6 Months ago
Google - Technical Solutions Engineer, AI/ML

Google

Bengaluru, Karnataka, India (On-Site)
1 Week ago
Rackspace Technology - Customer Data Engineer II

Rackspace Technology

India (Remote)
1 Month ago
Gallagher - Web Content Editor

Gallagher

Bengaluru, Karnataka, India (On-Site)
9 Months ago
Haleon - Territory sales Executive

Haleon

India (On-Site)
20 Hours ago
Cognite - Solution Architect

Cognite

Bengaluru, Karnataka, India (Hybrid)
8 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Google - Staff Software Engineer, Mobile (Android), YouTube

Google

San Bruno, California, United States (On-Site)
2 Days ago
NVIDIA - Senior Chip Architect

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
2 Months ago
Google - Senior Staff Software Engineer, Google Cloud

Google

Pune, Maharashtra, India (On-Site)
2 Weeks ago
Google - Staff Software Engineer, GenAI and Computational Photography

Google

New Taipei, New Taipei City, Taiwan (On-Site)
2 Days ago
NVIDIA - Senior Software Engineer - Automated Parallel Programming

NVIDIA

Santa Clara, California, United States (Remote)
3 Months ago
Google - ASIC Design Engineer, RTL, Silicon

Google

Bengaluru, Karnataka, India (On-Site)
2 Weeks ago
Google - Student Researcher, BS/MS, Winter/Summer 2025

Google

Montreal, Quebec, Canada (On-Site)
5 Months ago
NVIDIA - Senior ASIC Engineer - DFX

NVIDIA

Santa Clara, California, United States (On-Site)
1 Week ago
NVIDIA - Senior Research Scientist, Multimodal Foundation Models and Robotics

NVIDIA

Santa Clara, California, United States (On-Site)
3 Weeks ago

Get notifed when new similar jobs are uploaded

About The Company

United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (On-Site)

Bengaluru, Karnataka, India (On-Site)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Bengaluru, Karnataka, India (Hybrid)

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

Bengaluru, Karnataka, India (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