Thesis topic Open to all scientific expertises
IRIC - Université de Montréal Thesis
Montréal, Canada
L’IRIC de l’Université de Montréal a récemment procédé au lancement du Concours de recrutement étudiant de l’IRIC 2025. Ce concours offre la possibilité de poursuivre un programme de m ...
Open to all scientific expertises
Biochimie, Biologie cellulaire, Biologie moléculaire, Bio-informatique, Chimie, Génie biomédical, Informatique, Microbiologie et immunologie, Physique, Sciences biomédicales, Sciences biopharmaceutiques
Ref. ABG-127970
2025-01-16
Thesis topic
Other public 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
- CESI
- SUEZ
- Institut Sup'biotech de Paris
- CASDEN
- Ifremer
- Tecknowmetrix
- ANRT
- PhDOOC
- Laboratoire National de Métrologie et d'Essais - LNE
- ADEME
- Nokia Bell Labs France
- MabDesign
- TotalEnergies
- Groupe AFNOR - Association française de normalisation
- Généthon
- Aérocentre, Pôle d'excellence régional
- Institut de Radioprotection et de Sureté Nucléaire - IRSN - Siège
- ONERA - The French Aerospace Lab
- MabDesign