Sujet de Thèse Indifférent
CEA Université de Paris Systèmes Physiques Hors-équilibre, hYdrodynamique, éNergie et compleXes Thèse
Saclay
Les réseaux énergétiques sont des éléments essentiels de toute stratégie climatique et énergétique réussie. Néanmoins, ils restent peu étudiés et insuffisamment compris dans leur dynamique ainsi que dans leur relation avec la consommation des ressourc ...
Indifférent
Divers / Divers
Ref. ABG-134213
06/11/2025
Sujet de Thèse
Financement public/privé
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
TotalEnergies
CASDEN
Tecknowmetrix
PhDOOC
Laboratoire National de Métrologie et d'Essais - LNE
Nokia Bell Labs France
SUEZ
Ifremer
Institut Sup'biotech de Paris
CESI
ASNR - Autorité de sûreté nucléaire et de radioprotection - Siège
Groupe AFNOR - Association française de normalisation
ADEME
ANRT
Généthon
ONERA - The French Aerospace Lab
Aérocentre, Pôle d'excellence régional
MabDesign
MabDesign




