Formal Verification Engineer

This job has now expired please search on the home page to find live IT Jobs.

We are developing the next wave of compute technologies for future processors. The product we are recruiting for right now will introduce major breakthroughs in Digital Security, Machine Learning and as well as in Computer Vision, and will lead to the most innovative processor ever released. Interested in building the IP that will radically change the way mobile phones handle digital photography, enabling Neural Networks in any type of application, making the world more secure? Stop thinking and apply now!

Arm's Sophia Antipolis design centre is located in one of the most beautiful parts of France, at the heart of Europe's largest and most dynamic technology park. Surrounded by mountains and the Mediterranean Sea, this exceptional design centre has delivered leading products from Arm's Cortex (TM) processor family.

As a Formal Verification Engineer, you will integrate a team the role of which is to guarantee the correct functioning of the IP, focusing on its correct functional behaviour in all possible conditions.

You will be accountable for:

Understanding the specification of the IP you will target;

Defining and documenting the verification environment you will use to find bugs in the design; plus specifying the verification sign-off criteria;

Building and maintaining the testbench by using an appropriate methodology and programming language(s);

Running tests to stress the design in its last corner cases and find all possible bugs.

Would you like to work in a multi-site and multi-cultural environment? If so, this is the right time and the best place to join!

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

You should have at least 2 years in functional verification or digital hardware design, and, preferably but not mandatory, 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

Communicating fluent 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

Good level of French can be a good advantage 

Why work for Arm?

As well as a friendly and high performance working environment, Arm offers a competitive benefits package in France including: private medical insurance (employee and family), 25 days annual leave, 20-day sabbatical every four years, supplementary pension and reduction in working hours (11 days). 

Our Core Beliefs lie at the heart of Arm and represent the essence of our organization. When combined and working together, they articulate the uniqueness of Arm culture:

Passion for Progress

Innovation that enables our ecosystems, Arm and our people to thrive.

Work with pace and judgment. Adapt to circumstances.

Take risks in support of Arm's progress.

Be accountable for the decisions you make. Learn from failure.

Pursue innovation relentlessly.

We, Not I

Collaboration first, egos last.

Start with long-term value to customers and partners, and work back from there.

Collaborate, decide, commit, and bring people with you.

Make the most of all the skills and knowledge across Arm; share information with those who need it.

Care about the people around you.

Be your Brilliant Self

Skillful individuality, performance and fulfilment.

Be authentic.

Seek and embrace differences.

Encourage curiosity and challenge.

Give people trust and autonomy; show people they can trust you to do brilliant work in pursuit of Arm's goals.

Arm has a responsibility to ensure that all employees are eligible to live and work in the UK.

#LI-PK2

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don't discriminate on the basis of any characteristic.