Formal Verification Engineer

Job description

Job Description

The Technology Services Group is looking for an entry level engineer to join a fast growing team which is responsible for providing formal verification technology to a range of engineering functions, including architecture, hardware and software implementation and verification teams. You will be working from our Cambridge headquarters to support teams across Europe, the US and India.

The role covers development and deployment of formal methodologies as well as support for formal users. You will be responsible for:

·  Requirements capture, specification, development and deployment of formal verification workflows
·  Supporting users encountering issues with formal workflows and formal platform tools.
·  Developing new features, improvements and optimisations to formal workflows
·  Collaboration with vendors through evaluations, optimisations and continuous improvements
·  Use of key metrics to drive improvements in formal usage, workflows and driving vendor engagements
·  Training and mentoring users in the use of workflows and techniques.

Job Requirements

Education & Qualifications

• MS degree or PhD in Computer Science / Computer Engineering is preferred

• BS degree in Computer Science / Computer Engineering may be considered for candidates with other project or work experience with essential skills and experience

Essential Skills & Experience

The candidate should have a strong interest in formal verification theory and practice including some or all of the following:

·  Knowledge of property-based model-checking and/or theorem-proving
·  Familiarity with SystemVerilog Assertions (SVA) or Property Specification Language (PSL)
·  Understanding of CPU architecture or microarchitecture specifications
·  Understanding of RTL verification workflows
·  Knowledge in Python, Perl or TCL scripting languages
·  Willingness to tackle varied and complex technical challenges
·  Strong communication skills and ability to work well as part of a team
·  Strong programming skills along with excellent problem-solving and debugging abilities
·  Willingness to travel to other ARM sites within Europe

About ARM

ARM® technology is at the heart of the world's most advanced digital products. Our technology enables the creation of new markets and transformation of industries and society. Engineers at ARM design scalable, energy efficient-processors and related technologies to deliver the intelligence in applications ranging from sensors to servers, including smartphones, tablets, enterprise infrastructure, and the Internet of Things.

With offices around the world, ARM offers jobs to a diverse community of dedicated, innovative, and highly talented professionals. By enabling an inclusive, meritocratic, and open workplace where all of our people can grow and succeed, ARM encourages people to share their unique contributions to ARM's success in the global marketplace.

Benefits

Your particular benefits package will depend on position and type of employment and may be subject to change. Your package will be confirmed on offer of employment. ARM's benefits program provides permanent employees with the opportunity to stay innovative and healthy, ensure the wellness of their families, and create a positive working environment.

·  Annual Bonus Plan
·  Discretionary Cash Award
·  Group Personal Pension Plan with enhanced company contribution
·  Medical, Travel, Health & Life Insurances
·  Holiday, 25 days annual leave with option to buy an additional 5 days per year
·  Sabbatical, 20 paid days every four-year of service
·  Volunteering, One (1) paid working day each year (TeamARM)
·  Others, cycle to work, free car parking, gym on site, team and social events

About ARM

ARM® technology is at the heart of a computing and connectivity revolution that is transforming the way people live and businesses operate. From the unmissable to the invisible; our advanced, energy-efficient processor designs are enabling the intelligence in 86 billion silicon chips and securely powering products from the sensor to the smartphone to the supercomputer. With more than 1,000 technology partners including the world's most famous business and consumer brands, we are driving ARM innovation into all areas compute is happening inside the chip, the network and the cloud.

With offices around the world, ARM is a diverse community of dedicated, innovative and highly talented professionals. By enabling an inclusive, meritocratic and open workplace where all our people can grow and succeed, we encourage our people to share their unique contributions to ARM's success in the global marketplace.