The Role
In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. Arm’s CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods.
We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will drive billions of devices world-wide!
Job Overview:
You will apply Formal Methods to CPUs developed in the Cambridge design centre, with the opportunity to collaborate with our global Formal Teams across Arm.
Responsibilities:
The role entails investigating, creating, developing and deploying new Formal Verification techniques on live projects. You will use the industry’s best available tools and be in close contact with EDA tool vendors. You will work alongside Arm’s brightest formal experts to plan and implement Formal Verification to exceptional quality.
Required skills and experience:
- Experience in functional verification or digital hardware design and familiarity with formal methods (e.g. SVA, PSL, model checking, theorem proving)
- An engineering mentality and passion for digital design verification, a keen interest in processors and digital systems, and excellent attention to detail and reasoning skills
- Understanding of fundamental verification concepts, computer architecture, micro-architectural concepts
- Knowledge of hardware description and verification languages, such as VHDL, Verilog/SystemVerilog
- Ability to understand and map abstract formal concepts into designs
'Nice to have' skills and experience:
- Experience with industry-standard formal verification tools and model checking techniques.
- Understanding of the end-to-end verification processes, from test plan creation through to verification closure
- Proficiency in scripting languages, e.g. Python/Perl/TCL/shell
- Understanding of Arm architecture and instruction set
- Understanding of assume-guarantee reasoning , invariants and abstractions
In return:
You will get to utilise your engineering skills to build support for the technologies and influence millions of devices for years to come.
#LI-JC1
Accommodations at Arm
At Arm, we want our people to Do Great Things. If you need support or an accommodation to Be Your Brilliant Self during the recruitment process, please email accommodations@arm.com. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations. All accommodation requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.
Hybrid Working at Arm
Arm’s hybrid approach to working is centred around flexibility, where we split our time between the office and other locations to get our work done. Within that framework, we empower groups and teams to determine their own particular hybrid working pattern, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.
Equal Opportunities at Arm
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 race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.
Where you'll
be working
View Location
Test Our Limits. Your Limits.
Every day the world invents something new to put our chips to the test. You can do the same. Because verification at Arm goes way, way beyond debugging – it’s solving the novel problems behind tech that barely exists yet. It’s working at the bleeding edge of machine learning, simulation software, model checking and hardware prototyping systems. It’s thinking the unthinkable and being sure we’re ready for it.
Work At The Very Edge
At Arm, you’re in a position to influence 95% of the world’s connected devices and all of their applications. Healthcare, infrastructure, virtual reality… you’ll affect hundreds, if not thousands of industries worldwide, racing towards new milestones in human endeavour.
Ground-Breaking Benefits
-
Learning And Development
Whether you want to learn a new programming language, explore your management potential or witness the latest innovations at industry conferences, we promise you both the freedom and the support to develop when you want it.
-
Sabbatical
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 four-week sabbatical after 4 years of service.
-
Progressive Leave
You're a human being, not a resource. So it's important to us that we're there for you at significant points in your life. Whether you're having kids, acting as a primary care giver or have lost a loved one, our flexible progressive leave allows you to put your family first without worrying about your career.
-
Wellbeing
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, so you can live life and be your brilliant self.
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.