Senior Formal Verification Engineer

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.

Job Requirements

• 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
• Verilog development of stubs and test-benches
• Experience in Unix environment including scripting (Perl, C-shell)
• Excellent system view capabilities and debug skills.

Personal Attributes

• 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.

Desirable

• Experience with ARM processors or with graphic processors units.
• Knowledge of Design for verification techniques.
• Experience in System Verilog
• Logic Design experience

What are the desired behaviors for this role?Arm is proud to have a set of behaviors that differentiate our talent in the marketplace. These are embedded in all our roles and applicants are encouraged to evidence their attitudes/behaviors 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

In Return At Arm, you will enjoy working in a highly stimulating collaborative environment. Our team works closely with other software, hardware and system teams across the company.You will have a chance to share ideas with and learn new skills from the best engineers in the world. We work in small teams, so your contributions will really make a difference.With offices around the world, Arm is a diverse organisation of dedicated, innovative and highly skilled engineers. By enabling a vibrant, diverse, inclusive, meritocratic, and open workplace, where all our people can grow and succeed, we encourage our people to share their outstanding contributions to Arm's success in the global marketplace.Our innovative technology is licensed by Arm Partners who have shipped more than 50 billion Systems on Chip (SoCs) containing our intellectual property since the company began in 1990. Together with our Connected Community, we are breaking down barriers to innovation for developers, designers and engineers, ensuring a fast, reliable route to market for leading electronics companies.We have a friendly and inspiring working environment, where Arm Israel offers a competitive benefits package in Israel.Accommodations at ArmAt 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 [email protected] . 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.Equal Opportunities at ArmArm 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.Hybrid Working at ArmArm’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. We empower groups/teams to determine their hybrid working pattern, with an expected minimum attendance in the office of 20% per month, depending on the work, level of experience and team’s needs. 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.