Équipe CASYS - Sujets de stages et de thèses





Accueil Membres Séminaire Stages et thèses Publications Logiciels
Images


Offres

Un poste de MCF 26-27 à pourvoir à la rentrée 2017


Master Recherche

Efficiently and reliably delegating computations

Private computations on sparse matrices

Analyse de la distribution de motifs dans le génome et le protéome

Linear Algebra verification of the Kepler conjecture



Doctorats en cours

Architecture de sécurité et protocoles cryptographiques pour les systèmes de contrôle-commande, Jean-Baptipste Orfila,
sous la direction de Jean-Guillaume Dumas et Philippe Elbaz-Vincent

Analyse d'atteignabilité des systèmes hybrides pour la vérification et la synthèse de systèmes cyber-physiques, Mohammad Al Khatib,
sous la direction d'Antoine Girard et Thao Dang

Computational geometry of numbers, cohomology of modular groups, certified computations and applications, Thomas Camus,
sous la direction de Jean-Guillaume Dumas et Philippe Elbaz-Vincent

Robust and Certified High Performance Algebraic Computing, David Lucas,
sous la direction de Jean-Guillaume Dumas et Clément Pernet