Hardware Verification Engineer - Machine Learning

Job PurposeAre you passionate about verification of a Machine Learning processor ?Verification of an ML processor is a huge and exciting challenge. At Arm, verification is an essential and integral part of the hardware development where the verification activities in an ML project are planned by the verification team and then executed by the design and verification teams in collaboration. Arm uses a wide range of verification methodologies including simulation, prototyping, modelling and formal proofs using the latest tools and techniques.Key Accountabilities/ResponsibilitiesAs a staff verification engineer you will be working on verification activities throughout all stages of the project. You will both help specifying the verification tasks for the project as well as executing the actual verification work. The expectation is that you, as a senior member of the team will take the lead on larger work-packages and mentor more junior engineers in the team. You are also expected to be able to drive methodology threads in Arm wide forums.Job Requirements: Education & QualificationsGood university degree, in electronic engineering or computer science ideally, although other science graduates will be considered if they have relevant experience.Essential Skills & ExperienceA deep understanding of the verification strategies required for complex IP development, including coverage driven, constrained random and assertion-based techniques and FPGA prototyping.Coverage driven verification expertise, in high-complexity designs.Experience in block level, unit level and system level verification.Experience of Verilog/SystemVerilog/VHDL.Experience with one or more of the following methodologies: UVM, OVM, VMM, eRM.Experience in planning the verification process and making realistic effort and timescale estimates.Experience from verifying complex systems (HW+SW) using FPGA platforms.High level programming experience (C / C++, Python, OOP, design patterns).Desirable Skills & ExperienceKnowledge of machine learning / AI fundamentals.Knowledge of the ARM architecture and AMBA bus system.Formal verification experience.Experience to build C/C++ based models of a microarchitectureUse of UNIX and shell programming.Experience of prototyping and/or emulation.Experience of SystemC/SpecmanAt Arm, we are guided by our core beliefs that reflect our rare culture and guide our decisions, defining how we work together to defy ordinary and shape extraordinary:We not ITake daily responsibility to make the Global Arm community thrive.No individual owns the right answer. Brilliance is collective.Information is crucial, share it.Realise that we win when we collaborate — and that everyone misses out when we don’t.Passion for progressOur differences are our strength. Widen and mix up your network of connections.Difficult things can take unexpected directions. Stick with it.Make feedback positive and expansive, not negative and narrow.The essence of progress is that it can’t stop. Grow with it and own your own progress.Be your brilliant selfBe quirky not egocentric.Recognise the power in saying ‘I don’t know’.Make trust our default position.Hold strong opinions lightly.