Deux sujets de thèse CIFRE sont en cours :

  • Encodage efficace des systèmes critiques pour la vérification formelle par Model Checking à base de Solveurs SAT/SMT

    Convention avec l'Université de Bordeaux, laboratoire LaBRI.

Stages d'ingénieurs

SafeRiver accueille régulièrement des élèves-ingénieurs de l'INSA CVL (anciennement ENSIB).

Synergie avec le monde de la recherche au travers du recrutement

La formation par la Recherche (doctorats et post doctorats) est un critère important de notre politique de recrutement.

Collaboration dans le cadre de projets de R&D et de R&T

Avec le CEA-List, l'INRIA, le LIP6, le CEDRIC (voir la page des projets)