1 day ago Be among the first 25 applicants
Direct message the job poster from Axiomise
People Management, Operations & Talent Attraction for Tech | PMP & PRINCE2
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
* Seniority level
Entry level
Employment type
* Employment type
Full-time
Job function
* Job function
Quality Assurance
* Industries
Semiconductor Manufacturing
Referrals increase your chances of interviewing at Axiomise by 2x
Get notified about new Validation Engineer jobs in Hemel Hempstead, England, United Kingdom.
Slough, England, United Kingdom 3 weeks ago
Luton, England, United Kingdom 6 days ago
High Wycombe, England, United Kingdom £40,000.00-£55,500.00 2 weeks ago
Hounslow, England, United Kingdom 2 weeks ago
Luton, England, United Kingdom 2 weeks ago
High Wycombe, England, United Kingdom 1 week ago
Henley-On-Thames, England, United Kingdom 1 week ago
Leighton Buzzard, England, United Kingdom 1 month ago
Slough, England, United Kingdom 1 week ago
London, England, United Kingdom 16 hours ago
Luton, England, United Kingdom 3 weeks ago
Uxbridge, England, United Kingdom 1 week ago
Aylesbury, England, United Kingdom 2 months ago
Greater London, England, United Kingdom 1 month ago
Luton, England, United Kingdom 2 weeks ago
Partner Validation and Services Specialist
London, England, United Kingdom 2 weeks ago
Greenford, England, United Kingdom 2 weeks ago
Slough, England, United Kingdom 1 day ago
Milton Keynes, England, United Kingdom 4 weeks ago
UK / Principal Applications / Validation Engineer
London, England, United Kingdom 1 week ago
London, England, United Kingdom 1 day ago
London, England, United Kingdom 5 days ago
Luton, England, United Kingdom 1 week ago
London, England, United Kingdom 2 days ago
London, England, United Kingdom 1 week ago
London, England, United Kingdom 1 week ago
London, England, United Kingdom 4 days ago
Computer System Validation (CSV) Specialist
Pitstone, England, United Kingdom 1 month ago
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr