Silicon Logic Formal Verification - Full Time

4 Months ago • All levels • Research & Development

Job Summary

Job Description

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

N-iX - Middle Java Web Full Stack Engineer

N-iX

(Remote)
1 Week ago
The Pokemon Company International - Manager, Software Engineering

The Pokemon Company International

Bellevue, Washington, United States (Hybrid)
3 Months ago
Epic Games - Shared Services Analyst

Epic Games

Porto Alegre, State Of Rio Grande Do Sul, Brazil (On-Site)
2 Weeks ago
MADFINGER Games - Junior Game Tester

MADFINGER Games

Brno, South Moravian Region, Czechia (On-Site)
3 Months ago
Scorewarrior - Security Manager

Scorewarrior

Limassol, Limassol, Cyprus (On-Site)
2 Weeks ago
ByteDance - Research Engineer- Foundation Model AI Platform- San Jose

ByteDance

San Jose, California, United States (On-Site)
3 Months ago
ByteDance - NPU FW Engineer/Architect- Pico - San Jose

ByteDance

San Jose, California, United States (On-Site)
2 Months ago
Niantic - Senior Computer Vision Software Engineer

Niantic

Bellevue, Washington, United States (Hybrid)
1 Month ago
Google - Senior Network Design Verification Engineer, Google Cloud

Google

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
NVIDIA - System Software Engineer, High Integrity Data Pipelining

NVIDIA

California, United States (Remote)
1 Month ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Freshworks - Lead Software Engineer - Frontend

Freshworks

Hyderabad, Telangana, India (On-Site)
4 Months ago
Virtuos Games - Creative Director

Virtuos Games

Cergy, Île-de-France, France (On-Site)
6 Months ago
Devrev - Solutions Engineer

Devrev

Bengaluru, Karnataka, India (On-Site)
2 Months ago
Onward Search - Program Manager (IT) IV

Onward Search

San Jose, California, United States (Hybrid)
2 Weeks ago
Netflix - Product Manager, Data Platform - Data Discovery & Governance

Netflix

United States (Remote)
1 Month ago
Kwalee - HR Administrator

Kwalee

Bengaluru, Karnataka, India (On-Site)
1 Week ago
Next Level Business Services - Siebel Production Support

Next Level Business Services

Fort Worth, Texas, United States (On-Site)
4 Months ago
Netflix - Business Partner, Finance Procurement Operations- Marketing

Netflix

Los Angeles, California, United States (Hybrid)
2 Weeks ago
C5i - Senior User Interface Engineer

C5i

Bengaluru, Karnataka, India (Hybrid)
5 Months ago
NVIDIA - Interconnect Failure Analysis Hardware Engineer

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)
1 Month ago

Get notifed when new similar jobs are uploaded

Jobs in Portland, Oregon, United States

Trek - Assistant Store Manager

Trek

Burlington, Massachusetts, United States (On-Site)
2 Months ago
Fabric - Applied Researcher, Cryptography Proof Systems

Fabric

Boston, Massachusetts, United States (Remote)
4 Months ago
Riot Games - Technical Program Manager II - DevCon

Riot Games

Los Angeles, California, United States (On-Site)
1 Month ago
Global Step - Human Resources Manager

Global Step

Texas, United States (On-Site)
3 Weeks ago
ByteDance - Compliance Internal Audit Leader- Payments

ByteDance

Los Angeles, California, United States (Hybrid)
3 Months ago
WebFX - Social Media Specialist Account Manager (Open to Remote or On-Site)

WebFX

Harrisburg, Pennsylvania, United States (Remote)
4 Months ago
Dun & Bradstreet - Early Talent Network

Dun & Bradstreet

Jacksonville, Florida, United States (On-Site)
4 Months ago
Epic Games - Animation Technical Design Intern

Epic Games

Cary, North Carolina, United States (On-Site)
1 Month ago
Google - Software Engineer III, Google Cloud Security and Privacy

Google

Sunnyvale, California, United States (On-Site)
3 Months ago
Microsoft - Research Intern - Generative AI

Microsoft

Redmond, Washington, United States (On-Site)
1 Month ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Nielsen Holdings - Manager, Software Engineer (Big Data)

Nielsen Holdings

Bengaluru, Karnataka, India (Hybrid)
4 Months ago
ByteDance - Research Scientist, Foundation Model, Speech Understanding

ByteDance

Seattle, Washington, United States (On-Site)
3 Months ago
NVIDIA - Physical Design Engineer

NVIDIA

Shanghai, Shanghai, China (On-Site)
1 Month ago
NVIDIA - Senior SOC Design Engineer

NVIDIA

Santa Clara, California, United States (Hybrid)
1 Month ago
Aera Technology - Software Engineer (Python/ Machine Learning)

Aera Technology

Pune, Maharashtra, India (Hybrid)
4 Months ago
Microsoft - Silicon Engineering Intern

Microsoft

Andhra Pradesh, India (On-Site)
4 Months ago
NVIDIA - Senior Research Engineer, Foundation Model Training Infrastructure

NVIDIA

Santa Clara, California, United States (On-Site)
1 Month ago
ByteDance - CPU Application Platform Architect

ByteDance

San Jose, California, United States (On-Site)
3 Months ago
Google - ASIC Design Verification Engineer, TPU Compute

Google

Sunnyvale, California, United States (On-Site)
1 Month ago
Riot Games - Principal Software Engineer, Gameplay Networking SME

Riot Games

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

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

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