Apply Now    
Job ID: JR0021708
Job Category: Engineering
Primary Location: Munich, DE
Other Locations:
Job Type: Experienced Hire

Formal Hardware Verification Engineer (m or f)

Job Description

We invite you to join our Mobile-IP team as a Formal Hardware Verification Engineer (m/f) in Munich. As a member of the innovative worldwide Intel Communication and Devices Group (iCDG) you will work with leading-edge IPs and technologies to revolutionize Mobile Computing.

As a Formal Hardware Verification Engineer (m/f) you will be a part of a talented and highly committed team of engineers that develop, maintain and support complex digital IPs for wireless basebands applications. Your responsibilities will include:

- Executing formal verification activities and analyzing errors in cooperation with designers and system engineers

- Linking formal verification activities with simulation based verification and RTL development

- Supporting micro architecture development with formal verification

- Representing our formal activities in companywide communities


Must have
- Master's degree or Ph.D. in Mathematics, Engineering, Computer Science or related fields with solid background in microelectronics
- Hands on execution of formal activities as part of a productive pre-silicon HW verification
- Working experience with Jasper Gold or similar
- RTL subset of System Verilog, VHDL, or Verilog- System Verilog Assertion Language or similar
- Quickly understand circuit functionality on architecture and micro architecture level
- Strong communication skills orally and in writing- Strong commitment to cross-functional, geographically dispersed teamwork
- High motivation to learn leading edge technologies
- Willingness to take initiative and leadership

Nice to have
- Determination of the coverage of a formal verification
- Formal verification of highly configurable hardware IP
- Formal verification on higher abstraction levels architecture, micro architecture
- Principles of Coverage Driven Constrained Random Simulation
- Digital hardware design
- Design and / or verification of processor subsystems and interconnects
- Murphi, SMV, or the like
- Specman, Synopsys VCS, Synopsys Design Compiler, ModelSim/QuestaSim
- Standard bus protocols such as AXI, AHB, OCP, SRAM and PCI ordered protocols
- C/C++, SystemC, TLM 2.0 LT and AT, E, Java, Perl, UPF, Tcl, shell scripting

What we offer you
- We give you opportunities to transform technology and create a better future, by delivering products that touch the lives of every person on earth.
- As a global leader in innovation and new technology, we foster a collaborative, supportive, and boredom-free environment—where the brightest minds in the world come together to achieve exceptional results.
- We offer a competitive salary and financial benefits such as bonuses, retirement plans, life and disability insurance, opportunities to buy Intel stock at a discounted rate, and Intel stock awards (eligibility at the discretion of Intel Corporation).
- We provide benefits that promote a healthy, enjoyable life: excellent medical plans, wellness programs and amenities, flexible work hours, time off, recreational activities, discounts on various products and services, and many more creative perks that make Intel a Great Place to Work!
We're constantly working on making a more connected and intelligent future, and we need your help. Change tomorrow. Start today

Inside this Business Group

Intel is one of the largest suppliers of chips for the communications market. The Intel Communications group is focused on designing and building communications technologies such as Ethernet connectivity products, optical components, communications processing solutions and broadband products.

Apply Now    

What would you like to do now?

Connect with Us

Get Job Alerts

Get started
Student Center

Find out more about working at Intel

Learn more

Jobs@Intel Blog

Learn more

Grow your network of opportunities