Research and innovation are at the heart of Prove & Run. Most of our team members have a research background (either a Master’s Degree or a PhD) and come from public research laboratories such as Inria, CNRS or other research institutes. They have the right skills and knowledge to build on and improve state-of-the-art of computer science to deliver practical innovations which are useful to all.
Our research areas include formal methods (and especially proof techniques), programming languages, code generation, secure architectures for embedded systems, and much more.
As part of our commitment to support research and innovation, we offer scholarships to PhD students (as well as internships oriented toward research) and we lead or participate in several collaborative projects.
Prove & Run is officially recognized as a Young Innovative Company (“Jeune Entreprise Innovante” ie JEI) by the French State, owing to the quality of its research activities.
Collaborative projects enable Prove & Run to combine its expertise with that of its partners so as to provide joint leadership in effective research that yields practical insights. This enables us and our partners to leverage our expertise across a larger number of fields and to explore connected issues.
Prove & Run is always open to participation in innovative collaborative research projects. Today, we are leading the CEEC project, whose main objective is to use Prove & Run innovation to simplify the certification of highly sensitive software components.
If you would like to discuss a new collaborative project with us, please contact us.
The SolidCore project aims at developing a security solution for consumer smartphones in order to support both personal and professional (i.e. secure) use. The level of security offered by this system will be formally proven and certifiable at a high level. More details are available on its website.
The S3P Project aims at developing a safe, secure and smart software development and execution platform (the S3 Platform) to facilitate the development, deployment and exploitation of IoT Devices, Gateway and Applications at the best cost and speed. More details are available on its website.
The CEEC project is working on a new software development methodology that will accelerate the certification of software products which require very high levels of security.
During this project, the partners intend to create a new software development environment, based on Prove & Run innovative technology, that will include a fully-proven generation and compilation toolchain. By integrating security concerns within the development process of critical systems, this environment will enable the creation of quality software with guaranteed security properties and will reduce the cost of high-level evaluation and certification, such as those that follow the Common Criteria methodology. More details are available on its website.Print