Efficient encoding of critical systems to perform formal proof using Model Checking based on SAT/SMT solvers
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)