Senior Formal Verification EngineerApply now
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.
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.
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.
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.
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.
As a Formal Verification Engineer, you will be part of the Arm GPU Hardware Verification group in Ra’anana Israel.
Arm’s GPU Verification Team is responsible for developing the Mali™ range of graphics processors. Mali™ is the most sold GPU in the world, and the diverse, highly motivated, and creative engineers of the GPU team are dreaming up improvements and technology that will make it even better.
Job Purpose & Accountabilities:
• Ownership of formal verification environment and methodology, with an emphasis on Formal signoff and using various and latest Formal apps
• Work closely with the Product, Architecture and Hardware teams to deliver the product.
• B.Sc. in Electrical Engineering, Computer Engineering, Computer Science/Software Engineering or BA in Mathematics
• 3+ years of experience in RTL design or Verification
• 1+ years of Formal Verification developing methodologies and implementation.
• Experience and understanding of Random Verification concepts, methodologies, and Environments
• Experience and understanding of Coverage driven verification techniques
• Experience in System Verilog – advantage.
• Verilog development of stubs and test-benches
• Experience in Unix environment including scripting (Perl, C-shell)
• Excellent system view capabilities and debug skills.
• Creative, dynamic thinker and problem solver, open minded with strong analytical skills.
• Fast starter of new technologies and standards.
• Versatile and ready to work in a dynamic working environment.
• Teammate with multi-tasking ability and good social skills.
• Good written and spoken English.
• Experience with ARM processors or with graphic processors units.
• Knowledge of Design for verification techniques.
• Logic Design experience – advantage
What are the desired behaviours for this role?
Arm is proud to have a set of behaviours that differentiate our talent in the marketplace. These are embedded in all our roles and applicants are encouraged to evidence their attitudes/behaviours as part of the application process:
• Operates effectively and openly in teams and shares both knowledge and success with others
• Builds strong and lasting relationships based on mutual trust
• Actively seeks out and encourages alternative viewpoints and ideas
• Applies critical thinking to select the best way forward
• Demonstrates a positive approach gaining insight from team experiences and is receptive to feedback
• Is passionate about the success of others and actively provides support for their development
• Listens and explores alternative perspectives before carefully shaping work that will deliver impactful results
• Persuades rather than pushes when influencing colleagues
• Demonstrates a conducive, can-do approach.
• Thinks and acts in the best interests of our customers and partners
• Strives to achieve the best outcomes for Arm and our customers
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.