Job header section
Principal Formal Verification Engineer
job navigation section
Hardware at Arm
You know us. With 125 Arm-powered products shipped every second, we'll be in a over a trillion smart devices by 2035. Your smartphone, award-winning VR gaming, the world's fastest supercomputer – our engineers are designing the advanced core processors leading the race towards a connected, autonomous, hyper-performance future.
So, we promise you endless opportunities to experiment and go even further in hardware. From advanced core implementation to full custom physical IPs, here you'll have our backing to push limits in vital areas such as memory, IO and logic.
Learning and Development
We encourage our people to upskill as much as they want with a comprehensive learning and development package which includes technical development, mentoring, internal and external conferences, tech talks, and donut sessions. Whether you want to learn a new programming language, upskill your excel skills or read the latest articles on Microprocessor reporting we are with you to Spark the worlds potential.
We'll always encourage you to take plenty of annual leave, so you stay fresh and inspired. But you know what really does it? When we encourage you to take an extended, paid 4 weeks' sabbatical after 4 years of service.
You're a human being, not a resource. And so it's important to us that we're there for you at significant points in your life. That's why we offer flexible progressive leave. Whether you're having kids, acting as a primary care giver or have lost a loved one, you'll be able to put your family first without worrying about your career.
We create a safe space for you to look after your mental and physical health, with support ranging from medical insurance to the workplace mental health platform Unmind. Alongside a growing number of onsite gyms, yoga, cycling and running clubs. All of which comes with a flexible working policy to ensure you can live life and be your brilliant self.
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.
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).
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.
Life at Arm
Life in the office doesn't get any better. Especially when those offices are as sleek as ours. And the people are as creative and intuitive. Combine that with our popular ‘we, not I' mindset and you enjoy the kind of teamwork and togetherness rarely found elsewhere. We share so much in common, not least the same passion for progress, but we also welcome each other's diversity. Because, ultimately, we love to inspire and be inspired every day.
Everything Made Possible
Just how far do the possibilities of Arm's tech stretch? AI, Machine Learning, IoT… billions of people use our technology every day, spanning countless nations, industries and applications. Most people run their lives on Arm technology. So, you see: you really do know us.