Formal Verification Engineer

Axiomise; London; On-site; GBP 30,000 - 50,000; Full time

Job summary

An innovative company is seeking entry-level engineering talent to join their dynamic team in London. This role focuses on building cutting-edge formal verification testbench environments for complex systems-on-chip (SoCs) involving processors, GPUs, and AI/ML designs. You will receive top-notch training in formal verification while working on challenging problems that require creativity and problem-solving skills. The company fosters a collaborative culture where every individual is encouraged to contribute and innovate. If you are passionate about digital design and eager to make a significant impact in the semiconductor industry, this opportunity is perfect for you.

Benefits

Company Pension

Employee Assistance Programme

Eye Test Vouchers

Cycle to Work Scheme

Employee Birthday Treat

Employee Recognition Awards

Employee Coffee Mornings

Bonus System

Potential to file patents

Flexible Working Hours

Qualifications

• Passion for digital design, computer architecture, and problem-solving.
• 0-5 years of experience in formal verification and related fields.

Responsibilities

• Build formal verification testbench environments for SoCs.
• Develop verification plans and sign-off using Axiomise's methodology.

Skills

Verilog

VHDL

SVA

Tcl

Python

Unix/Linux scripting

Problem solving

Ownership

Autonomy

Team spirit

Education

Bachelor in EEE/ECE/CS/Maths

Masters in EEE/ECE/CS/Maths

Doctorate in EEE/ECE/CS/Maths

Tools

RISC-V

Arm

x86

MIPS

PSL

Theorem proving

Job description

About us: Axiomise is the world’s only formal verification (FV) training, consulting, services and custom solutions company. In its 8th year, we have delivered training to over a hundred engineers globally and provided our consulting & services to some of the best names in the semiconductor industry. We designed the industry’s first and only 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 we use them day and night to sign-off designs, so our customers do not leave bugs in silicon.

Snapshot of our culture: We do not have a hierarchical structure so you will learn fast. We focus on innovation and every individual is invited to build cool new solutions, publish papers, file patents, and work live with customers. We are an equal opportunity employer, having a representation of 11 nationalities and 41% female employees. 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. 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.

About the Job:

We are looking to hire top-notch engineering talent for the UK. Your typical day job would involve building cutting-edge formal verification testbench environments to find bugs and build proofs of bug absence in SoCs containing processors, video/GPUs, networking, AI/ML designs. Formal verification is the only way to generate proofs of correctness and build proofs of bug absence. We train engineers in the best-known semiconductor names, and you can assume that we will provide you with the best FV training to get you started. All we expect from you is a passion for digital design, computer architecture and problem-solving.

There is a substantial amount of 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.

Profile of a successful candidate:

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

Technical Skills:

• RISC-V/Arm/x86/MIPS
• SVA/PSL/Theorem proving
• Tcl/Python/Bash

Soft Skills:

• Problem solving
• Ownership
• Autonomy
• Team spirit

Experience: 0-5 years

Once hired by us, the company offers compensation based on prevailing market rates and a generous package of benefits, such as:

• Company Pension
• Employee Assistance Programme
• Eye Test Vouchers
• Cycle to Work Scheme
• Employee Birthday Treat
• Employee Recognition Awards
• Employee Coffee Mornings
• Bonus System
• Potential to file patents, publish papers at top conferences
• Social and Well-Being Events
• Flexible Working Hours

Hiring process: As a process, our recruitment follows 3 stages:

1. Math test
2. Technical interview
3. HR interview

Seniority level:

• Entry level

Employment type:

• Full-time

Job function:

• Quality Assurance
• Industries: Semiconductor Manufacturing