OUR SECTORS
At European Tech Recruit, our sectors cover a wide range of industries within the field of technology.
tech jobs in the US?
Looking for
tech jobs in the US?
At European Recruitment, our sectors cover a wide range of industries within the field of technology
At European Recruitment, our sectors cover a wide
range of industries within the field of technology
At European Recruitment, our sectors cover a wide
range of industries within the field of technology
Client services
Learn about the range of client services we offer at European Tech Recruit, and browse through our case sudies.
tech jobs in the US?
Looking for
tech jobs in the US?
At European Recruitment, our sectors cover a wide range of industries within the field of technology
About us
Learn about European Tech Recruit's mission, values, our team, and our commitment to DE&I.
tech jobs in the US?
Looking for
tech jobs in the US?
At European Recruitment, our sectors cover a wide range of industries within the field of technology
Verification Engineer (Contract)
This position is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team!
 This is a fast-paced technical role employing the latest hardware design and verification methodologies to develop complex and highly configurable hardware IP that sit at the heart of our Systems!
Â
Responsibilities
- Reviewing and assessing proposed design changes from a verification complexity point of view
- Ownership of verification environment from investigation all the way to verification closure
- Develop, extend, maintain, and improve our SVA Formal testbenches
- Develop, extend, maintain and improve our suite of SVA Protocol Checkers for Formal and Simulation use
- There will be opportunities for improving our verification methodology and mentoring other members of the team
- Close collaboration with other engineering teams leading to high quality IP that works well in a complete system.
Â
Requirements
- Experience of architecting and implementing formal verification environments for complex IP/module level designs.
- Experience of property-based model-checking or Formal Property verification
- Practical experience of writing assertions using SystemVerilog Assertions (SVA) with an industry leading formal tool (e.g. Cadence, Mentor, Synopsys tools).
- Team leadership and mentoring experience
- Multiprocessing microarchitecture experience including knowledge of cache coherence and bus protocols (e.g. AMBA5 CHI, AMBA4 ACE or AXI)
Â
Apply Now
By applying to this role, you acknowledge that we may collect, store, and process your personal data on our systems.
For more information, please refer to our
Privacy Notice