[FM-India] Formal Verification opening, Intel India

Madhavan Mukund madhavan at cmi.ac.in
Tue Jan 10 20:18:22 IST 2017

VPG is the graphics design group of Intel. VPG India Hardware team has
a strong formal verification team and is the COE for the Graphics
designs. The team has strong presence in the industry and well known
in academia and industry. The team has published and presented many
technical papers in many international and internal conferences and
has a strong technical acumen and presence.

The team is looking for a strong hardware formal property verification
person. The candidate should have

- Masters or PhD in Electronics/Computer science engineering
- Experience with model checking is definitely an advantage
- Exposure to different model checking algorithms and tools
- Should be open to new ideas and creating new methodologies
- Own execution of FPV on various hardware designs
- Scripting will be an additional advantage

If you are interestded, please contact

  Achutha KiranKumar V M <achutha.kirankumar.v.m at intel.com>

More information about the FMIndia mailing list