Intel Formal Verification Architect 

Malaysia, Penang 

765088240

You must possess the minimum education requirements and minimum required qualifications to be initially considered for this position. Relevant experience can be obtained through schoolwork, classes, project work, internships, and/or military experience. Additional preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Minimum Qualifications The candidate must possess the following: Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 9 years relevant experience or schoolwork OR Master's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 6 years relevant experience or schoolwork OR PhD in Electrical Engineering, Computer Engineering, Computer Science or a related field with 4 years relevant experience or schoolwork Experience in the following: RTL languages like System Verilog or VHDL Assertion languages like SVA, formal verification. Preferred Qualifications Experience with: The fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs Formal verification principles and methods Computer architecture, digital design and verification methods Research in formal verification domainExperienced HireShift 1 (Malaysia)Malaysia, PenangThis role is a Position of Trust. Should you accept this position, you must consent to and pass an extended Background Investigation, which includes (subject to country law), extended education, SEC sanctions, and additional criminal and civil checks. For internals, this investigation may or may not be completed prior to starting the position. For additional questions, please contact your Recruiter.

This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change.