Actualités Verimag
Actualités
- Poste de Professeur⋅e des Universités Verimag/UGA
La personne recrutée devra s’inscrire dans les thématiques portées par le laboratoire, au sens large. On portera une attention particulière aux candidatures dans le domaine de la cybersécurité (dans ce domaine, le laboratoire est partenaire de plusieurs actions, et il est nécessaire de remplacer un départ en retraite).
- Poste de Professeur⋅e des Universités Verimag/Grenoble-INP
Un poste de Professeur⋅e des Universités va être ouvert en section 27
au laboratoire VERIMAG et à Grenoble-INP Ensimag pour la campagne
synchronisée 2026.
Séminaires
-
Demain,
Marek BUCKI
(Twinsight Medical et UGA)
le 30 avril 2026 à
14h00 :
« Conception de logiciels critiques -- retour d’expérience du domaine médical, et questionnement sur la pratique et l'enseignement de méthodes de design des logiciels »
-
Dans 3 semaines,
Clara Bourgeais
(Univ. Grenoble Alpes Grenoble INP, LCIS)
le 21 mai 2026 à
14h00 :
« Modification du back-end d'un compilateur pour la sécurité : étude de cas sur une contre-mesure contre les attaqs par canaux auxiliaires »
-
Dans 2 mois,
Léo Colisson Palais
(UGA (LJK - CASC))
le 2 juillet 2026 à
14h00 :
« PROVISOIRE: Preuves formelles en Crypto »
Actualités
- Poste de Professeur⋅e des Universités Verimag/UGA
La personne recrutée devra s’inscrire dans les thématiques portées par le laboratoire, au sens large. On portera une attention particulière aux candidatures dans le domaine de la cybersécurité (dans ce domaine, le laboratoire est partenaire de plusieurs actions, et il est nécessaire de remplacer un départ en retraite).
- Poste de Professeur⋅e des Universités Verimag/Grenoble-INP
Un poste de Professeur⋅e des Universités va être ouvert en section 27 au laboratoire VERIMAG et à Grenoble-INP Ensimag pour la campagne synchronisée 2026.
Séminaires
- Demain, Marek BUCKI (Twinsight Medical et UGA) le 30 avril 2026 à 14h00 : « Conception de logiciels critiques -- retour d’expérience du domaine médical, et questionnement sur la pratique et l'enseignement de méthodes de design des logiciels »
- Dans 3 semaines, Clara Bourgeais (Univ. Grenoble Alpes Grenoble INP, LCIS) le 21 mai 2026 à 14h00 : « Modification du back-end d'un compilateur pour la sécurité : étude de cas sur une contre-mesure contre les attaqs par canaux auxiliaires »
- Dans 2 mois, Léo Colisson Palais (UGA (LJK - CASC)) le 2 juillet 2026 à 14h00 : « PROVISOIRE: Preuves formelles en Crypto »
