Formal Verification Engineer

il y a 4 jours

VilleneuveLoubet, France Codasip Temps plein

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

  • R&d Verification Engineer Ii F/m

    Il y a 7 mois

    Villeneuve-Loubet, France Ansys Temps plein

    When visionary companies need to know how their world-changing ideas will perform, they close the gap between design and reality with Ansys simulation. For more than 50 years, Ansys software has enabled innovators across industries to push boundaries by using the predictive power of simulation. From sustainable transportation to advanced semiconductors, from...

  • R&d Verification Engineer Ii

    il y a 12 heures

    Villeneuve-Loubet, France Ansys Temps plein

    Ansys is the global leader in engineering simulation, helping the world's most innovative companies deliver radically better products to their customers. By offering the best and broadest portfolio of engineering simulation software, Ansys helps companies solve the most complex design challenges and engineer products limited only by imagination. **Summary /...

  • Senior R&d Verification Engineer

    Il y a 7 mois

    Villeneuve-Loubet, France Ansys Temps plein

    **Requisition #**: 13468 When visionary companies need to know how their world-changing ideas will perform, they close the gap between design and reality with Ansys simulation. For more than 50 years, Ansys software has enabled innovators across industries to push boundaries by using the predictive power of simulation. From sustainable transportation to...

  • R&d Engineer Ii C++ F/m

    Il y a 7 mois

    Villeneuve-Loubet, France Ansys Temps plein

    When visionary companies need to know how their world-changing ideas will perform, they close the gap between design and reality with Ansys simulation. For more than 50 years, Ansys software has enabled innovators across industries to push boundaries by using the predictive power of simulation. From sustainable transportation to advanced semiconductors, from...

  • Senior R&d Engineer-cloud F/m

    Il y a 7 mois

    Villeneuve-Loubet, France Ansys Temps plein

    When visionary companies need to know how their world-changing ideas will perform, they close the gap between design and reality with Ansys simulation. For more than 50 years, Ansys software has enabled innovators across industries to push boundaries by using the predictive power of simulation. From sustainable transportation to advanced semiconductors, from...

  • Phd Position F/m Phd Position On Verification of Differential Privacy

    il y a 3 semaines

    Villeneuve-d'Ascq, France Inria Temps plein

    _Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat**: CDD **Niveau de diplôme exigé**: Bac + 5 ou équivalent **Fonction**: Doctorant **Niveau d'expérience souhaité**: Jeune diplômé **A propos du centre ou de la direction fonctionnelle**: The Inria University of Lille centre, created in 2008, employs 360 people including 305...

  • Conducteur ou conductrice de manoeuvre et lignes locales FRET

    Il y a 7 mois

    Villeneuve-Saint-Georges, France AGENCE TRANSVERSE Temps plein

    En tant que conducteur de trains Fret, vous êtes en charge de conduire des trains de marchandises pour assurer la livraison aux clients. Vous réalisez les vérifications du matériel en stationnement et à l'arrivée et traitez également les éventuels problèmes techniques sur les engins moteurs.Vous participez à la sobriété énergétique en...

  • Technicien en Foreur

    il y a 3 semaines

    Villeneuve-d'Ascq, Hauts-de-France Pinto Temps plein

    Présentation de l'entrepriseL'entreprise PINTO est une petite entreprise familiale indépendante, fondée en 1925. Nous sommes implantés à Fougères et possédons deux agences, l'une dans le Nord et l'autre dans la région IDF.Votre rôleVous travaillerez sous la responsabilité du chef d'équipe ou du chef de chantier. Vous serez...

  • Magasinier (H/F)

    Il y a 7 mois

    Villeneuve-la-Garenne, France 1001 Intérims Temps plein

    A la recherche d'un emploi en CDI, CDD ou en intérim ? Nos clients recherchent chaque année des milliers de profils dans les métiers du bâtiment, industrie, transport et services. Dans le cadre de son activité et de nouveaux projets, notre client recrute un MAGASINIER (H/F) à Villeneuve-la-Garenne 92390. Depuis plus de 16 ans, le groupe Notre agence...

  • Foreur

    Il y a 5 mois

    Villeneuve-d'Ascq, France Pinto Temps plein

    L'Entreprise PINTO est une P.M.E. indépendante d'une centaine de salariés fondée en 1925, ayant son siège à Fougères et deux agences, une dans le Nord et une en IDF. Notre métier est de concevoir et réaliser au niveau national, des ouvrages de génie civil et des prestations de fondations spéciales pour le traitement de l'eau.Votre...

  • Responsable de Secteur D'aide à Domicile

    Il y a 7 mois

    Villeneuve-Saint-Georges, France Bienvieillir Temps plein

    Le Groupement Bienvieillir en IDF Le groupement de coopération sociale et médico-sociale réunit aujourd’hui 5 associations aux activités complémentaires d’aide et de soin à domicile. Son objectif consiste à permettre à la personne fragilisée de rester à domicile en garantissant une qualité de vie selon ses habitudes quotidiennes. Prise en...

  • Cariste (H/F)

    Il y a 7 mois

    Villeneuve-sur-Verberie, France Interaction Temps plein

    Interaction Compiègne recherche pour le compte de son client, spécialisé dans les revêtements sols et plafonds un(e) Cariste H/F en Intérim. Vous êtes une pièce maîtresse du bon fonctionnement de la chaîne logistique et avez pour responsabilité la conduite d'engins de manutention. Sous la direction du responsable d'entrepôt, vous aurez à charge...

  • Conducteur de Reach Stacker

    Il y a 2 mois

    Villeneuve-Saint-Georges, France INTERPRO INTERIM Temps plein

    **Qui sommes nous ?** INTERPRO INTÉRIM est une entreprise de travail temporaire basée à Villeneuve Saint Georges (94), travaillant dans divers secteurs notamment la logistique. Nous recherchons un conducteur Reach stacker H/F. **Vos missions**: - CONDUITE DU REACH STEACKER (**CACES R489 Catégorie 4** / **CACES®R482 catégorie F **ou **formation...

  • Réceptionnaire (H/F)

    Il y a 4 mois

    Villeneuve-d'Ascq, France Cora Temps plein

    **Description de l'entreprise** Enseigne française, regroupant 17 000 collaborateurs au sein de 60 hypermarchés, Cora a su intégrer le paysage quotidien des territoires d’Alsace, de Lorraine et du Nord de la France. Depuis notre création en 1969, le pouvoir d’agir nous anime. Cora recrute et reconnaît tous ses Talents! Alors, si pour vous aussi le...

  • Agent de Parc/agent D'entretien de Parc

    il y a 12 heures

    Villeneuve-Saint-Georges, France LOXAM POWER Temps plein

    Description de l'entreprise LOXAM est le n°1 de la location de matériel en Europe et 4e loueur mondial pour le BTP, l‘évènementiel et l‘industrie. Depuis sa création en 1967, LOXAM n‘a de cesse de poursuivre sa stratégie de développement. Aujourd‘hui, le réseau LOXAM se compose de plus de 1 100 agences implantées sur 30 pays. Constamment à...

  • Magasinier (H/F)

    Il y a 2 mois

    Villeneuve-d'Ascq, France ENGIE HOME SERVICES S.A.S. Temps plein

    Identifiant de la demande: 38207- Lieu de travail: VILLENEUVE D ASCQ, FR, 59650**Qui sommes-nous ?** Filiale du Groupe ENGIE (1er fournisseur de gaz naturel et d'électricité verte en France), Engie Home Services est aujourd'hui **leader sur le marché de la maintenance et de l'efficacité énergétique**. Spécialisée dans la mise en service...

  • Agent ou Agente de Manoeuvre Des Trains Transilien

    Il y a 7 mois

    Villeneuve-Saint-Georges, France SNCF Voyageurs Temps plein

    **Description de l'employeur** Chaque jour, Transilien SNCF Voyageurs offre une solution de mobilité verte et responsable à 3,4 millions de Franciliens. Économiques et sûres, les 16 lignes Transilien offrent un maillage exceptionnel de la région Capitale avec 6 000 trains qui circulent quotidiennement en Île-de-France (RER, trains et tram-trains)....