Staff Formal Verification Engineer
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 then ARM 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.
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.
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.
ARM is committed to global talent acquisition, offering an attractive relocation package.