From Puzzle to Proof: Solve a Chip Design Challenge and Meet the Engineers Who Do It for Real
03-Nov-2026 - 4pm - 6pm
We're looking for enthusiastic candidates with backgrounds in computer science, mathematics, physics, or electronic engineering who are excited about logic, problem-solving, and hardware design. If you want to tackle the most complex verification challenges and help shape the future of the semiconductor industry, we'd love to talk to you.
No hardware experience needed. Bring your maths, logic or coding skills. Explore a career path most graduates have never heard of. Whatever you study, if you enjoy puzzles, join Axiomise engineers for a playful pen-and-paper challenge. Together, you'll turn it into simple logic and see how smart tools, repeated patterns and rules that always hold turn guessing into proof. Can you show a design works without testing every possibility? Come and find out.
Axiomise is a leading provider of formal verification training, consulting, and services, working to transform how digital chip designs are verified. We are at the forefront of applying formal verification - a powerful, mathematically rigorous method for proving the correctness of hardware designs to help engineers build safe, secure, and reliable systems. Formal verification involves using logic and mathematical proof techniques to verify that a hardware design meets its specification in all possible scenarios, not just the ones covered by traditional simulation. This eliminates entire classes of bugs and can drastically reduce the time and cost of bringing complex silicon chips to market.
Speaker bio(s):
Name: Dr. Ashish Darbari
Designation: Founder & CEO
Short bio: As CEO of Axiomise, Dr. Ashish Darbari co-founded and led Axiomise in successfully deploying the unique combination of training, consulting, services, custom solutions, and verification IP, serving 25+ customers over 9+ years. He has developed a training portfolio that has upskilled over 1,600 engineers worldwide at leading Fortune 500 corporations. He holds 70 formal verification patents. He also holds a doctorate in formal verification from the University of Oxford and is a Fellow of the British Computer Society, and IETE and a senior member of IEEE and ACM.
Name: Dr. Vidya Chandran Darbari
Designation: Co-Founder & CSO
Short bio: Dr Vidya Chandran Darbari is co-founder and Chief of Strategy and Operations at Axiomise and has helped shape its growth into a global leader in formal verification. She has a Cambridge PhD and a background spanning medicine, mathematics, life sciences and biomedical engineering. She is also an Honorary Senior Lecturer at Queen Mary University of London, has published in Nature and Science, and has won several early-career awards.
Name: Nicky Khodadad
Designation: Senior Solutions Engineer
Short bio: Nicky Khodadad is a Senior Solutions Engineer at Axiomise. Nicky joined the company as a Formal Verification Engineer in 2023. Nicky holds a BSc in Condensed Matter and Materials Physics from K. N. Toosi University of Technology and an MSc in Artificial Intelligence from the University of Essex. Nicky has co-authored technical articles on floating-point and datapath verification for EDN and Semiconductor Engineering. Nicky also helped build NAVIX, the Axiomise formal Sudoku solver that students take on at careers fairs, and was named Axiomise Employee of the Quarter.
Sign up link https://oxford.targetconnect.net/leap/event.html?id=24757&service=Careers+Service