Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Join us to develop and apply cutting-edge formal verification strategies for memory storage designs!
- Company: ConSol Partners is a leading player in semiconductor storage systems, based in Oxfordshire.
- Benefits: Enjoy a dynamic work environment with opportunities for growth and collaboration.
- Why this job: Be part of a team that shapes the future of technology while working on innovative projects.
- Qualifications: Bachelor’s or Master’s in Engineering with 3+ years in formal verification required.
- Other info: Japanese language skills are a plus; experience with NVMe and PCIe protocols is essential.
The predicted salary is between 48000 - 72000 £ per year.
Job Description
ConSol Partners are urgently seeking a Formal Verification Engineer for a leading manufacturer of semiconductor storage systems based in Oxfordshire!
Key Responsibilities:
- Develop and apply formal verification strategies for NVMe and PCIe-based memory storage designs.
- Build formal testbenches using industry-standard tools (e.g., JasperGold, OneSpin, etc.).
- Collaborate with RTL design, simulation, and validation teams to define verification scope and close coverage.
- Analyze specifications and develop assertions and properties to validate design behavior.
- Identify corner cases and verify design correctness under all conditions using formal techniques.
- Document formal verification plans, methodologies, and results.
Required Qualifications:
- Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, or a related field.
- 3+ years of experience in formal verification of hardware systems.
- Strong hands-on experience with NVMe and PCIe protocols.
- Proficiency in SystemVerilog assertions (SVA), and experience with formal tools (e.g., Cadence JasperGold, Synopsys VC Formal, Siemens OneSpin).
- Solid understanding of digital design principles and RTL development.
- Ability to work independently and as part of a cross-functional team.
Preferred Qualifications:
- Japanese language proficiency (business level or higher) is a strong plus.
- Experience in verification of memory subsystems or storage controllers.
- Knowledge of other verification methodologies (UVM, constrained-random simulation, coverage-driven verification).
- Familiarity with scripting languages such as Python, Perl, or Tcl.
Formal Verification Engineer employer: ConSol Partners
Contact Detail:
ConSol Partners Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Formal Verification Engineer
✨Tip Number 1
Make sure to showcase your hands-on experience with NVMe and PCIe protocols in your conversations. Highlight specific projects where you applied formal verification strategies, as this will demonstrate your expertise directly related to the role.
✨Tip Number 2
Familiarize yourself with the industry-standard tools mentioned in the job description, like JasperGold and OneSpin. If possible, practice using these tools before your interview to discuss your experiences confidently.
✨Tip Number 3
Prepare to discuss your collaboration experiences with RTL design and validation teams. Being able to articulate how you’ve worked cross-functionally will show that you can thrive in a team-oriented environment.
✨Tip Number 4
If you have any knowledge of Japanese, even at a basic level, be sure to mention it. This could set you apart from other candidates and align with the preferred qualifications for the position.
We think you need these skills to ace Formal Verification Engineer
Some tips for your application 🫡
Understand the Role: Make sure to thoroughly read the job description for the Formal Verification Engineer position. Understand the key responsibilities and required qualifications, especially the importance of NVMe and PCIe protocols.
Highlight Relevant Experience: In your CV and cover letter, emphasize your 3+ years of experience in formal verification of hardware systems. Be specific about your hands-on experience with tools like JasperGold and OneSpin, as well as your proficiency in SystemVerilog assertions.
Showcase Collaboration Skills: Since the role involves collaboration with RTL design, simulation, and validation teams, include examples in your application that demonstrate your ability to work effectively in cross-functional teams.
Tailor Your Application: Customize your application materials to reflect the specific requirements of the job. If you have knowledge of Japanese or experience with memory subsystems, make sure to mention these as they are preferred qualifications.
How to prepare for a job interview at ConSol Partners
✨Showcase Your Technical Expertise
Be prepared to discuss your hands-on experience with NVMe and PCIe protocols in detail. Highlight specific projects where you applied formal verification strategies and the tools you used, such as JasperGold or OneSpin.
✨Demonstrate Problem-Solving Skills
Expect questions that assess your ability to identify corner cases and verify design correctness. Prepare examples of how you've tackled complex verification challenges in past roles.
✨Collaborate Effectively
Since collaboration with RTL design and validation teams is crucial, be ready to discuss how you’ve worked in cross-functional teams. Share experiences that illustrate your communication skills and teamwork.
✨Prepare for Behavioral Questions
In addition to technical questions, prepare for behavioral questions that explore your ability to work independently and manage projects. Use the STAR method (Situation, Task, Action, Result) to structure your responses.
