Sujet de Thèse Indifférent
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
Ifremer
CESI
TotalEnergies
Généthon
Tecknowmetrix
Aérocentre, Pôle d'excellence régional
Groupe AFNOR - Association française de normalisation
Laboratoire National de Métrologie et d'Essais - LNE
MabDesign
PhDOOC
CASDEN
SUEZ
ANRT
ADEME
Institut Sup'biotech de Paris
ONERA - The French Aerospace Lab
Nokia Bell Labs France
MabDesign
ASNR - Autorité de sûreté nucléaire et de radioprotection - Siège
-
Sujet de ThèseRef. 130176Strasbourg , Grand Est , FranceInstitut Thématique Interdisciplinaire IRMIA++
Schrödinger type asymptotic model for wave propagation
Expertises scientifiques :Mathématiques - Mathématiques
-
EmploiRef. 130080Paris , Ile-de-France , FranceAgence Nationale de la Recherche
Chargé ou chargée de projets scientifiques bioéconomie H/F
Expertises scientifiques :Biochimie
Niveau d’expérience :Confirmé