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

PeopleFun - Senior Game Designer, Unannounced Title

PeopleFun

United States (Remote)
2 Weeks ago
Qualcomm - Embedded Dev (GFX) - Engineer, Senior

Qualcomm

Bengaluru, Karnataka, India (On-Site)
2 Days ago
Google - Regional Account Executive, Tech and Automotive

Google

London, England, United Kingdom (On-Site)
1 Week ago
Sonar Source - Solutions Engineer - Dubai

Sonar Source

Dubai, Dubai, United Arab Emirates (Remote)
6 Months ago
Room 8 Studio - Stylized Environment Concept Project Lead

Room 8 Studio

Argentina (Remote)
2 Months ago
NVIDIA - Chip Architect

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)
3 Months ago
Microsoft - Technical Support Engineer

Microsoft

Hyderabad, Telangana, India (Hybrid)
2 Days ago
NVIDIA - Senior Firmware Engineer - Memory Subsystem

NVIDIA

Santa Clara, California, United States (On-Site)
3 Months ago
NVIDIA - Packaging Technical Lead - Hardware

NVIDIA

California, United States (Hybrid)
1 Week ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Maximum Games - Brand Manager

Maximum Games

Paris, Île-de-France, France (Hybrid)
1 Month ago
Patel greene - Roadway Project Manager

Patel greene

Temple Terrace, Florida, United States (On-Site)
6 Months ago
Netflix - Manager, Retail Strategy – Grocery & Convenience Channels

Netflix

Los Angeles, California, United States (On-Site)
2 Weeks ago
Google - New Business Account Strategist

Google

Singapore (On-Site)
1 Week ago
Britive - Strategic Account Executive

Britive

(Remote)
1 Day ago
Dashtoon - Webtoon Storyboard Artist

Dashtoon

India (On-Site)
10 Months ago
Google - Customer Onboarding Strategist, Acquisitions

Google

Beijing, Beijing, China (On-Site)
2 Days ago
SmartBear - ABX Marketing Manager

SmartBear

Somerville, Massachusetts, United States (Hybrid)
1 Day ago
Nintendo - Counsel, Business Transactions

Nintendo

Redmond, Washington, United States (Hybrid)
5 Months ago
Scanline VFX - Senior FX Artist

Scanline VFX

Seoul, South Korea (Hybrid)
1 Month ago

Get notifed when new similar jobs are uploaded

Jobs in Austin, Texas, United States

The Walt Disney Company - Lead Software Engineer - Ad Platforms

The Walt Disney Company

Glendale, California, United States (On-Site)
2 Weeks ago
ByteDance - Firmware Software Engineer / Architect

ByteDance

San Jose, California, United States (On-Site)
1 Month ago
Ubisoft - Community Advocacy Manager

Ubisoft

Cary, North Carolina, United States (On-Site)
1 Week ago
Epic Games - Vendor Manager, Trust & Safety

Epic Games

United States (On-Site)
1 Month ago
Riot Games - Staff Software Engineer, Game UI

Riot Games

Los Angeles, California, United States (On-Site)
1 Day ago
Niantic - Technical Artist, Pokémon GO

Niantic

San Francisco, California, United States (Hybrid)
3 Weeks ago
Meta - Production Engineer

Meta

Menlo Park, California, United States (Remote)
5 Months ago
Daxko - Customer Service Advocate

Daxko

Birmingham, Alabama, United States (On-Site)
2 Weeks ago
Google - Account Manager III, SMB, Google Cloud Platform

Google

Atlanta, Georgia, United States (On-Site)
2 Weeks ago
Backbone - Android Engineer

Backbone

Seattle, Washington, United States (Hybrid)
9 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Riot Games - Principal Insights Researcher - VALORANT

Riot Games

Los Angeles, California, United States (On-Site)
2 Weeks ago
NVIDIA - ASIC Design and STA Engineer

NVIDIA

Hyderabad, Telangana, India (Hybrid)
2 Months ago
Google - Software Engineer (For Women in Tech Candidates)

Google

(On-Site)
5 Months ago
Google - Staff Software Engineer, AI/ML Computer Vision

Google

Mountain View, California, United States (On-Site)
1 Week ago
Cadence - Lead Solutions Engineer

Cadence

Bengaluru, Karnataka, India (On-Site)
7 Months ago
Google - Software Engineering Manager, Systems Acceleration, Silicon

Google

New Taipei, New Taipei City, Taiwan (On-Site)
2 Weeks ago
NVIDIA - Senior Mask Designer

NVIDIA

Bengaluru, Karnataka, India (Hybrid)
1 Month ago
NVIDIA - Senior Firmware Design Engineer, Optics

NVIDIA

Yokne'am Illit, North District, Israel (Hybrid)
3 Months ago
Rivos - Accelerator Microarchitecture Performance Modeling

Rivos

Austin, Texas, United States (Remote)
6 Months ago
Google - Memory Characterization Engineer, Silicon

Google

Bengaluru, Karnataka, India (On-Site)
1 Week 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