Sujet de Thèse Indifférent
IRIC - Université de Montréal Thèse
Montréal, Canada
L’IRIC de l’Université de Montréal a récemment procédé au lancement du Concours de recrutement étudiant de l’IRIC 2025. Ce concours offre la possibilité de poursuivre un programme de m ...
Indifférent
Biochimie, Biologie cellulaire, Biologie moléculaire, Bio-informatique, Chimie, Génie biomédical, Informatique, Microbiologie et immunologie, Physique, Sciences biomédicales, Sciences biopharmaceutiques
Ref. ABG-127970
16/01/2025
Sujet de Thèse
Autre financement public
Université Grenoble Alpes Thèse
Grenoble cedex 9 , France
cf. summary in english.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ...
Indifférent
analyse de programmes, exécution symbolique, cyber-sécurité, preuve, méthodes formelles
program analysis, formal methods, symbolic execution, program proofs, cybersecurity
program analysis, formal methods, symbolic execution, program proofs, cybersecurity
Ref. ABG-125808
14/09/2024
Sujet de Thèse
Les autres offres Sujet de Thèse
Les autres offres Indifférent
Besoin d'informations sur l'ABG ?
Vous souhaitez recevoir nos infolettres ?
Découvrez nos adhérents
ANRT
MabDesign
CESI
Aérocentre, Pôle d'excellence régional
TotalEnergies
Groupe AFNOR - Association française de normalisation
Ifremer
Tecknowmetrix
ADEME
PhDOOC
SUEZ
Généthon
Institut de Radioprotection et de Sureté Nucléaire - IRSN - Siège
Laboratoire National de Métrologie et d'Essais - LNE
CASDEN
Nokia Bell Labs France
MabDesign
ONERA - The French Aerospace Lab
Institut Sup'biotech de Paris