Senior Formal Verification Engineer Job in Bengaluru at Arm Technologies

ARM Technologies is hiring for the role of Senior Formal Verification Engineer!

Responsibilities of the Candidate:

• You will apply Formal Methods to CPU Units developed in Bangalore/Other design centres, with the opportunity to collaborate with our global Formal Teams across ARM.
• 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 and will deliver milestones for the CPU IPs across Arm.

Requirements:

• 5+ years of experience in formal verification of digital hardware design
• Familiarity with formal methods (e.g. SVA, PSL, model checking, theorem proving)!
• Awareness of Formal practices/apps/tools for functionally safe IPs suited for Automotive products is a plus.
• An engineering mindset and passion for digital design
• Familiarity with industry-standard formal verification tools
• Knowledge of hardware description and verification languages, such as VHDL, Verilog/ SystemVerilog, PSL
• A keen interest in processors and digital systems
• Strong reasoning skills and excellent attention to detail
• Ability to understand and map abstract formal concepts onto designs
• Creativity and ability to communicate ideas effectively
• Good interpersonal and teamwork skills!
• Nice to have: 
  • Understanding of the end-to-end verification processes, from test plan creation through to verification closure
  • Experience in scripting languages, e.g. Python/Perl/TCL/shell programming
  • Familiarity with model-checking techniques
  • Exposure to invariants and abstractions
  • Understanding of assume-guarantee reasoning