Thèse CIFRE : Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level

Descriptif du poste

Mission

Description du poste

Sujet détaillé : https://www.ens-lyon.fr/LIP/CASH/wp-content/uploads/2024/06/thesis-proposal-hierarchy.pdf

Profil recherché

Motivé par la recherche, intéressé par la théorie et la pratique.

Informations

• Afficher toutes les offres de Laboratoires LIP (Lyon)

Trouver un logement à proximité ?

• Résidence étudiante : Isère
• Location / appartement pour étudiant : Isère
• Colocation étudiante