Thesis topic Open to all scientific expertises
INERIS Thesis
, Les Hauts de France , France
CONTEXTE ET OBJECTIFS DE LA THÈSE
La demande croissante de stockage d'hydrogène à grande échelle pour soutenir la transition énergétique nécessite des solutions innovantes de stockage souterrain. ...
Open to all scientific expertises
Ref. ABG-132731
2025-07-01
Thesis topic
Public funding alone (i.e. government, region, European, international organization research grant)
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
ONERA - The French Aerospace Lab
PhDOOC
MabDesign
Laboratoire National de Métrologie et d'Essais - LNE
CESI
Tecknowmetrix
Aérocentre, Pôle d'excellence régional
TotalEnergies
Nokia Bell Labs France
CASDEN
SUEZ
Généthon
Institut Sup'biotech de Paris
ADEME
Ifremer
ASNR - Autorité de sûreté nucléaire et de radioprotection - Siège
Groupe AFNOR - Association française de normalisation
MabDesign
ANRT