CPU Formal Verification Engineer

1 week ago

Cambridge, Cambridgeshire, United Kingdom Codasip Full time
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 : / / / LebgQQIiuPk?si 5Kzg3d6 4hoEVjW7
  • https : / / / technologies / embedded / article / / codasip-whats-the-difference-between-conventional-memory-protection-and-cheri
  • https : / / / 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 : )

APPLY HERE

  • CPU Formal Verification Engineer

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Codasip Full time

    Digital 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 (Spain), Greece...

  • Senior CPU Verification Engineer

    1 month ago

    Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    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 software for edge...

  • Senior CPU Verification Engineer

    3 weeks ago

    Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    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 software for edge...

  • Formal Verification Engineer

    1 month ago

    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    Formal Verification EngineerWe're partnering with the biggest CPU development company globally, on the lookout for a skilled Formal Verification Engineer to join their systems IP team in Cambridge. This opportunity lets you dive into the latest hardware design and verification methods, working on intricate hardware IP pivotal to the company's Systems. This...

  • Formal Verification Engineer

    3 weeks ago

    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    Formal Verification EngineerWe're partnering with the biggest CPU development company globally, on the lookout for a skilled Formal Verification Engineer to join their systems IP team in Cambridge. This opportunity lets you dive into the latest hardware design and verification methods, working on intricate hardware IP pivotal to the company's Systems. This...

  • CPU Verification Engineer

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    CPU Verification EngineerEuropean Recruitment are working closely with a multinational semiconductor company, based in Cambridge, who are looking for an experiencedCPU Verification Engineerto join their team.Responsibilities asCPU Verification Engineer :nOwnership of a specific area of a CPU project ranging from unit-level testbench development through to...

  • Cpu Verification Lead

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Imagination Technologies Full time

    Job no: 502251Work type: Experienced ProfessionalLocation: Cambridge UK, Manchester UK, Kings Langley UK, Bristol UKCategories:CPUThe role:The role is for our fast-growingCPU Hardware team. We are expanding ourCPU IP development from internal use to support an extensive portfolio offering highly competitive RISC-VCPUs, either as standalone IPs or as part of...

  • SOC CPU Verification Engineer

    2 months ago

    Cambridge, Cambridgeshire, United Kingdom microTECH Global Ltd Full time

    Job DescriptionJob title: SOC CPU Verification EngineerLocation: UK/RemoteContract: ContractStart:ASAPDuration: 6 monthsAbout the clientAs pioneers of innovative neural computing, my client is transforming the future of computing by bringing the enormous potential of neural computing to the highest performance in most data-intensive applications. They are...

  • SOC CPU Verification Engineer

    3 weeks ago

    Cambridge, Cambridgeshire, United Kingdom microTECH Global Ltd Full time

    Job DescriptionJob title: SOC CPU Verification EngineerLocation: UK/RemoteContract: ContractStart:ASAPDuration: 6 monthsAbout the clientAs pioneers of innovative neural computing, my client is transforming the future of computing by bringing the enormous potential of neural computing to the highest performance in most data-intensive applications. They are...

  • Senior Digital Verification Engineer

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Codasip Full time

    Job Description Digital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold- International teams - Start-up culture France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece...

  • Senior Engineer, Design Verification Engineering

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    This is an exciting opportunity to join an extremely well-funded machine learning start-up based in Cambridge as a CPU Verification Engineer. My client, who has recently expanded to new offices in North Cambridge, is dedicated to creating innovative AI acceleration hardware and software tailored for edge devices. In line with their growth, they are now...

  • Senior Engineer, Design Verification Engineering

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom IC Resources Full time

    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 software for edge devices . To continue their ongoing expansion, they now seek a Senior CPU Verification...

  • Senior Verification Engineer

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom ARM Full time

    Job Overview:Arm has been a pioneering provider for CPU, GPU & Media system IP over a long period of time and is considered a market leader. The site in Cambridge is as the heart of this development with a culture of teamwork and innovation. Arm is the best company in global technology and encourages the hardest working people from around the world The...

  • Design Verification Engineer

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    We are looking for a CPU Verification Engineer at an AI Start-up in Cambridge, UKAbout the Company:The company is a well-funded Start-up focused on AI Accelerators and RISC V technologies that is seeking to onboard a Senior Verification Engineer in Cambridge on a hybrid basis (2 days per week on site). The team comprises top talent, with professionals...

  • Design Verification Engineer

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    CPU Verification Engineer | RISC-V | AI Start-up | Cambridge, UK The company is a well-funded Start-up focused on AI Accelerators and RISC V technologies that is looking to bring on a Senior Verification Engineer onto their team in Cambridge on a hybrid basis (2 days per week on site). They are an extremely high calibre team, and have historically hired...

  • Cpu Software Engineering Intern

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Arm Full time

    Show moreJoin us on our Global Internship Program and grow within one of the most historical UK-forged technology companiesReady to dive into real-world projects, expand your industry connections, and build skills that will carry you onto the next stage of your career?About Central Processing Unit Software Group (CPU) Developing CPU Subsystems used for...

  • Senior Engineer, Design Verification Engineering

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    CPU Verification Engineer | RISC-V | AI Start-up | Cambridge, UK The company is a well-funded Start-up focused on AI Accelerators and RISC V technologies that is looking to bring on a Senior Verification Engineer onto their team in Cambridge on a hybrid basis (2 days per week on site). Proficiency in computer/SoC architecture and performance trade-offs By...

  • Verification Engineer

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    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 and relocation where applicable. This is...

  • Design Verification Manager

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Codasip Full time

    Welcome to CodasipnOur twistsnWe 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...

  • Design Verification Manager

    1 week ago

    Cambridge, Cambridgeshire, United Kingdom Codasip Full time

    Welcome to CodasipMake sure to apply with all the requested information, as laid out in the job overview below.Our twistsWe 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...