Senior Formal Verification Engineer

4 Months ago • 7 Years + • Research & Development

Job Summary

Job Description

As a Senior Formal Verification Engineer, you will use formal verification methods and tools to prove the correctness of complex logic problems. Responsibilities include defining and leading formal verification architecture, guiding and supporting team engineers, verifying unique and complex design blocks, exploring new formal methods and tools, and collaborating with cross-functional teams (DV, Arch, Design). You will define assertions, prove design properties, identify design bugs, and work with design teams to improve microarchitecture. The role requires a deep understanding of formal verification methodologies and strong analytical and problem-solving skills. Experience with System Verilog/Verilog/VHDL, Jasper C, and scripting languages (Python or TCL) is advantageous. Knowledge of industry-standard protocols (AXI/OCP/APB) is a plus.
Must have:
  • Formal verification experience
  • Strong analytical & problem-solving skills
  • Define and lead formal verification architecture
  • System Verilog/Verilog/VHDL knowledge (advantage)
  • 7+ years relevant experience
  • BSc/MSc in Electrical/Computer Engineering or Mathematics
Good to have:
  • Jasper C experience
  • Python or TCL scripting
  • AXI/OCP/APB protocol knowledge
Perks:
  • Competitive pay
  • Stock bonuses
  • Comprehensive benefits package

Job Details

Job Description

* In this position you will use formal verification methods and tools to formally prove the correctness of complicated logic problems.

*Define and lead formal verification architecture.

*Guide and support engineers in the team.* You will verify unique and complex design blocks against the specification.* Explore new Formal methods and Tools.

* Collaborating with cross-functional teams, including Design Verification (DV), Architecture (Arch), Design.* Define assertions and proving design properties, identifying design bugs, and working closely with design teams to improve microarchitecture.

Office location: Tel Aviv / Caesarea

Qualifications

* BSc in Electrical/Computer Engineering or MSc in Mathematics.* 7+ years of relevant experience.* Excellent analytical, logical reasoning and problem-solving skills.* Strong debugging and analytical skills.* Strong communication and interpersonal skills are required.

Ways To Stand Out From The Crowd

* Formal verification work experience.* Knowledge of digital logic.* In-depth knowledge of how Formal works* Experience in System Verilog/ Verilog/VHDL - Advantage* Experience in Jasper C - Advantage

* Knowledge in scripting languages such as Python or TCL.* Knowledge in Industry Standard protocols such as AXI/OCP/APB - Advantage

Inside this Business Group

The Data Center & Artificial Intelligence Group (DCAI) is at the heart of Intel’s transformation from a PC company to a company that runs the cloud and billions of smart, connected computing devices. The data center is the underpinning for every data-driven service, from artificial intelligence to 5G to high-performance computing, and DCG delivers the products and technologies—spanning software, processors, storage, I/O, and networking solutions—that fuel cloud, communications, enterprise, and government data centers around the world.

Posting Statement

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Benefits

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits

Working Model

This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change.

Similar Jobs

Globalization Partners - Business Intelligence Analyst

Globalization Partners

(Remote)
3 Months ago
NVIDIA - Product Test Engineer

NVIDIA

Hsinchu, Hsinchu City, Taiwan (On-Site)
3 Months ago
PwC - Senior Fund Accountant (m/f/d)

PwC

Luxembourg (On-Site)
6 Months ago
Tencent - Site Reliability Engineer Intern

Tencent

Los Angeles, California, United States (On-Site)
1 Month ago
ION - Backup System Engineer, Italy

ION

Italy (Hybrid)
6 Months ago
The Walt Disney Company - Mechanical Designer, CAD Designer

The Walt Disney Company

Shanghai, Shanghai, China (On-Site)
2 Months ago
Google - Software Engineer, Performance and Thermal, Pixel

Google

New Taipei, New Taipei City, Taiwan (On-Site)
4 Months ago
Google - Software Engineering Manager, Black Community Inclusion

Google

State Of Minas Gerais, Brazil (On-Site)
4 Months ago
NVIDIA - STA Backend Engineer

NVIDIA

(Remote)
1 Month ago
Riot Games - Manager, Software Engineering - Player Platform SDK

Riot Games

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

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Unity - Scientifique de données sénior | Senior Data Scientist

Unity

Montreal, Quebec, Canada (On-Site)
5 Months ago
SmileGate - Build Manager [LOST ARK Mobile]

SmileGate

Seongnam-si, Gyeonggi-do, South Korea (On-Site)
3 Months ago
Rivos - CPU Design/Verification - Intern

Rivos

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

Framestore

Mumbai, Maharashtra, India (On-Site)
11 Months ago
Meltwater - Content Platform Software Engineer Junior

Meltwater

Hyderabad, Telangana, India (Hybrid)
6 Months ago
Activision - Research Associate, Graphics

Activision

Los Angeles, California, United States (On-Site)
1 Month ago
NVIDIA - Senior AI and HPC Modeling Architect

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)
3 Months ago
PwC - IN-Senior Associate_ ETL Databricks _D&A_Advisory_Bangalore

PwC

Bengaluru, Karnataka, India (On-Site)
4 Months ago
GoTo Group - Senior Data Scientist  (Singapore)

GoTo Group

Singapore (On-Site)
6 Months ago
NVIDIA - Manager, Firmware Verification

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
3 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Haifa District, Israel

SuperPlay - BUSINESS DATA ANALYST LEAD

SuperPlay

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
5 Months ago
Playtika - Graphic Designer - Temporary

Playtika

Israel (On-Site)
3 Months ago
Playtech - Legal Counsel

Playtech

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
3 Months ago
NVIDIA - Senior Firmware PHY Verification Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
3 Months ago
SuperPlay - 3D Rigger & Generalist

SuperPlay

Tel Aviv District, Israel (On-Site)
2 Months ago
Moon Active - Knowledge Base Manager

Moon Active

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
10 Months ago
Playtika - Data Science Expert

Playtika

Israel (On-Site)
3 Months ago
Playtika - Games R&D-Monetization Operations Specialist

Playtika

Israel (On-Site)
5 Months ago
NVIDIA - Senior Mechanical Manager

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)
2 Months ago
Pazu Games - Play Tester

Pazu Games

Israel (On-Site)
4 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

ByteDance - Vision Scientist- Pico

ByteDance

San Jose, California, United States (On-Site)
3 Months ago
NVIDIA - Senior Server Firmware Bringup Engineer

NVIDIA

Santa Clara, California, United States (On-Site)
3 Months ago
NVIDIA - Senior Systems Software Engineer, CUDA Driver

NVIDIA

Santa Clara, California, United States (Remote)
2 Months ago
NVIDIA - Senior Boot Reset Silicon Hardware Engineer

NVIDIA

Santa Clara, California, United States (Hybrid)
3 Months ago
Fabric - Applied Cryptographer, ZKP Research

Fabric

British Columbia, Canada (Remote)
6 Months ago
Riot Games - VFX Artist II - VALORANT, Premium Content

Riot Games

United States (On-Site)
1 Month ago
Anavation - Software Developer 3

Anavation

Chantilly, Virginia, United States (On-Site)
6 Months ago
Meta - ASIC Engineer, Design

Meta

Austin, Texas, United States (On-Site)
5 Months ago
NVIDIA - Deep Learning Engineer, Datacenters

NVIDIA

Bengaluru, Karnataka, India (Hybrid)
3 Months ago
Riot Games - Associate Art Director - League of Legends, Game Modes

Riot Games

Sydney, New South Wales, Australia (On-Site)
10 Months ago

Get notifed when new similar jobs are uploaded

About The Company

Intel’s mission is to shape the future of technology to help create a better future for the entire world. By pushing forward in fields like AI, analytics and cloud-to-edge technology, Intel’s work is at the heart of countless innovations. From major breakthroughs like self-driving cars and rebuilding the coral reefs, to things that make everyday life better like blockbuster effects and improved shopping experiences — they’re all powered by Intel technology. With a career at Intel, you have the opportunity to help make the future more wonderful for everyone.

Get notified when new jobs are added by Intel Corporation

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug