Senior Staff Engineer

Description:

What skills, experience and qualifications do I need?

We will require a track record of accomplishments applying verification methodologies with an emphasis on formal. You must be comfortable in Python to understand the flow, propose fixes to customers and even do some bug fixes in the flow if required. You must have experience with the EDA Formal/property checking tool such as Cadence Jasper Gold.

Essential Attributes
 

• A deep understanding of methodologies and flows applied to functional hardware verification of innovative IPs and subsystems.
• Experience of “scaled-out” deployment of technology across a global organisation
• Experience of supporting workflows
• Experience of collaborating with EDA vendors
• Strong scripting skills (Python, UNIX shell scripting) – being able to develop scripting to support new flows.
• Knowledge of one Formal tool with at least a proficiency for one and an understanding of the 2 others.
• Effective interpersonal skills and ability to work well as part of a culturally diverse environment.
• 3-5 years of hands-on experience as application engineer or customer support role
   

Desirable Attributes
 

• Proficiency in Formal verification
• Exposure to the complete software development process including the use of configuration management (git/gerrit)
• Knowledge of Docker containers
• Eagerness to travel to other ARM sites globally