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

NVIDIA - M&A and Integration Lead

NVIDIA

Canada (On-Site)
1 Month ago
GameJobs - Operations Manager

GameJobs

Paris, Île-de-France, France (On-Site)
1 Year ago
Global Step - Localization Video Game Tester (LQA – Slovak)

Global Step

Montreal, Quebec, Canada (On-Site)
1 Week ago
FlawlessAi - Sales Development Representative

FlawlessAi

Santa Monica, California, United States (Hybrid)
1 Day ago
Canva - Taxonomist

Canva

Sydney, New South Wales, Australia (Remote)
2 Months ago
SideFX Software - Compositing Software Developer/Technical Director

SideFX Software

Ontario, Canada (Hybrid)
3 Months ago
ByteDance - Research Scientist Graduate (Foundation Model - Vision and Language)

ByteDance

Seattle, Washington, United States (On-Site)
1 Month ago
Google - Senior Design Verification Engineer

Google

Mountain View, California, United States (On-Site)
2 Weeks ago
Google - Lead CPU RTL Engineer, Silicon

Google

(On-Site)
5 Months ago
NVIDIA - Senior Performance Engineer

NVIDIA

Santa Clara, California, United States (Remote)
1 Week ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Fortis Games - Head of Analytics

Fortis Games

United States (On-Site)
3 Months ago
Tide - Staff Security Engineer, Identity

Tide

Hyderabad, Telangana, India (On-Site)
1 Day ago
CD PROJEKT RED - Asset Artist (Geology Environment) - Contract

CD PROJEKT RED

Warsaw, Masovian Voivodeship, Poland (Hybrid)
1 Month ago
sitecore - Senior Frontend Engineer

sitecore

Kuala Lumpur, Federal Territory Of Kuala Lumpur, Malaysia (On-Site)
3 Months ago
Trek - Accounts Payable Executive

Trek

Haryana, India (Hybrid)
2 Months ago
Ruselle Investments - User Experience Designer

Ruselle Investments

Mumbai, Maharashtra, India (On-Site)
17 Hours ago
Onward Search - Linear Sales Planner / Media Buyer

Onward Search

New York, New York, United States (Hybrid)
2 Days ago
Luxoft - Scrum Master

Luxoft

Gurugram, Haryana, India (On-Site)
4 Months ago
Canva - Education Account Executive, K12 (Contract)

Canva

Warsaw, Masovian Voivodeship, Poland (Remote)
6 Months ago
Interactive Brokers - Professional Services Representative

Interactive Brokers

Greenwich, Connecticut, United States (On-Site)
6 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Santa Clara, California, United States

Meta - Manager, Recruiting Services & Operations

Meta

Menlo Park, California, United States (On-Site)
5 Months ago
WebFX - Jr. Website Planning Specialist

WebFX

Harrisburg, Pennsylvania, United States (On-Site)
6 Months ago
Imagineio - Marketing Content Manager

Imagineio

Austin, Texas, United States (On-Site)
17 Hours ago
Next Level Business Services - Web Sphere MQ/IIB admin

Next Level Business Services

Los Angeles, California, United States (On-Site)
6 Months ago
PlayStation Global - Senior Program Manager, Ecommerce

PlayStation Global

Carlsbad, California, United States (On-Site)
3 Weeks ago
ByteDance - Research Scientist for Generative AI, LLM and Multimodal 【Talent Spotters】

ByteDance

San Jose, California, United States (On-Site)
6 Months ago
The Walt Disney Company - Central Florida Sales Director

The Walt Disney Company

Celebration, Florida, United States (On-Site)
2 Days ago
Axinous - Staff BSA - ServiceNow

Axinous

California, United States (Remote)
1 Month ago
Patreon - Senior iOS Engineer

Patreon

San Francisco, California, United States (Hybrid)
1 Month ago
Magnopus - Recruiting Coordinator

Magnopus

Los Angeles, California, United States (Hybrid)
2 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Google - SoC Design/Integration Engineer, Silicon

Google

Bengaluru, Karnataka, India (On-Site)
2 Days ago
Google - Circuits Design Engineer, Clock Design

Google

Sunnyvale, California, United States (On-Site)
2 Days ago
Microsoft - Member of Technical Staff, AI Post-Training

Microsoft

Zürich, Zurich, Switzerland (On-Site)
2 Weeks ago
NVIDIA - Senior Math Libraries Engineer – AI and HPC

NVIDIA

Santa Clara, California, United States (Remote)
2 Months ago
Google - Chipset Power Architect

Google

Mountain View, California, United States (On-Site)
2 Days ago
HP - Machine Learning Engineer

HP

Palo Alto, California, United States (On-Site)
7 Months ago
Google - Hardware Reliability Engineer

Google

Taipei City, Taiwan (On-Site)
2 Days ago
Google - Formal Verification Engineer, Silicon

Google

Bengaluru, Karnataka, India (On-Site)
1 Week ago
Fluence - Lead Engineer - Advanced Battery Modules

Fluence

Houston, Texas, United States (Hybrid)
6 Months ago
Google - ASIC Design Verification Engineer

Google

Madison, Wisconsin, United States (On-Site)
2 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