Formal Verification Engineer

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

**_ Locations: France (Villeneuve-Loubet), Germany (Munich), UK (Bristol/Cambridge), Czech Republic (Brno, Prague), Spain (Barcelona), Greece (Heraklion/Thessaloniki)_**

**_ Department: Formal Verification _**

**_Employment Type: Full-Time_**

**_ Experience: Mid-Senior Level _**

Our Verification and IP Design Engineers are located in our Design Centers in Brno (Czech Republic), Villeneuve-Loubet (France), Munich (Germany), Bristol/Cambridge (UK), Heraklion/Thessaloniki (Greece) as well as the coworking space in Barcelona (Spain). Besides, you will be able to act in concert with our Formal Verification Lead - Laurent Arditi from the French Office.

YOUR CORE RESPONSIBILITIES WILL BE:

- Verify modern **RISC-V processors** and their components to raise the quality of our deliverables
- Develop a comprehensive **formal verification test plan**:

- Hunt for bugs by creating **properties (SVA)** according to the specifications
- Improve the set of assumptions to help formal proofs

**Requirements**:
YOU NEED TO POSSESS THE FOLLOWING KNOWLEDGE AND SKILLS:

- Passion for electronics or embedded SW
- Interest in learning and becoming an expert in **CPU architecture**:

- **Model-checking** know-how (SVA)
- Experience with formal verification techniques and hardware verification (VHDL/Verilog simulation, or UVM)
- 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
- Knowledge of HDL languages (Verilog, VHDL, or System Verilog)
- DIY activities related to open source software, home automation, robotics, or similar university degree in a related field (Microelectronics, HW design, Embedded SW, Robotics, computer architecture or similar)

**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, Poland, and the Czech Republic
- Receptivity to your own innovations and ideas
- Freedom and trust from Codasip management

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: