Rejoins la startup Bug Free IT

L'annonce :

Bonjour future co-foundateur !

Depuis plusieurs années, je souhaite créer une entreprise et au cours de mon master informatique, j’ai été amené à rencontrer un des concepts des plus intéressant, la vérification formelle.

Ce concept vise à prouver mathématiquement du code informatique, ce qui permet d’obtenir des logiciels… sans bug !

Eh oui, la notion de bug est la différence entre ce qui est souhaité (c’est à dire la spécification) et ce qui est réalisé (c’est à dire la solution). On vise donc à prouver que notre solution correspond exactement à ce que l’on veut.

Tout le monde connait l’omniprésence des bugs informatiques dans notre vie connecté mais peu savent que cela représente des fortunes de perdu !
La CISQ, qui est un consortium pour la qualité logicielle, estime le coût réel des bugs aux USA de 2080 milliards de dollars.

De par les grands prérequis en mathématiques et en ingénierie logicielle, la vérification formelle est coûteuse et peu utilisée, peu connue.

Le but est donc de simplifier l’utilisation de ces dernières pour agrandir leur usage.
Pour ce faire, nous allons collaborer avec des chercheurs travaillant sur le domaine ainsi que des professionnels de l’industrie ferroviaire qui sont à ce jour les plus grands utilisateurs de la vérification formelle (exemple de l’automatisation des lignes de métro)
En comprenant les diverses contraintes et gênes qu’ils rencontrent, nous pourrons déterminer les étapes à prendre pour simplifier leur utilisation des méthodes formelles (qui sont les outils de la vérification formel) .

Je souhaite incuber l’entreprise 10 mois avec le programme 1Kreation de l’entreprise 1Kubator.
La sélection de cette dernière pour la prochaine promotion se fera lors d’un comité mi-septembre.

Je reste à votre disposition pour continuer la discussion, n’hésitez pas à me contacter.

Vidéo de présentation de la vérification formelle : https://www.youtube.com/watch?v=-CTNS2D-kbY
1Kubator : https://www.1kubator.com/