Senior Formal Verification Engineer
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 here.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.
Maggie Offensive Security Researcher
Ich wollte schon immer etwas tun, das die Welt verändert – bei Intel fühle ich mich geschätzt und ich habe mehr Selbstvertrauen gewonnen. Die Arbeit gibt mir das Gefühl, dass ich in der Lage bin, Großes zu leisten.
Sie haben noch keine gespeicherten Jobs.
Alle Stellenangebote AnsehenSpotlight
-
Das Leben bei Intel
Wir haben ein einzigartiges Umfeld geschaffen und können es kaum erwarten, dass Sie dazugehören.
-
Vorteile
Umfangreiche bezahlte Freizeit, Aktienoptionen, Weiterbildungsmöglichkeiten, Prämien und vieles mehr. Das ist alles, was Sie brauchen, um erfolgreich zu sein.
-
Praktikanten und Absolventen
Sind Sie bereit, mehr als nur Ihre Karriere zu beginnen? Dies könnte der Beginn von etwas Großartigem sein.
Join Our Job Alerts
Let’s stay connected. Sign up to receive alerts when new opportunities become available that match your career ambitions.
Werden Sie Mitglied unserer Talent Community
Erfahren Sie immer direkt, was bei Intel passiert! Melden Sie sich an, um die neuesten Nachrichten und Updates zu erhalten.
-
Manufacturing at Intel
Our Manufacturing Technicians are critical to Intel and the future of technology. They are responsible for the setup, maintenance and performance of the complex machinery that build semiconductors—powering nearly everything in our daily lives. Whether you are right out of school, transitioning military, returning to the workforce or looking for a place that values your skills and expertise, we have a place for you at Intel.
-
Life at Intel
We can't wait for you to be part of our team.
-
Learn more About the Semiconductor Industry
Semiconductors—otherwise known as microchips, microprocessors, or chips—are the brains behind some of the most innovative technology today and power so many of the things we use in our daily lives. There’s a big demand for them—and for the talented people who help bring this critical technology to life.
-
Intel to Receive Up to $8.5 Billion Through the CHIPS Act
Proposed funding, coupled with an investment tax credit and eligibility for CHIPS Act loans, would help Intel advance American semiconductor manufacturing and technology leadership in the AI era.
-
Intel Opens Fab 9 in New Mexico
Intel celebrated the opening of Fab 9, its cutting-edge factory in Rio Rancho, New Mexico. The milestone is part of Intel's previously announced $3.5 billion investment to equip its New Mexico operations for the manufacturing of advanced semiconductor packaging technologies.
-
The World’s First Systems Foundry
Intel launched Intel Foundry on February 21, 2024, as a more sustainable systems foundry business designed for the AI era. An expanded process roadmap was announced to establish leadership into the latter part of this decade.
