ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.
Codasip
Cambridge
Job DescriptionDigital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold- International teams - Start-up cultureLocations: France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (
Job Source: CodasipEuropean Recruitment
Cambridge, England, United Kingdom
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 t
Job Source: European RecruitmentEuropean Recruitment
Cambridge
Job Description Formal Verification Engineer We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is ab
Job Source: European RecruitmentEuropean Recruitment
Cambridge, England, United Kingdom
Formal Verification Engineer We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to support visas
Job Source: European RecruitmentEuropean Recruitment
Cambridge
Job Description CPU Verification Engineer European Recruitment are working closely with a multinational semiconductor company, based in Cambridge, who are looking for an experienced CPU Verification Engineer to join their team. Responsibilities as CPU Verification Engineer : Ownership of a specific area of a CPU project ranging from unit-l
Job Source: European RecruitmentEuropean Recruitment
Cambridge, England, United Kingdom
CPU Verification Engineer European Recruitment are working closely with a multinational semiconductor company, based in Cambridge, who are looking for an experienced CPU Verification Engineer to join their team. Responsibilities as CPU Verification Engineer : Ownership of a specific area of a CPU project ranging from unit-level testbench devel
Job Source: European RecruitmentIC Resources
Cambridge
Job Description Cambridge based Start-up looking for CPU Verification Engineer. CPU Verification – ML/AI This is an exciting join an extremely well-funded machine learning start-up based in Cambridge as a CPU Verification Engineer. Having opened doors to new offices in North Cambridge last year, my client is creating brand-new AI accele
Job Source: IC ResourcesIC Resources
Cambridge, England, United Kingdom
Cambridge based Start-up looking for CPU Verification Engineer. CPU Verification – ML/AI This is an exciting join an extremely well-funded machine learning start-up based in Cambridge as a CPU Verification Engineer. Having opened doors to new offices in North Cambridge last year, my client is creating brand-new AI acceleration hardware and softwa
Job Source: IC ResourcesCambridge, England, United Kingdom
Digital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold- International teams - Start-up culture
Locations: France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece (Heraklion/Thessaloniki/Athens)
Department: Verification
Employment Type: Full-Time
Experience: Mid-Senior Level
Daily collaboration with: Laurent Arditi (Formal Verification Lead)
Codasip is scaling up, so we would like to announce a Formal Verification role with the main goal to raise the usage of formal techniques applied to Codasip processors, including Low-Power embedded and High-Performance RISC-V application processors, including multiple-issue and/or multi-core architectures as well as the high-end ones.
Our Verification and IP Design Engineers are located in our Design Centers in Brno/Prague (Czech Republic), Villeneuve-Loubet (France), Munich (Germany), Bristol/Cambridge (UK), Greece as well as the coworking space in Barcelona (Spain).
YOUR CORE RESPONSIBILITIES WILL BE:
Enable formal verification users to apply standard and advanced methodologies and techniques
Contribute to the development of tools
Focus on the verification of RISC-V processors and their components to raise the quality of our deliverables
Review and support FV test plans
YOU NEED TO POSSESS THE FOLLOWING KNOWLEDGE AND SKILLS:
Passion for electronics, embedded SW, or programming and algorithms
Model checking and/or theorem proving
Experience with formal verification techniques (abstractions, constraints, coverage, equivalence checking, etc.)
Knowledge of HDL languages (Verilog, SystemVerilog, VHDL) and property languages (SVA, PSL,...)
Knowledge of versioning tools (Git -preferred)
Practical usage of Linux
Proficiency in scripting languages, e.g. Python
Communicative English
NICE-TO-HAVES:
Desire to play a role in shaping the RISC-V world of tomorrow
Interest in complex algorithms
Experience in FV tools (QuestaFormal, OneSpin, Jasper, VC Formal)
WHAT WE CAN OFFER YOU:
Opportunity to work with RISC-V, computer architecture of the future
Working on innovative IoT processors and unique processor optimization technology
Participation in the whole development process from analysis to deployment
Opportunity to collaborate with experienced developers located in France, the UK, Germany, Spain, Greece, Poland, and the Czech Republic
Receptivity to your own innovations and ideas
Freedom and trust from Codasip management
ABOUT CODASIP:
We believe Codasip is the most innovative processor solutions company. We take pride in designing and developing cutting-edge, high-performance, and energy-efficient CPU cores from scratch, and our own automated proprietary tools to fully customize them. We give our customers a unique competitive advantage by empowering their system-on-chip developers to build the most innovative products.
Our processor cores are based on the RISC-V open architecture. The potential for customizing RISC-V is unlocked with the Codasip Custom Compute approach: our unique architecture description language, CodAL, and the powerful automated processor design tool, Codasip Studio. These are at the heart of our unique and groundbreaking RISC-V processor solutions.
Founded in 2014, we've grown into a thriving and talented global community. Our IP engineering teams work from offices spread across Europe, including our first and largest design center in the beautiful city of Brno, Czechia. Across Europe, we already have design teams in Cambridge, Bristol, Munich, Villeneuve-Loubet, Barcelona, Thessaloniki, Heraklion and Athens. The Codasip team is also based close to its customers, which means we have dedicated sales and application engineers in the USA, Japan, Korea, and China.
Codasip is a private company backed by well-funded EU grants. Our products are already making a real impact, with billions of devices already in the market powered by our processor IP and tools.
Want to be an architect of ambition? Join Codasip!
At Codasip we are committed to fostering a creative and collaborative work environment. Codasippers have the freedom to explore original ideas and experiment with new techniques. We believe in the benefits of cross-departmental collaboration and encourage sharing to build awareness throughout the teams. This enables you to add value through variety in your work.
When you join Codasip, you become part of a motivated team of self-starters where your ideas are appreciated and your voice is heard. We strive to create an environment where your ambition can flourish and your career can reach new heights. So, come and join our team of architects of ambition. We can't wait to see what you'll achieve at Codasip.
SOME USEFUL LINKS ON CODASIP:
https://youtu.be/LebgQQIiuPk?si=5Kzg3d6_4hoEVjW7
https://www.electronicdesign.com/technologies/embedded/article/21284056/codasip-whats-the-difference-between-conventional-memory-protection-and-cheri
https://semiwiki.com/podcast/podcast-ep60-knowing-your-bugs-can-make-a-big-difference-to-elevate-the-quality-of-verification/
We're passionate about RISC-V processors. If you are, apply now :)
CPU Formal Verification Engineer jobs in Cambridge, England, United Kingdom
ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.