Formal Verification Engineer (FR, DE, UK, CZ, ES)
Back to Careers Listings
Digital Design Verification – RISC-V ISA – Processor Microarchitecture – CPU – Formal Verifiction – Model checking – Property checking – SVA – OneSpin – International teams – Start-up culture
Locations: France (Villeneuve-Loubet), Germany (Munich), Bristol/Cambridge (the UK, remote), Czech Republic (Brno, Prague, remote), Barcelona (Spain)
Employment Type: Full-Time
Experience: Mid-Senior Level
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 (Czech Republic), Villeneuve-Loubet (France), Munich (Germany), Bristol/Cambridge (UK) as well as the coworking space in Barcelona (Spain). Besides, you will be able to act in concert with our Director of Verification – Philippe Luc from the French Office.
YOUR CORE RESPONSIBILITIES WILL BE:
YOU NEED TO POSSESS THE FOLLOWING KNOWLEDGE AND SKILLS:
WHAT WE CAN OFFER YOU:
WHO IS CODASIP:
Codasip was founded on a simple belief – we could bring together the brilliance of microprocessor architects and software engineers and capture it in tools that make the design simpler, faster, and less expensive. The company was created in 2014 with the mission of democratizing processor design by utilizing our own CodAL architecture description language.
Nowadays Codasip is a leading supplier of processing solutions for IC designers, offering products based on open standards such as the RISC-V ISA, LLVM, and UVM. We are a founding member of RISC-V International (formerly RISC-V Foundation) and we were the first company to offer a commercial RISC-V IP core in 2015. With more than 130 employees and offices in Europe, the US and China, we are constantly open for talents who want to work on cutting-edge processor technologies, believe in the great potential of RISC-V.
WHAT IS OUR COMPANY CULTURE:
We celebrate a highly professional and open environment, with a well-balanced mix of young and experienced engineers. We employ agile methodologies to bring the speed and ease of software development to hardware as well as to guarantee the high quality of our products. A perfect platform for growth, that will enable you to learn from the best and at the same time drive your own ideas – that is the Codasip DNA.
SOME USEFUL LINKS ON CODASIP:
We’re passionate about RISC-V processors. If you are, apply now 🙂