Naukrijobs UK
Register
London Jobs
Manchester Jobs
Liverpool Jobs
Nottingham Jobs
Birmingham Jobs
Cambridge Jobs
Glasgow Jobs
Bristol Jobs
Wales Jobs
Oil & Gas Jobs
Banking Jobs
Construction Jobs
Top Management Jobs
IT - Software Jobs
Medical Healthcare Jobs
Purchase / Logistics Jobs
Sales
Ajax Jobs
Designing Jobs
ASP .NET Jobs
Java Jobs
MySQL Jobs
Sap hr Jobs
Software Testing Jobs
Html Jobs
IT Jobs
Logistics Jobs
Customer Service Jobs
Airport Jobs
Banking Jobs
Driver Jobs
Part Time Jobs
Civil Engineering Jobs
Accountant Jobs
Safety Officer Jobs
Nursing Jobs
Civil Engineering Jobs
Hospitality Jobs
Part Time Jobs
Security Jobs
Finance Jobs
Marketing Jobs
Shipping Jobs
Real Estate Jobs
Telecom Jobs

Formal Verification Engineer

ARM
Job LocationCambridge
EducationNot Mentioned
SalaryCompetitive salary
IndustryNot Mentioned
Functional AreaNot Mentioned
Job TypePermanent , full-time

Job Description

In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of todays ever-accelerating development cycle. Arm’s CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cuttingedge 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 technologythat will fuel billions of devices world-wide!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. The role entails investigating, creating, developing and deploying new Formal Verification techniqueson 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
  • Familiarity with formal methods (e.g. SVA, PSL, model checking, theorem proving)
  • An engineering mentality and passion for digital design
  • Understanding of fundamental verification concepts
  • A keen interest in processors and digital systems
  • Understanding of computer architecture & micro-architectural concepts
  • Knowledge of hardware description and verification languages, such as VHDL, Verilog/SystemVerilog, PSL
  • Strong reasoning skills
  • Excellent attention to detail
  • Ability to understand and map abstract formal concepts into designs
  • Creativity and ability to communicate ideas effectively
  • Good inter-personal and teamwork skills
In order to be considered, you will need at least a Bachelor’s degree in Electronic Engineering, Computer Engineering, Computer Science or another relevant subject. Other STEM degree types may also be considered.Nice to have skills and experience:
  • Familiarity with industry-standard formal verification tools
  • 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
  • Proficiency in shell programming/scripting
  • Familiarity with Arm architecture and instruction set
  • Familiarity with model-checking techniques
  • Exposure to invariants and abstractions
  • Understanding of assume-guarantee reasoning
#LI-JC1

APPLY NOW

Formal Verification Engineer Related Jobs

© 2019 Naukrijobs All Rights Reserved