- Design and build cutting-edge testbenches for next-generation hardware IP.
- Optimize existing testbenches for peak performance, quality, and efficiency.
- Analyze proposed design changes through a verification lens, ensuring testability.
- Take complete ownership of verification environments, from initial setup to successful closure.
- Develop, enhance, and maintain robust SVA Formal testbenches.
- Craft and refine a comprehensive suite of SVA Protocol Checkers for both formal and simulation use
- Formal Verification Architect & Leader: Expertise in architecting, leading, and implementing formal verification environments for intricate IP and module-level designs.
- SVA Assertion Master: Proven experience in property-based model checking or Formal Property Verification using SystemVerilog Assertions (SVA) with industry-standard formal tools.
- Team Leadership & Mentorship: Proven ability to lead and mentor teams, fostering growth and collaboration.
- Multiprocessing Expertise: Deep understanding of multiprocessing microarchitectures, including cache coherence protocols (AMBA5 CHI, AMBA4 ACE) and bus protocols (AXI).
- Collaborative Communicator: Excellent communication skills, adept at working effectively within a team environment.
-
Formal Verification Engineer
1 day ago
Connected Consulting Limited Cambridge, United Kingdom**Role Overview** · Does working at the cutting edge of technology in a world-class team sounds like an exciting challenge? Do you want to push the boundaries the fast-moving world of CPU Verification, and Formal Methods to improve the ever-accelerating development cycle? · **Req ...
-
Platform Recruitment Cambridge, United KingdomSenior System Verilog Verification Engineer - Cambridge - Negotiable · I am currently recruiting for a senior system Verilog verification engineer for a client of mine that specialise in machine learning & AI inference solutions. You will architect their next generation of verifi ...
-
Verification Engineer
1 day ago
European Recruitment Cambridge, United KingdomJob Description · Verification Engineer (m/f/d) · Location: Cambridge · Our client verification engineers continuously push the boundaries of what is possible with simulation, formal, and emulation tools to produce industry-leading CPU IP. If working at the cutting edge of techno ...
-
Verification Engineer
1 day ago
European Recruitment Cambridgeshire, United KingdomJob Description · CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? · I'm currently on the lookout for multiple Verification Engineers to wo ...
-
Verification Engineer
2 days ago
European Recruitment Cambridge, United KingdomVerification Engineer (m/f/d) · Location: Cambridge · Our client verification engineers continuously push the boundaries of what is possible with simulation, formal, and emulation tools to produce industry-leading CPU IP. If working at the cutting edge of technology in a world-cl ...
-
Verification Engineer
1 hour ago
European Recruitment Cambridge, United KingdomVerification Engineer - Semiconductor / UVM / SystemVerilog · We are recruiting Verification Engineers of all seniorities to work for a global leader in the semiconductor industry specializing in the development of cutting-edge next-generation CPU and GPU processors. · This is a ...
-
Verification Engineer
3 days ago
European Recruitment Cambridge, United KingdomCPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company · Would you like to work at one of the most cutting edge leading semiconductor companies globally? · I'm currently on the lookout for multiple Verification Engineers to work within the CPU ...
-
Verification Engineer
4 days ago
AES Cambridge, United Kingdom Permanent, Full timePosition: Verification Engineer · Location: Cambridgeshire (Hybrid) · Salary: £40,000 to £85,000 (DOE) + Excellent Benefits / Prospects (including Relocation Assistance) · If there is something stopping you from achieving all you're capable of, you'll relish a role with a company ...
-
Verification Engineer
1 week ago
European Recruitment Cambridge, Cambridgeshire, United KingdomVerification Engineer | CPU | RTL / UVM / SystemVerilog · Location: Cambridge, UK · We are recruiting Verification Engineers of all seniorities to work for a world-leading Semiconductor Company on topics including the development of next-generation industry-leading CPU and GPU ...
-
Verification Engineer
1 week ago
European Recruitment Cambridge, Cambridgeshire, United KingdomVerification Engineer (m/f/d) · Location: Cambridge · Our client verification engineers continuously push the boundaries of what is possible with simulation, formal, and emulation tools to produce industry-leading CPU IP. If working at the cutting edge of technology in a world-c ...
-
Verification Engineer
5 days ago
LEX Diagnostics Cambridge, Cambridgeshire, United KingdomLEX is currently seeking a Verification and Validation Engineer who will actively engage in hands-on testing of the LEX diagnostic system. You will be joining the Verification and Validation Team and will be responsible for defining, designing, and executing verification and vali ...
-
Verification Engineer
15 hours ago
European Recruitment Cambridge, United KingdomJob Description · Verification Engineer - Semiconductor / UVM / SystemVerilog · We are recruiting Verification Engineers of all seniorities to work for a global leader in the semiconductor industry specializing in the development of cutting-edge next-generation CPU and GPU proces ...
-
Verification Engineer
2 days ago
European Recruitment Cambridge, United KingdomVerification Engineer | CPU | RTL / UVM / SystemVerilog · Location: Cambridge, UK · We are recruiting Verification Engineers of all seniorities to work for a world-leading Semiconductor Company on topics including the development of next-generation industry-leading CPU and GPU pr ...
-
Verification Engineer
3 days ago
European Recruitment Cambridge, Cambridgeshire, United KingdomJob Description Verification Engineer - Semiconductor / UVM / SystemVerilog · We are recruiting Verification Engineers of all seniorities to work for a global leader in the semiconductor industry specializing in the development of cutting-edge next-generation CPU and GPU proces ...
-
Verification Engineer
18 hours ago
European Recruitment Cambridge, Cambridgeshire, United KingdomWe are recruiting Verification Engineers of all seniorities to work for a world-leading Semiconductor Company on topics including the development of next-generation industry-leading CPU and GPU processors. · The company is able to support visas and relocation where applicable. T ...
-
Verification Engineer
2 days ago
European Recruitment Cambridge, Cambridgeshire, United KingdomJob Description · Verification Engineer | CPU | RTL / UVM / SystemVerilog · Location: Cambridge, UK · We are recruiting Verification Engineers of all seniorities to work for a world-leading Semiconductor Company on topics including the development of next-generation industry-l ...
-
Verification Engineer
3 days ago
European Recruitment Cambridge, Cambridgeshire, United KingdomJob Description Verification Engineer | CPU | RTL / UVM / SystemVerilog · Location: Cambridge, UK · We are recruiting Verification Engineers of all seniorities to work for a world-leading Semiconductor Company on topics including the development of next-generation industry-lea ...
-
Verification Engineer
5 days ago
AES Cambridge, Cambridgeshire, United KingdomPosition: Verification Engineer · Location: Cambridgeshire (Hybrid) · Salary: £65,000 to £85,000 (DOE) + Excellent Benefits / Prospects (including Relocation Assistance) · If there is something stopping you from achieving all you're capable of, you'll relish a role with a company ...
-
Verification Engineer
18 hours ago
European Recruitment Cambridge, Cambridgeshire, United KingdomVerification Engineer - Semiconductor / UVM / SystemVerilog · We are recruiting Verification Engineers of all seniorities to work for a global leader in the semiconductor industry specializing in the development of cutting-edge next-generation CPU and GPU processors. · This is ...
-
Verification Engineer
16 hours ago
European Recruitment Cambridge, Cambridgeshire, United KingdomVerification Engineer (m/f/d)Location: CambridgeOur client verification engineers continuously push the boundaries of what is possible with simulation, formal, and emulation tools to produce industry-leading CPU IP. If working at the cutting edge of technology in a world-class te ...
Formal Verification Engineer - Cambridge, United Kingdom - European Recruitment
Description
Formal Verification Engineer
We are working with the world's largest CPU development company who are looking to add an experienced Formal Verification Engineer for their systems IP team in Cambridge. This role will allow you to work on the latest hardware design and verification methodologies to develop complex and highly configurable hardware IP that sit at the heart of the company's Systems. This is a permanent role that can be worked on-site in Cambridge, Manchester or Sheffield.
Responsibilities for the role:
Requirements for this role:
Nice to have:
Keywords: Formal Verification / Formal Methods / SVA / IP / SystemVerilog / System Verilog / AMBA 5 / AXI / Formals / Protocol Checkers / Checkers / Hardware / Systems / Cambridge / UK
By applying to this role you understand that we may collect your personal data and store and process it on our systems. For more information please see our Privacy Notice (https://eu-)