Senior Formal Verification Engineer

2 Weeks ago • 7 Years + • Research & Development

About the job

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 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.
View Full Job Description

Add your resume

80%

Upload your resume, increase your shortlisting chances by 80%

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.

View All Jobs

Get notified when new jobs are added by Intel Corporation

Similar Jobs

Rockstar Games - Senior Data Engineer

Rockstar Games, United States (On-Site)

Tencent - Cloud Engineer

Tencent, Singapore (On-Site)

AI Fund - Machine Learning Engineer

AI Fund, (Remote)

Ajmera Infotech - Senior DevOps Engineer - AWS

Ajmera Infotech, United States (On-Site)

DNEG - Animation TD (DNEG Animation)

DNEG, India (On-Site)

Intel Corporation - Cloud Software Development Engineer

Intel Corporation, India (Hybrid)

 Sagecor Solutions - Software Engineer 2 (QKS - 004)

Sagecor Solutions, United States (On-Site)

Google - Staff Software Engineer, Google Cloud Compute

Google, United States (On-Site)

Ajmera Infotech - Engineering Lead

Ajmera Infotech, India (On-Site)

Mitel - Software Developer-C++ SIP VOIP

Mitel, India (On-Site)

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Token Metrics - Crypto Quantitative Analyst (Nigeria-Remote)

Token Metrics, Portugal (Remote)

Raw power games - Senior Animator

Raw power games, Denmark (Hybrid)

ESSP SAS - Space Weather & GNSS Engineer - F/M

ESSP SAS, France (On-Site)

Wind River Systems - Senior Linux Solutions Architect

Wind River Systems, India (On-Site)

The Pokemon Company International - Senior Customer Data Platform Product Engineer

The Pokemon Company International, United States (Hybrid)

Gala - Senior Infrastructure Platform Engineer

Gala, United States (On-Site)

Playrix - Lead Technical Designer

Playrix, Armenia (Remote)

Truecaller - Data Architect

Truecaller, Sweden (On-Site)

Get notifed when new similar jobs are uploaded

Jobs in Haifa District, Israel

Vi - Senior Software Engineer

Vi, Israel (On-Site)

SuperPlay - DEVOPS ENGINEER

SuperPlay, Israel (On-Site)

Pazu Games - HRBP

Pazu Games, Israel (On-Site)

Moon Active - Customer Support Team Lead

Moon Active, Israel (Hybrid)

Moon Active - Junior User Acquisition Manager

Moon Active, Israel (On-Site)

Intel Corporation - DFX Validation Engineer

Intel Corporation, Israel (Hybrid)

Aristocrat Gaming - Games Product Manager

Aristocrat Gaming, Israel (Hybrid)

Overwolf - Senior Programmatic Media Buyer

Overwolf, Israel (On-Site)

Moon Active - Product Economy Manager

Moon Active, Israel (On-Site)

Moon Active - Account Manager - German Market

Moon Active, Israel (Hybrid)

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Nagarro - Principal Engineer, Embedded Systems

Nagarro, Sri Lanka (Remote)

Synopsys  Inc  - Layout Design, Engineer

Synopsys Inc , India (On-Site)

Intel Corporation - Consumer IO IP Logic Design Engineer

Intel Corporation, Malaysia (Hybrid)

Trend Micro - Sr. Software Engineer for Networks

Trend Micro, Taiwan (On-Site)

Intel Corporation - GPU Firmware Development Engineer

Intel Corporation, United States (Hybrid)

Logitech - EE manager

Logitech, China (On-Site)

Intelsat - Senior Software Engineer

Intelsat, India (Hybrid)

Get notifed when new similar jobs are uploaded