Senior Formal Verification Engineer

Senior Formal Verification Engineer
Permanent
Cambridge
Hybrid
Up to £90000 annual salary annual bonus

Join our tech-forward partnered company, where innovation knows no limits! They are pioneers in cutting-edge graphics and AI chip development, powering electronic devices worldwide. With a growing IP portfolio that now includes next-gen CPUs & GPUs. They're committed to delivering top-tier Compute solutions. Join their dynamic team and make a significant impact on our continuous innovation!

🎯 Responsibilities:

• Lead formal verification activities 🚀
• Design and implement advanced strategies ✨
• Collaborate with talented engineers 🤝
• Stay at the forefront of verification techniques 🔍
• Develop complex benches and methodologies 📚
• Track progress and report metrics 📊
• Mentor and inspire team members 👥

👉 Required Qualifications:

• Strong grasp of Formal Verification concepts, methodology, and tools (Such as JasperGold)💡
• Experience with complex micro-architectures 🔬
• Knowledge of advanced verification techniques (abstractions, invariants, SEC, etc.) 🚀
• Proficiency in ASIC design methodologies and tools 💻

👍 Preferred Qualifications:

• Understanding of GPU/CPU architecture 🖥️

Join the team and help them redefine what's possible! Be part of our journey to shape the future of technology. Apply now and embark on an exciting adventure of continuous advancement! 🚀

5V Tech are acting as an Employment Agency for the purposes of this job vacancy. We offer a reward scheme if you can recommend someone for this position, up to £250 for you and an additional £250 to a charity of your choice, 5V Tech are recognised talent solutions experts within IoT and Deep Tech working across Europe, the UK and North America.