Silicon Logic Formal Verification - Full Time

1 Month ago • All levels • Research & Development

About the job

Job Description

Not hearing back from companies?
Unlock the secrets to a successful job application and accelerate your journey to your next opportunity.
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.
View Full Job Description

Add your resume

80%

Upload your resume, increase your shortlisting chances by 80%

About The Company

United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Bengaluru, Karnataka, India (Hybrid)

Hsinchu, Hsinchu City, Taiwan (On-Site)

Bengaluru, Karnataka, India (On-Site)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Bengaluru, Karnataka, India (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Bengaluru, Karnataka, India (Hybrid)

View All Jobs

Get notified when new jobs are added by Rivos

Similar Jobs

NTT DATA,  Inc  - Security Managed Services Engineer (L3)

NTT DATA, Inc , India (On-Site)

PikPok - Technical Manager

PikPok, New Zealand (On-Site)

Sperasoft - Senior Lighting Artist

Sperasoft, Armenia (On-Site)

Rockstar Games - Motion Capture Technician

Rockstar Games, United States (On-Site)

Room 8 Studio - Project Art Director

Room 8 Studio, Slovakia (On-Site)

Luxoft - Senior GPU Kernel Developer

Luxoft, United States (Remote)

Assystems - Associate Electrical Engineer - Low Voltage

Assystems, United Kingdom (On-Site)

Netflix - Machine Learning Manager - Promotional Media

Netflix, United States (On-Site)

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

The Walt Disney Company - Statistics Analyst II

The Walt Disney Company, United States (On-Site)

Social Discovery Ventures - Partner Account Manager/Lead

Social Discovery Ventures, Poland (Remote)

Power Integrations - Staff Automotive Reliability Engineer

Power Integrations, Malaysia (On-Site)

Nielsen Holdings - Quality Control Analyst

Nielsen Holdings, Croatia (Hybrid)

Salesforce - Principal UX Designer

Salesforce, India (On-Site)

Ingenuity Studios, LLC - CG Generalist

Ingenuity Studios, LLC, Canada (Remote)

BOT VFX - Lead FX Artist

BOT VFX, India (On-Site)

Intel Corporation - OH Data Center Operations Manager

Intel Corporation, United States (On-Site)

Tamatem Games - Influencers Marketing Intern - Emirati Talent

Tamatem Games, United Arab Emirates (Hybrid)

The Walt Disney Company - Sr Manager, Photography – Post Production

The Walt Disney Company, United States (On-Site)

Get notifed when new similar jobs are uploaded

Jobs in Santa Clara, California, United States

Life church - Associate Youth Pastor

Life church, United States (On-Site)

Postman - Senior Product Designer, Partner Workspaces

Postman, United States (On-Site)

The Walt Disney Company - SVP, Longform - ABC News

The Walt Disney Company, United States (On-Site)

Meta - Consumer Product Marketing Manager

Meta, United States (On-Site)

Workato - Partner Sales Lead, Embedded

Workato, United States (On-Site)

Crunchyroll - Global Theatrical Marketing Manager

Crunchyroll, United States (Hybrid)

World Relief - Vehicles Management Specialist (Part-time) - 2024656

World Relief, United States (On-Site)

Buckman - Global Process Safety Specialist

Buckman, United States (On-Site)

Santa Monica Studio - Sr Character Artist

Santa Monica Studio, United States (On-Site)

Get notifed when new similar jobs are uploaded

Research & Development Jobs

eBay - ML Staff Software Engineer - Risk

eBay, United States (Hybrid)

Marvell - Analog Mixed Signal Designer Intern

Marvell, Argentina (On-Site)

NK Securities Research - ML- Quantitative Researcher

NK Securities Research, India (Hybrid)

Codvoai - Senior Data Scientist

Codvoai, India (Remote)

 Sagecor Solutions - Software Engineer 2 (QKS - 003)

Sagecor Solutions, United States (On-Site)

Rivos - CPU Physical Design - Full Time

Rivos, Taiwan (Hybrid)

Get notifed when new similar jobs are uploaded