Thèse CIFRE : Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level

Postée le 10 juin

Lieu : · Contrat : CDD · Rémunération : A négocier

Description du poste

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

Intéressé par la recherche, aime la théorie et la pratique.