Silicon Logic Formal Verification - Full Time

5 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

NVIDIA - Research Scientist, Circuits

NVIDIA

Hsinchu, Hsinchu City, Taiwan (On-Site)
1 Month ago
Ajmera Infotech - Sr. Asp.NET Engineer

Ajmera Infotech

Austin, Texas, United States (On-Site)
4 Months ago
OtherSide Entertainment - Game Director

OtherSide Entertainment

United States (Remote)
6 Days ago
NVIDIA - Senior Partner Business Manager - WWFO

NVIDIA

Tokyo, Japan (On-Site)
2 Months ago
ZiMAD - Brand Manager / SMM

ZiMAD

(Remote)
1 Week ago
Tencent - Game Research & Development Intern, Engine Research

Tencent

Irvine, California, United States (On-Site)
1 Month ago
NVIDIA - DFX CAD Tools Development Engineer

NVIDIA

Bengaluru, Karnataka, India (Hybrid)
1 Month ago
NVIDIA - Performance Engineer Intern, Deep Learning and HPC

NVIDIA

Shanghai, Shanghai, China (On-Site)
2 Months ago
NVIDIA - Senior Resiliency and Safety Architect

NVIDIA

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

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Rackspace Technology - Machine Learning Architect (AWS)

Rackspace Technology

San Diego, California, United States (Remote)
6 Days ago
NVIDIA - Senior Emulation Power Engineer

NVIDIA

Canada (On-Site)
1 Month ago
Sandsoft Games - Playable Ad Developer

Sandsoft Games

Barcelona, Catalonia, Spain (On-Site)
7 Months ago
NVIDIA - Senior Materials and Process Engineer

NVIDIA

Canada (On-Site)
3 Weeks ago
Tesla - Senior Automobile Service Technician

Tesla

Maurepas, Île-de-France, France (On-Site)
1 Month ago
Evolution - Junior Human Resources Administrator

Evolution

Sofia, Sofia City Province, Bulgaria (On-Site)
1 Month ago
Tencent - WeChat Tech Intern (Data Scientist - Safety Strategies)

Tencent

Singapore (On-Site)
6 Months ago
Evolution - Compliance Officer (Costa Rica)

Evolution

San José, San José Province, Costa Rica (On-Site)
10 Months ago
Epic Games - Senior Platform Account Lead (Console)

Epic Games

Cary, North Carolina, United States (On-Site)
2 Months ago
NVIDIA - Software Test Developer and Automation Engineer - Automotive

NVIDIA

Bengaluru, Karnataka, India (On-Site)
5 Days ago

Get notifed when new similar jobs are uploaded

Jobs in Austin, Texas, United States

Onward Search - Application Engineer III

Onward Search

Los Angeles, California, United States (On-Site)
2 Months ago
Onward Search - E-Commerce Product Marketing Consultant

Onward Search

New York, United States (On-Site)
1 Week ago
ByteDance - Software Engineer, Multi Cloud CDN - San Jose / Seattle / Boston

ByteDance

Seattle, Washington, United States (On-Site)
3 Months ago
Crunchyroll - Principal Technical Product Manager - Application Security

Crunchyroll

Los Angeles, California, United States (On-Site)
3 Weeks ago
ION - Lead Java Developer, New York

ION

New York, New York, United States (Hybrid)
5 Months ago
DraftKings - Senior Executive Assistant

DraftKings

Boston, Massachusetts, United States (Hybrid)
1 Week ago
Trek - Service Technician/Advisor

Trek

Palm Desert, California, United States (On-Site)
1 Month ago
AGS - American Gaming Systems - Principal Math Designer

AGS - American Gaming Systems

Arizona, United States (On-Site)
3 Weeks ago
ByteDance - Research Scientist in Foundation Model, Music Core Machine Learning Graduates - 2024 Start (PhD)

ByteDance

San Jose, California, United States (On-Site)
4 Months ago
Crunchyroll - People Experience Communications Manager

Crunchyroll

Culver City, California, United States (Hybrid)
1 Month ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Riot Games - Technical Program Manager II - DevCon

Riot Games

Los Angeles, California, United States (On-Site)
1 Week ago
Riot Games - Senior Data Scientist - Singapore Efficiency Team

Riot Games

Singapore (On-Site)
2 Months ago
NVIDIA - Senior High-Performance ASIC Timing Engineer

NVIDIA

Canada (On-Site)
2 Weeks ago
Meta - Software Engineer (Technical Leadership) - Machine Learning

Meta

New York, New York, United States (On-Site)
4 Months ago
Google - Senior Staff Software Engineer, Google Cloud

Google

Bengaluru, Karnataka, India (On-Site)
4 Months ago
NVIDIA - Senior DFX Methodology Engineer

NVIDIA

Canada (Hybrid)
1 Month ago
NVIDIA - BMC Firmware Developer

NVIDIA

Taipei City, Taiwan (On-Site)
2 Months ago
ByteDance - Research Scientist in Generative AI for Science

ByteDance

San Jose, California, United States (On-Site)
1 Week ago
Aristocrat Gaming - Tech Lead

Aristocrat Gaming

Noida, Uttar Pradesh, India (Hybrid)
1 Month ago
HP - Staff Video Embedded Engineer- Remote (Ireland)

HP

Galway, County Galway, Ireland (Remote)
6 Months 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