Formal Verification Engineer

TL;DR Digital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold- International teams - Start-up culture

The Greek Design Center

Codasip is expanding in Greece! We are looking for a Formal Verification Engineer to continue raising 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. The role is based in Thessaloniki and will be reporting to Alexandra Parasidi (Team Leader).

This is an exciting opportunity to join a fast-growing company with a unique position in the industry. If you are proactive, you are not afraid to voice your own opinion, and are looking for a job where you can be creative, we think you will work well with us.

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

Requirements

YOU NEED TO POSSESS THE FOLLOWING KNOWLEDGE AND SKILLS:

• Passion for electronics, embedded SW, or programming and algorithms
• Model checking and/or theorem proving
• Over 5 years of recent, relevant 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)

Benefits

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 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:

Codasip’s approach to custom compute

What’s the Difference Between Conventional Memory Protection and CHERI?

Podcast EP60: Knowing your bugs can make a big difference to elevate the quality of verification - Semiwiki

STILL UNDECIDED? HERE ARE ADDITIONAL REASONS TO APPLY:

• Codasip’s Greek design center is home to some of the best CPU design and verification engineers in Greece.
• These highly diverse and knowledgeable engineers are dedicated to the design/architecture, physical design and verification domain (including formal), deploying experience gained internationally and across larger tech companies back at home in Greece, to ensure the high quality of Codasip’s CPUs.
• With offices in Athens, Thessaloniki and Heraklion, you will benefit from close collaboration with engineers from other design centers across Europe (e.g. UK, France, Germany, Spain, Czech Republic), so no timezone challenges.
• There has also never been a better time to relocate to Greece! You can benefit from 50% tax reduction for the next 7 years and relocation support from us to facilitate a smooth transition.