Quick facts
-
- Lyon
Categories:
- Social science
Subjects:
- Postdoc
Apply by: 2023-05-02
Post-Doctorant F/ H [Campagne POSTDOC MI-NF-LYS-2023] Méthodes formelles pour la vérification de propriété éléctriques sur des circuits intégrés (F/ H)
Contexte et atouts du poste
Dans le cadre d’un partenariat :
L’ objectif est de
Développer un outil de vérification de propriétés électriques pour des circuits intégrés, en se basant sur les méthodes traditionnellement utilisées pour le model-checking de circuits au niveau logique (BDD, SAT et SMT solving). Dans un premier temps, un prototype sera développé, et les techniques pourront être intégrées à l'outil de production d'Aniah si les résultats sont satisfaisants.
Des déplacements réguliers sont prévus pour ce poste ? Oui, à Grenoble. Les frais de déplacements seront pris en charge dans la limite du barème en vigueur.
Mission confiée
Missions :
La personne recrutée sera amenée à :
Pour une meilleure connaissance du sujet de recherche proposé :
Contacter Matthieu Moy.
Collaboration :
La personne recrutée sera en lien avec la startup Aniah qui développe et commercialise déjà un outil de vérification, et le laboratoire Verimag avec lequel une thèse CIFRE est prévu.
Responsabilités :
La personne recrutée a la charge de la collaboration avec Aniah.
Pilotage/Management :
La personne recrutée n'aura pas de responsabilité managériale directe, mais sera impliquée dans l'encadrement de la thèse CIFRE LIP/Aniah/Verimag.
Principales activités
Principales activés :
Activités complémentaires :
Compétences
Compétences techniques et niveau requis :
Langues :
Compétences relationnelles :
Avantages
