CPU Formal Verification Engineer

2 weeks ago


Newcastle upon Tyne, United Kingdom Codasip Full time

Job Title: Formal Verification Engineer

Department: Verification

Employment Type: Full-Time

Experience: Mid-Senior Level

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

Your Core Responsibilities Will Be:

  1. Enable formal verification users to apply standard and advanced methodologies and techniques
  2. Contribute to the development of tools
  3. Focus on the verification of RISC-V processors and their components to raise the quality of our deliverables
  4. 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, the 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:

We're passionate about RISC-V processors. If you are, apply now :)

#J-18808-Ljbffr
  • Verification Engineer

    4 weeks ago


    Newcastle upon Tyne, United Kingdom European Recruitment Full time

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company Would you like to work at one of the most cutting edge leading semiconductor companies globally? I'm currently on the lookout for multiple Verification Engineers to work within the CPU team at various seniority levels, depending on experience. In this role you...


  • Newcastle upon Tyne, United Kingdom European Recruitment Full time

    CPU Verification Engineer - Cutting Edge - Global Leader - Reputable Semiconductor Company Would you like to work at one of the most cutting edge leading semiconductor companies globally? I'm currently on the lookout for multiple Verification Engineers to work within the CPU team at various seniority levels, depending on experience. In this role you will...


  • Newcastle upon Tyne, United Kingdom Codasip Full time

    Employment Type: Full-Time Experience: Mid-Senior Level France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece (Heraklion/Thessaloniki/Athens) Focus on the verification of RISC-V processors and their components to raise the quality of our deliverables # Passion for...


  • Newcastle upon Tyne, United Kingdom Ansys Full time

    Summary / Role Purpose The R&D Verification Engineer II is responsible for the automated testing activities of Motor-CAD, a Multiphysics simulation tool utilizing complex FEA and analytical methods. In this role, the R&D Verification Engineer II uses advanced engineering and software skills to help the team tackle complex issues and ensure that product...

  • Network Engineer Iv

    1 month ago


    Newcastle Upon Tyne, United Kingdom Global Technology Solutions Ltd Full time

    Role: Network Engineer IV Location: working from home, based near Newcastle **Salary**: £45,000 - £50,000 dependant on experience Additional requirements: SC clearance - advantage if already held but must be eligible to obtain Looking for an experienced Network Engineer who is familiar with working in a fast-paced, result driven role to support one of...

  • Network Engineer Iii

    1 month ago


    Newcastle Upon Tyne, United Kingdom Global Technology Solutions Ltd Full time

    Role: network engineer Location: Working from home but located near Newcastle **Salary**: £40,000 - £45,000 dependant on experience Additional requirements: SC clearance - advantage if already held but must be eligible to obtain Key responsibilities include: - Delivering network engineering projects and handling advanced support issues - Installing,...


  • Newcastle upon Tyne, Newcastle upon Tyne, United Kingdom Newcastle University Full time

    Award summary100% Home-fees covered, and minimum tax-free annual living allowance of £19, /25 UKRI rate)OverviewInterested in understanding the interplay between computer science and physics in the field of quantum technologies? Working in collaboration with various universities (Glasgow, Heriot-Watt, Edinburgh, King's College London, Middlesex) across UK,...

  • Senior Test Engineer

    3 weeks ago


    Newcastle upon Tyne, United Kingdom EVEREC Full time

    Senior Test Engineer - EV - Norfolk One of my key clients working in the EV sector based in Norfolk is recruiting for a Senior Test Engineer. The Senior Test Engineer is an integral member of the Test and Simulation team, responsible for delivering testing systems for verifying and validation tasks. The Senior Test Engineer is responsible for dynamometer...


  • Stratford-upon-Avon, Warwickshire, United Kingdom EVera Recruitment Full time

    Battery Simulation and Verification Engineer A world-renowned luxury car manufacturer is looking to grow the team at their state-of-the-art production facility. They are actively looking for a Battery Simulation and Verification Engineer. The successful candidate will be responsible for simulation, integration, and validation of the HV Battery systems at...


  • Newcastle upon Tyne, United Kingdom WR HVAC Full time €65,000 - €75,000

    HVAC Commissioning Manager Would you like to work for a global leader in sustainable technology? My client is looking for a HVAC Commissioning Manager to work on a static site in the North East. This is suitable for Commissioning Managers and Senior Commissioning Engineers with experience of commissioning HVAC equipment in critical cooling environments ...


  • Newcastle Upon Tyne, United Kingdom Real Staffing Full time

    Our client is a progressive MedTech company passionate empowering the world to control disease and reduce suffering. They are looking to solve real-world problems by creating molecular diagnostic solutions for the point of need, for anyone, anywhere. The Senior Mechanical Engineer will develop engineering solutions for research and commercial development...


  • Newcastle upon Tyne, United Kingdom Technical Futures Ltd Full time

    A Senior level Transducer/Acoustics Engineer with strong industrial experience relating to ultrasonic transducer technology will conduct simulation and experimental verification testing of the electrical, acoustic and mechanical behaviors of ultrasonic sensor technology. With a strong academic background to include a minimum of a MSc in Acoustics,...


  • Newcastle upon Tyne, United Kingdom IC Resources Full time

    C++ Software EngineerCompetitive salaries & hybrid working - NewcastleMy client is a Fortune 100 organisation and a global leader in EDA, building the next generation of EDA tools that enable IC designers to layout the latest silicon chips. They are looking for a C++ Software Engineer to develop and maintain the C++ code base and work on their build and...


  • Newcastle upon Tyne, United Kingdom Leonardo Full time

    Job Description: We are looking for a wide range of Firmware Engineers at various levels to join Leonardo in Newcastle. Leonardo are a world-class defence Technology Company. We develop cutting edge Radars for the Eurofighter Typhoon and SAAB Gripen fighter jets, as well as Maritime and Airborne surveillance systems. We are also investors in innovation,...


  • Newcastle upon Tyne, United Kingdom Brightsmith | B Corp™ Full time

    Safety Process Engineer Safety Process Engineer opportunity in well-funded, leading company within renewable energy. The company are world leaders in this space and aim to play a key role in the global transition to clean, affordable energy. The role will suit a high performer, with initiative who will enjoy working in a fast paced and expanding Systems...


  • Newcastle upon Tyne, United Kingdom IC Resources Full time

    C++ Software EngineerScroll down to find an indepth overview of this job, and what is expected of candidates Make an application by clicking on the Apply button.Competitive salaries & hybrid working - NewcastleMy client is a Fortune 100 organisation and a global leader in EDA, building the next generation of EDA tools that enable IC designers to layout the...


  • Newcastle upon Tyne, United Kingdom IC Resources Full time

    Job Description C++ Software Engineer Competitive salaries & hybrid working - Newcastle My client is a Fortune 100 organisation and a global leader in EDA, building the next generation of EDA tools that enable IC designers to layout the latest silicon chips. They are looking for a C++ Software Engineer to develop and maintain the C++ code base and work...


  • Newcastle upon Tyne, United Kingdom IC Resources Full time

    C++ Software EngineerScroll down to find an indepth overview of this job, and what is expected of candidates Make an application by clicking on the Apply button.Competitive salaries & hybrid working - NewcastleMy client is a Fortune 100 organisation and a global leader in EDA, building the next generation of EDA tools that enable IC designers to layout the...


  • Newcastle Upon Tyne, United Kingdom IC Resources Full time

    C++ Software EngineerCompetitive salaries & hybrid working - NewcastleMy client is a Fortune 100 organisation and a global leader in EDA, building the next generation of EDA tools that enable IC designers to layout the latest silicon chips. They are looking for a C++ Software Engineer to develop and maintain the C++ code base and work on their build and...


  • Newcastle upon Tyne, United Kingdom IC Resources Full time

    C++ Software EngineerCompetitive salaries & hybrid working - NewcastleMy client is a Fortune 100 organisation and a global leader in EDA, building the next generation of EDA tools that enable IC designers to layout the latest silicon chips. They are looking for a C++ Software Engineer to develop and maintain the C++ code base and work on their build and...