Staff Formal Verification Engineer

Description de l'offre

Job Description

If you are excited about formal verification and want to be part of a team promoting, developing, supporting and applying functional verification techniques based on formal methods thenARM has a great job for you!

The ARM CPU Group designs processors present in many devices you use. In order to ensure they function correctly, we use advanced verification techniques based on formal methods. We are looking for someone to integrate a leading and growing team of experts who promotes, develops, supports and applies formal verification within ARM.

You will apply formal methods on CPUs developed in the Sophia Antipolis design centre. You will also remotely assist other projects using this technique. An important part of the job involves investigating and developing new capabilities, as well as integrating them into standard flows. You will use the best available tools in the industry, and be in close contact with EDA tool vendors. This is a great opportunity to enlarge your knowledge and have fun at work.

The job is based in an exceptional environment, in the sunny French Riviera.

Job Requirements

Job Requirements

Education & Qualifications

You will have a good university degree, ideally in electronic engineering or computer science, although other graduates would be considered if they have relevant experience.

Experience

The candidate should have at least 2 years in functional verification or digital hardware design, and, preferably but not mandatory, a previous experience with formal methods (e.g. SVA, PSL, model checking, theorem proving).

Essential Skills & Experience

• Understanding of the fundamentals of hardware design and verification.

• Knowledge of hardware description and verification languages e.g. Verilog, VHDL, SystemVerilog, PSL.

• Proficiency in algorithms and software programming.

• Proficiency in scripting languages, e.g. Python/Perl/TCL.

• Able to work in French or in English.

Desirable Skills & Experience

• Formal verification tools and methods.

• Understanding of the end to end verification processes, from test plan creation through to verification closure.

• Experience with RTL and simulators.

• Familiarity with ARM architectures and instruction sets.

• Experience of Unix development environment.

What are the desired behaviours for this role?

At ARM, we are proud to have a set of behaviours that reflect our unique culture and guide our decisions, defining how we work together to defy ordinary and shape extraordinary. These behaviours are assessed as part of the recruitment process:

·  Delivery of results – You demonstrate a can-do attitude and you drive to overcome obstacles, acting with a sense of urgency because you’re passionate about what you do.
·  Partner / customer focus – Your tendency to put your partners and customers first in all that you do by understanding their needs and striving to achieve win-win solutions.
·  Creativity / innovation – Possessing curiosity and a passion for driving continuous improvement through spotting opportunities and seeking the views of others.
·  Collaboration / communication – Your ability to forge lasting relationships which are built upon mutual trust, open communication and sharing of information and success.
·  Personal impact / influence – You listen to different perspectives, evaluate, persuade and carefully shape your work to deliver truly impactful results.
·  Team / personal development – You take time to drive your own development, while also encouraging team members and partners to do the same.

ARM is committed to global talent acquisition, offering an attractive relocation package.

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
·  Supplementary pension
·  Private Medical Insurance (employee & family)
·  Life Insurance
·  Holiday, 25 days annual leave
·  Sabbatical, 20 paid business days every four-years of service
·  Volunteering, One (1) paid working day each year (TeamARM)
·  Others, free car parking, luncheon vouchers & Public Transport Pass reduction, 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.