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

Life church - APIs Staff Software Engineer

Life church

Edmond, Oklahoma, United States (On-Site)
6 Months ago
Global Step - Senior 3D Animator

Global Step

Bucharest, Bucharest, Romania (Remote)
6 Months ago
BANDAI NAMCO - Merchandising Consultant (Contract)

BANDAI NAMCO

Santa Clara, California, United States (On-Site)
3 Weeks ago
Next Level Business Services - Data Architect

Next Level Business Services

Sunnyvale, California, United States (On-Site)
5 Months ago
Samsung Semiconductor - Principal, Emulation Lead

Samsung Semiconductor

San Jose, California, United States (Hybrid)
1 Month ago
NVIDIA - Senior Photonic Layout Design Engineer

NVIDIA

Santa Clara, California, United States (On-Site)
3 Months ago
NVIDIA - Principal Silicon Circuits System Design Engineer

NVIDIA

Canada (Hybrid)
1 Month ago
Trend Micro - Senior Software Development Engineer

Trend Micro

Manila, Metro Manila, Philippines (Hybrid)
6 Months ago
Virtuos - Technical Director

Virtuos

Dublin, County Dublin, Ireland (On-Site)
1 Month ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Corsair - ICUE Test Engineer

Corsair

Ho Chi Minh City, Ho Chi Minh City, Vietnam (On-Site)
1 Week ago
NVIDIA - Senior Product Test Engineer

NVIDIA

Hsinchu, Hsinchu City, Taiwan (On-Site)
3 Months ago
The Walt Disney Company - Horticultural Exterminator (IPM)

The Walt Disney Company

Anaheim, California, United States (On-Site)
1 Week ago
Sperasoft - Senior 3D Character Artist (Stylized Project)

Sperasoft

Vojvodina, Serbia (On-Site)
5 Days ago
PwC - Senior Associate_Java Full Stack Developer_Data & Analytics_Advisory_PAN India

PwC

Bengaluru, Karnataka, India (On-Site)
6 Months ago
Rockstar Games - Senior Animation R&D Programmer: Retargeting

Rockstar Games

New York, New York, United States (On-Site)
4 Weeks ago
Varonis  - Service Operations Manager

Varonis

United States (Remote)
3 Weeks ago
ByteDance - Search Recommendation & Traffic Quality Assurance Analyst

ByteDance

Tokyo, Japan (On-Site)
4 Months ago
Canva - Senior Backend Engineer - AI Enablement

Canva

Surry Hills, New South Wales, Australia (Remote)
3 Weeks ago
Garena - Senior Software Engineer (Back-end)

Garena

Ho Chi Minh City, Ho Chi Minh City, Vietnam (On-Site)
1 Week ago

Get notifed when new similar jobs are uploaded

Jobs in Portland, Oregon, United States

Netflix - Software Engineer 4 - TV & Web Player Platform

Netflix

United States (Remote)
1 Week ago
Match Group - Sr. Technical Product Manager, Identity & Authentication

Match Group

San Francisco, California, United States (Remote)
6 Months ago
ByteDance - Technical Account Manager (Edge Cloud)

ByteDance

Boston, Massachusetts, United States (On-Site)
4 Weeks ago
Glean - Product Manager, Glean for Engineering

Glean

Palo Alto, California, United States (On-Site)
5 Months ago
Meta - Research Scientist Intern, Systems ML - SW/HW Co-Design - CHIPs

Meta

Menlo Park, California, United States (On-Site)
5 Months ago
The Walt Disney Company - Manager, Product Solutions

The Walt Disney Company

Burbank, California, United States (On-Site)
1 Week ago
ByteDance - Student Researcher (Doubao (Seed) - Machine Learning System) - 2025 Start (PhD)

ByteDance

Seattle, Washington, United States (On-Site)
6 Months ago
ByteDance - Machine Learning Engineer - Inference

ByteDance

San Jose, California, United States (On-Site)
1 Month ago
Ello - Tech Lead, Generative AI & Machine Learning

Ello

San Francisco, California, United States (On-Site)
3 Weeks ago
Netflix - Manager, Commercial Operations

Netflix

Los Angeles, California, United States (On-Site)
1 Week ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Equivalent Jobs - C++ TEAM LEAD (MARKETS EXPANSION)

Equivalent Jobs

(Remote)
5 Months ago
Luma Pictures - Emerging Technology Technical Director

Luma Pictures

Vancouver, British Columbia, Canada (On-Site)
4 Weeks ago
NVIDIA - Senior Math Libraries Engineer – AI and HPC

NVIDIA

Hillsboro, Oregon, United States (Remote)
1 Month ago
Vigaet - Self-Driving Car Intern

Vigaet

Bengaluru, Karnataka, India (On-Site)
5 Months ago
Netflix - Machine Learning Manager - Promotional Media

Netflix

United States (Remote)
1 Week ago
Netflix - Senior Software Engineer, Partner Engineering - APAC

Netflix

Hsinchu, Hsinchu City, Taiwan (On-Site)
5 Months ago
Riot Games - Senior Manager, Software Engineering - League Studio, Build, Test, Ship

Riot Games

Los Angeles, California, United States (On-Site)
1 Month ago
NVIDIA - Senior Chip Architect

NVIDIA

Ra'anana, Center District, Israel (On-Site)
1 Month ago
Google - Software Engineer, Black Community Inclusion

Google

São Paulo, State Of São Paulo, Brazil (On-Site)
6 Days ago
Google - Senior Research Engineer, AI/ML

Google

London, England, United Kingdom (On-Site)
4 Days 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