Ongoing PhD:

  • Efficient encoding of critical systems to perform formal proof using Model Checking based on SAT/SMT solvers

    Agreement with the LaBRI laboratory of Bordeaux university.


SafeRiver regularly welcomes engineering students from the INSA CVL (formerly known as ENSIB).

Synergy with the academic world through hiring

Academic education (PhD and post doctorate) is an important criterion of our hiring policy.

Collaborations in the context of R&D and R&T projects

With the CEA-List, the INRIA, the LIP6, the CEDRIC (see the Projects page)