Formal Verification Engineer

0-5 years

Email your resume/CV to careers@axiomise.com

Axiomise is the world’s only formal verification training, consulting, services and custom solutions company. In its sixth year, we have delivered training to over a hundred engineers globally and provided consulting & services to some of the best names in the semiconductor industry. We designed the industry’s first vendor-neutral, fully automated RISC-V formal verification app that has been used to find bugs in pre-existing processors and exhaustively prove bug absence. We love formal methods and use them day and night to sign off designs so our customers do not leave bugs in the silicon. We are headquartered in the UK in London.

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.

Students from EEE/ECE and CS would fit well for our roles, but we also welcome students from Mathematics to apply if they are good at problem-solving.

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.

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

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

Linux/Unix experience

Verilog/VHDL design experience

Open-source projects in design/verification

RISC-V/Arm/x86/MIPS

SVA/PSL/Theorem proving

Tcl/Python/Bash

Competitive Salary

Company Pension

Private Health Insurance

Employee Assistance Program

On-Site Gym

Bright Exchange Discounts

Office Shuttle Bus Service

Employee Recognition Awards

Potential to file patents & publish papers at top conferences

Well-Being Days & Benefits

Flexible Working hours