Thesis topic Open to all scientific expertises
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
TotalEnergies
CESI
ASNR - Autorité de sûreté nucléaire et de radioprotection - Siège
Nokia Bell Labs France
Tecknowmetrix
CASDEN
Ifremer
Généthon
Aérocentre, Pôle d'excellence régional
ANRT
Institut Sup'biotech de Paris
MabDesign
MabDesign
SUEZ
PhDOOC
ONERA - The French Aerospace Lab
ADEME
Groupe AFNOR - Association française de normalisation
Laboratoire National de Métrologie et d'Essais - LNE
-
JobPermanentRef. ABG128969Institut Polytechnique des Sciences Avancées - IPSAToulouse - Occitanie - France
Enseignant-chercheur en Mécanique des fluides numérique
Open to all scientific expertisesAny -
JobPermanentRef. ABG129192Association Bernard Gregory (ABG)Paris (3ème) - Ile-de-France - France
Business Developer (F/H)
Open to all scientific expertisesAny