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

Illumination - Senior Campaign Manager, Marketing

Illumination

Santa Monica, California, United States (On-Site)
1 Month ago
ByteDance - Edge Network Engineer - EDGE Network

ByteDance

London, England, United Kingdom (On-Site)
5 Months ago
ByteDance - Time Sensitive Content Operation

ByteDance

Tokyo, Japan (On-Site)
2 Days ago
Mixmob - Senior Full-Stack React/Node & NFT Gaming Developer

Mixmob

Vancouver, British Columbia, Canada (Remote)
9 Months ago
NVIDIA - Senior Boot Reset Silicon Hardware Engineer

NVIDIA

Santa Clara, California, United States (Hybrid)
3 Months ago
Google - CPU Logic Design Engineer

Google

Haifa, Haifa District, Israel (On-Site)
1 Week ago
ByteDance - Researcher - Large Language Models, Applied Machine Learning

ByteDance

Seattle, Washington, United States (On-Site)
1 Month ago
Google - System Power and Performance Architect, Silicon

Google

New Taipei, New Taipei City, Taiwan (On-Site)
1 Week ago
NVIDIA - Applied Science Research Lab Manager

NVIDIA

Massachusetts, United States (On-Site)
3 Months ago
Tencent - Senior Researcher, Speech Synthesis

Tencent

(On-Site)
4 Weeks ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

NVIDIA - Senior Mixed Signal and Analog Circuit Designer

NVIDIA

Taipei City, Taiwan (On-Site)
1 Month ago
Google - Sales and Marketing Apprenticeship

Google

Paris, Île-de-France, France (On-Site)
1 Week ago
Google - HR Process Owner (Central and Eastern Europe), People Operations

Google

Bucharest, Bucharest, Romania (On-Site)
6 Days ago
N-iX - Senior iOS Engineer

N-iX

Ukraine (Remote)
1 Week ago
Google - Administrative Business Partner, Google Customer Solutions

Google

Tokyo, Japan (On-Site)
1 Week ago
Postman - Senior Full Stack Software Engineer

Postman

New York, New York, United States (Hybrid)
6 Months ago
Tencent - Principal Cinematic Artist

Tencent

Bellevue, Washington, United States (On-Site)
4 Months ago
NVIDIA - Senior System Software Engineer, Robotics Simulation

NVIDIA

Toronto, Ontario, Canada (Hybrid)
1 Month ago
The Walt Disney Company - Senior Product Manager II, Content Artwork

The Walt Disney Company

New York, New York, United States (On-Site)
1 Month ago
Tesla - Senior/Staff Technical Program Manager - Cell New Product Introduction (NPI)

Tesla

Brandenburg, Germany (On-Site)
2 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

PwC - IN-Senior Associate–SCM Functional-Production-Ms Dynamics–Advisory- Mumbai

PwC

Mumbai, Maharashtra, India (On-Site)
6 Months ago
Zapak Digital Entertainment Limited -  Software Engineer - Backend (Java, AI, and ML Tools)

Zapak Digital Entertainment Limited

Pune, Maharashtra, India (On-Site)
2 Months ago
InMobiInMobi - Senior Analyst - Revenue / Growth Analytics

InMobiInMobi

Bengaluru, Karnataka, India (On-Site)
2 Days ago
Stantec - Civil 3D Designer- Non Infra

Stantec

Pune, Maharashtra, India (On-Site)
9 Months ago
DNEG - FX Lead (DNEG Animation)

DNEG

Bengaluru, Karnataka, India (On-Site)
6 Months ago
Barracuda Networks  Inc  - Associate Account Executive (Cyber Security, Sales, SMB)

Barracuda Networks Inc

Delhi, India (On-Site)
1 Month ago
Dream Sports - SDE 2 - DevOps

Dream Sports

Mumbai, Maharashtra, India (On-Site)
1 Week ago
NVIDIA - ASIC Design and STA Engineer

NVIDIA

Hyderabad, Telangana, India (Hybrid)
1 Month ago
Spectro Cloud - Senior Software Test Engineer

Spectro Cloud

Bengaluru, Karnataka, India (Hybrid)
10 Months ago
Garena - Associate/Senior Associate, Revenue Operations

Garena

Bengaluru, Karnataka, India (On-Site)
1 Week ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

NVIDIA - Research Scientist - Design Automation

NVIDIA

Taipei City, Taiwan (On-Site)
3 Months ago
ByteDance - Research Scientist Graduate (High-Performance Computing (Inference Optimization) - Vision AI Platform)

ByteDance

Seattle, Washington, United States (On-Site)
4 Weeks ago
Qt Group - Software Engineer

Qt Group

Bengaluru, Karnataka, India (On-Site)
6 Months ago
ByteDance - Researcher - Large Language Models, Applied Machine Learning

ByteDance

Seattle, Washington, United States (On-Site)
1 Month ago
Epic Games - Principal Research Engineer

Epic Games

Cary, North Carolina, United States (On-Site)
3 Months ago
Meta - ASIC Engineer, Design Verification

Meta

Sunnyvale, California, United States (Remote)
5 Months ago
Tesla - Electrical Engineer

Tesla

Rhineland-Palatinate, Germany (On-Site)
2 Months ago
NVIDIA - Senior Applied Power Architect - GPU

NVIDIA

Santa Clara, California, United States (On-Site)
2 Months ago
Netflix - Software Engineer 5 - Partner Engineering

Netflix

Los Gatos, California, United States (On-Site)
1 Week ago
Nagarro - Team Lead SAP SuccessFactors

Nagarro

Germany (Remote)
4 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