Formal Verification Engineer [30,000 - 50,000 GBP]

/ Add Favorites / Print this page
NegotiableLocation
Position Type
Negotiable
22 Views

ID: 425524 Published: September 6, 2022 11:43 pm

 
Hemel Hempstead, Hertfordshire Axiomise Ltd

Salary 30,000 - 50,000 GBP per year


Requirements:

- Education
Bachelor/Masters/Doctorate in EEE/ECE/CS/Maths

Essential Skills
Have a can-do attitude, can show self-learning attributes
Individual contributor & excellent team player
Strong reasoning skills
Excellent attention to detail
Excellent communication details in English



Responsibilities:

- You will be required to carry out hands-on work on formal verification of processors, GPU blocks, networking designs or AI/ML. The work will include building strategy, verification plans, testbenches and sign-off using the Axiomise six-dimensional coverage methodology. You are expected to be confident in Verilog/VHDL as well as fluent in SVA and Tcl/Perl/Python and Unix/Linux scripting.



Technologies:

- Verilog
- Python
- Linux


More:

We are looking for bright spirited individuals with a positive can-do attitude. We often work on very challenging problems that are not always solvable within a 9-to-5 framework, so we expect our team to put in extra hours if needed. The outcome will be very rewarding, we can promise that. We do not have a hierarchical structure so you will learn fast. You will get to build cool new solutions, publish papers, file patents, and work live with customers. We are an equal opportunity employer. Everyone is welcome.
Remember you will be working in a small organization that is growing rapidly with lots of opportunities for you to grow and learn. We welcome our engineering talent to also get involved in other areas of our business and we take pride that we are agile and can respond swiftly to our customer and employee needs.

.PDF Files Only.