pacss
info dans groupe team
info articles lies mot
Articles
5 postes d’ATER à temps plein
Wednesday 16 May 2018
by Florence Maraninchi
9 avril 2020 Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
Friday 10 April 2020
by Florence Maraninchi
AGEDIS
Thursday 16 December 2004
by graf, mounier
ARAMIS
Sunday 10 December 2017
by potet
BINSEC
Sunday 31 December 2017
by potet
CASERM
Tuesday 31 December 2019
by graf
Decision Procedure for Equivalence Relations
Sunday 30 August 2020
by karine
Mjollnir
Tuesday 15 May 2012
by monniaux
Models of Distributed Algorithms
Friday 16 October 2020
by karine, Devismes, Pierre Corbineau
PACSS (Archive)
Wednesday 3 February 2021
by jahier
Pagai
Tuesday 15 May 2012
by monniaux
Phd Position: Vulnerability search in Industrial Control Systems
Monday 1 October 2018
by mounier
Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
Wednesday 27 March 2019
by potet
PhD subject: combinations of Boolean reasoning and parametric linear programming
Thursday 15 September 2016
by monniaux, perin
Post-Doc and/or Research Engineer positions on Software Security
Monday 1 July 2019
by potet
Post-Doc: Fault injection and code analysis
Monday 17 July 2017
by potet
SERTIF
Tuesday 10 January 2017
by potet
STATOR
Sunday 31 December 2017
by monniaux
TGV
Sunday 17 September 2006
by lafourcade
VECOLIB
Saturday 6 October 2018
by Radu Iosif
VERASCO
Friday 1 January 2016
by monniaux
VOCaL (The Verified OCaml Library)
Monday 30 September 2019
by monin
[M1 internship] Modeling of Graph Topologies Using Coq
Sunday 16 September 2018
by karine, Devismes, Pierre Corbineau
[Master]Leakage in presence of an active and adaptive adversary
Friday 12 December 2025
by cristian.ene@univ-grenoble-alpes.fr
[Postdoc positions] Coq Developments
Wednesday 16 October 2019
by karine, stef, boulme, monniaux, Pierre Corbineau
