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

Garena - Korea_ Campaign Marketing lead(캠페인 마케팅 리드/정규직)

Garena

Seoul, South Korea (On-Site)
6 Months ago
Google - Senior Interaction Designer, Google Cloud Compute

Google

Sunnyvale, California, United States (On-Site)
6 Days ago
N-iX - 2D/3D Visualization Engineer

N-iX

Ukraine (Remote)
2 Months ago
Gearbox Software - Visual Effects Artist

Gearbox Software

Frisco, Texas, United States (On-Site)
10 Months ago
Google - Regional Product Lead, Advanced Measurement

Google

New York, New York, United States (On-Site)
6 Days ago
HIR Expert - C++ Engineer

HIR Expert

Bengaluru, Karnataka, India (On-Site)
6 Months ago
Microsoft - Research Intern - Optical Technologies

Microsoft

Mountain View, California, United States (On-Site)
1 Week ago
ByteDance - GPU/AI Application Platform Engineer Intern (Server Platform)

ByteDance

San Jose, California, United States (On-Site)
2 Months ago
Microsoft - Principal Software Engineer - Firmware/Embedded

Microsoft

Hyderabad, Telangana, India (On-Site)
1 Week ago
Rivos - Post-Silicon Engineering Program Manager - Full Time

Rivos

Santa Clara, California, United States (On-Site)
6 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Tesla - Business Planning Analyst

Tesla

Berlin, Berlin, Germany (On-Site)
2 Months ago
Milestone - Solutions Engineer

Milestone

Victoria, Australia (Hybrid)
1 Week ago
Google - Apps and O2O Measurement Lead

Google

Mexico City, Mexico City, Mexico (On-Site)
6 Days ago
Next Level Business Services - Sr. Java Developer

Next Level Business Services

Chicago, Illinois, United States (On-Site)
6 Months ago
Flying Wild Hog - Senior Character Artist

Flying Wild Hog

(Remote)
1 Week ago
Scientific Games  - Marketing Manager – CRM, Affiliates, and Promotions

Scientific Games

Pennsylvania, United States (Remote)
1 Week ago
GoTo Group - Product Manager - Insurance

GoTo Group

Jakarta, Jakarta, Indonesia (On-Site)
4 Months ago
Netflix - Senior Game Designer

Netflix

Los Angeles, California, United States (On-Site)
1 Week ago
Google - Senior Lead, Technical Program Manager, Global Networking Technology

Google

Sunnyvale, California, United States (On-Site)
1 Week ago
Netflix - Design Standards Lead

Netflix

Los Angeles, California, United States (On-Site)
3 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Santa Clara, California, United States

The Walt Disney Company - FX Publicity Intern

The Walt Disney Company

Los Angeles, California, United States (On-Site)
5 Days ago
Experis - VR Video Games Engineer

Experis

Portland, Oregon, United States (On-Site)
9 Months ago
EXUSIA - Lead Data Engineers – Azure/Databricks/Snowflake

EXUSIA

United States (Remote)
2 Weeks ago
Next Level Business Services - Sr. Salesforce Developer

Next Level Business Services

Hartford, Connecticut, United States (On-Site)
6 Months ago
Interactive Brokers - Entry- Level Career Opportunities: Institutional Services

Interactive Brokers

Greenwich, Connecticut, United States (Hybrid)
6 Months ago
Next Level Business Services - Product Development Manager

Next Level Business Services

Bentonville, Arkansas, United States (On-Site)
6 Months ago
On Location - Sr. Coordinator, Sales Partners - FIFA World Cup 26™

On Location

New York, New York, United States (On-Site)
1 Month ago
Zoox - Manager, Simulation Traffic & Behavior Modeling

Zoox

Foster City, California, United States (Hybrid)
6 Months ago
Google - Software Engineer III, Infrastructure, Google Ads

Google

Mountain View, California, United States (On-Site)
1 Week ago
Google - Software Engineer III, Mobile, Android

Google

San Jose, California, United States (On-Site)
6 Days ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

NVIDIA - Senior Mixed Signal Design Verification Engineer

NVIDIA

Hsinchu, Hsinchu City, Taiwan (On-Site)
1 Week ago
SideFX Software - 3D Software Developer (Future Opportunity)

SideFX Software

Toronto, Ontario, Canada (Hybrid)
4 Weeks ago
NVIDIA - Senior Synthesis Flow CAD Engineer

NVIDIA

Canada (On-Site)
1 Month ago
NVIDIA - Senior High-Performance LLM Training Engineer

NVIDIA

Santa Clara, California, United States (Hybrid)
3 Weeks ago
Google - Software Engineer, Developer Tools, Silicon

Google

New Taipei, New Taipei City, Taiwan (On-Site)
1 Week ago
Google - Software Engineering Manager II, Chrome OS

Google

San Jose, California, United States (On-Site)
1 Week ago
NVIDIA - Senior Software Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
Assystems - Ingénieur coordination technique H/F

Assystems

Cherbourg-en-Cotentin, Normandy, France (On-Site)
5 Months ago
Riot Games - Staff Software Engineer (Graphics)

Riot Games

Los Angeles, California, United States (On-Site)
1 Month ago
Regent Craft - Propulsion Engineering Intern

Regent Craft

North Kingstown, Rhode Island, United States (On-Site)
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