Avner Landver
Formal Verification Manager at Intel Corporation | Israel
Avner Landver’s Email & Phone Number
VerifiedFree account · No credit card · 5 profiles/month
Formal Verification Manager at Intel Corporation in July 2019 - Present
VLSI at Apple in September 2012 - December 2019
CEO at Karmel Electronic Design Services in January 2011 - September 2012
Formal Property Verification at SanDisk in December 2011 - August 2012
Formal Property Verification at Cisco Systems in November 2011 - May 2012
Group Director Verification Solutions at Cadence Design Systems in January 2008 - December 2011
Group Director Incisive Formal at Cadence Design Systems in January 2003 - December 2008
Director of Engineering BlackTie at Verplex in January 2002 - December 2003
Manager Formal Verification at Intel in January 1998 - December 2002
Manager Formal Verification Methodology and Deployment at IBM in January 1993 - December 1998
Assistant Professor of Mathematics at University of Kansas in January 1990 - December 1993
University of Wisconsin-Madison, Ph.D., November 1983 to November 1990
The Hebrew University of Jerusalem, B.A., November 1978 to November 1982
Our mission is to shape the future of technology to help create a better future for the entire world, that’s the power of Intel Inside. With more ingenuity and creativity inside, our work is at the heart of countless innovations. From major breakthroughs to things that make everyday life better— they’re all powered by Intel technology. With a career at Intel, you can help make the future more wonderful for everyone. • Need help or have a support question? Visit Intel Support: http://ms.spr.ly/6054tmaop
Discover more about Intel Corporation
Vice President/GM of Project Controls
Chief Estimator at Intel Corporation
(May 2004 – Present)
Intern-Intel | NIT Jamshedpur | Ex-Capgemini
Firmware intern at Intel Corporation
(May 2025 – Present)
Senior Data Scientist at Intel Corporation
Data Scientist at Intel Corporation
(July 2017 – Present)
Formal verification Engg ,Intel Corporation,IIT PALAKKAD, VLSI(System On Chip Design),
Formal verification at Intel Corporation
(June 2024 – Present)
C++,C,Firmware,Embedded,BSP,Yocto,Gstreamer,SoC,RTOS, Device driver,Linux Software Engineer,Qt
Software Developer at Intel Corporation
(May 2025 – Present)
Intern at Intel | Masters in AI & ML
Graduate Technical Intern at Intel Corporation
(June 2025 – Present)
What is Avner Landver email address?
Email Avner Landver at [email protected] and [email protected]. This email is the most updated Avner Landver's email found in 2026.
What is Avner Landver phone number?
Avner Landver phone number is +972543209244.
How to contact Avner Landver?
To contact Avner Landver send an email to [email protected] or [email protected]. If you want to call Avner Landver try calling on +972543209244. (updated on December 27, 2025)
What company does Avner Landver work for?
Avner Landver works for Intel Corporation.
What is Avner Landver's role at Intel Corporation?
Avner Landver is Formal Verification Manager
What industry does Avner Landver work in?
Avner Landver works in the Semiconductors industry.
