Thesis topic Open to all scientific expertises
CEA Université de Paris Systèmes Physiques Hors-équilibre, hYdrodynamique, éNergie et compleXes Thesis
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 ...
Open to all scientific expertises
Divers / Divers
Ref. ABG-134213
2025-11-06
Thesis topic
Public/private mixed funding
Université Grenoble Alpes Thesis
Grenoble cedex 9 , France
cf. summary in english.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ...
Open to all scientific expertises
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
2024-09-14
Thesis topic
Les autres offres Thesis topic
Les autres offres Open to all scientific expertises
More information about ABG?
Get ABG’s monthly newsletters including news, job offers, grants & fellowships and a selection of relevant events…
Discover our members
Tecknowmetrix
Aérocentre, Pôle d'excellence régional
SUEZ
Institut Sup'biotech de Paris
CASDEN
Laboratoire National de Métrologie et d'Essais - LNE
ADEME
MabDesign
Groupe AFNOR - Association française de normalisation
PhDOOC
Ifremer
ASNR - Autorité de sûreté nucléaire et de radioprotection - Siège
MabDesign
ANRT
ONERA - The French Aerospace Lab
Nokia Bell Labs France
CESI
Généthon
TotalEnergies



