Expertise Rust @ OCamlPro

Présentation

OCamlPro est une entreprise française de développement logiciel, avec une expertise forte dans les langages de programmation et les méthodes formelles. Nos développeurs et experts développent du logiciel à haute valeur ajoutée depuis plus de 10 ans.

Au cours de ces années, nous avons touché à de nombreux domaines, parmi lesquels:

Blockchains: nous avons audité le générateur de code en Rust et les smart contracts en Solidity de la blockchain Everscale, nous avons développé les prototypes des blockchains Tezos et Dune Network, etc.
Outils de développement: nous avons développé une web interface en Rust pour le profiler mémoire statistique d'OCaml, nous avons développé et maintenons la gestionnaire de paquets Opam, etc.
Compilateurs et DSLs: nous avons des membres de l'équipe compilateur d'OCaml, nous développons le compilateur optimisant Flambda, ainsi que contributions au compilateur GNUCobol.
Méthodes formelles: nous avons développé plusieurs outils de méthodes formelles en Rust (Matla, SAT-Micro-Rust, Mikino, etc.)
Éducation: nous sommes tous diplomés des meilleures écoles d'ingénieurs françaises et des meilleures universités, des niveaux masters aux docteurs.

Au fil des ans, le langage Rust est devenu l'un de nos langages favoris, particulièrement pour les applications à hautes performances.

Agrément CIR: OCamlPro bénéficie d'un agrément CIR, permettant à ses clients de récupérer 30% des coûts sur les travaux de R&D qui lui sont sous-traités, via le Crédit Impôt Recherche.

Notre équipe

Notre équipe est à la fois composée de plusieurs développeurs avec une longue expérience de Rust, de développeurs plus juniors pour les développements rapides, et d'experts en langages de programmation, méthodes formelles et algorithmique.

Adrien C. (PhD)

Avec un diplöme d'ingénieur de l'ENSEEIHT, une thèse de doctorat et un post-doc au Japon, Adrien possède à la fois une longue expérience de Rust (plus de 9 années), des méthodes formelles et de l'enseignement en France et à l'étranger. Adrien a développé plusieurs outils de méthodes formelles en Rust, et est le mainteneur de plusieurs crates dans le domaine.

Arthur C. (PhD)

Après un master d'informatique à l'École Normale Supérieur, Arthur s'est bati une solide expérience de Rust pendant sa thèse de doctorat à l'Institut Pasteur où il a pu exploiter les performances de Rust sur des calculs statistiques et probabilistes.

Mohamed H. C. (Msc)

Avec un master d'informatique à l'Université Paris 6, Mohamed a participé au développement de plusieurs outils de programmation dans plusieurs langages fonctionnels, dont Rust et OCaml.

Artemiy R. (Msc)

Avec un master d'informatique à l'Université Paris 6, Artemiy a développé plusieurs projets, aussi bien dans la blockchain que dans l'outillage informatique.

Pierre C. (PhD)

Avec un master d'informatique de l'ENS Cachan et une thèse de doctorat sur la complexité, Pierre est un expert des langages de programmation et de la compilation en particulier, étant membre de la coreteam du compilaeur OCaml. Le langage Rust a peu de secrets pour lui.

Fabrice LF. (PhD)

Ancien chercheur en informatique à l'INRIA, diplômé de l'Ecole Polytechnique, Fabrice est le fondateur d'OCamlPro, et un expert des langages de programmation et des systèmes distribués. Développeur OCaml depuis plus de 25 ans, il a développé plusieurs bindings entre OCaml et Rust.

Nos Services

Notre équipe de développeurs Rust expérimentśs est prête à travailler avec vous. Nous pouvons fournir les services suivants:

Conseil et support pendant vos projets de développement logiciel en Rust:
- Réponses rapides à toutes vos questions autour du langage Rust, mais aussi de la programmation en général
- Évaluation des crates qui pourraient être utilisées dans votre projet;
- Aide locale pour la correction de certains bugs
- Revue de parties de votre code et conseils d'améliorations
- Optimisation des performances de votre code
- Amélioration des temps de compilation
Revue de code pour le suivi des meilleures pratiques de développement Rust
Prototypage et développement en Rust, par des ingénieurs spécialisés en R&D et pouvant bénéficier du Crédit Impôt Recherche via notre agrément CIR
Audit de performance de votre projet pour détecter les meilleures cibles pour une migration vers Rust
Modernisation logicielle depuis d'anciens langages (Python, Java, etc.) vers Rust
Formations Rust: plusieurs formations sur Rust sont disponibles sur notre site de formations dédié : training.ocamlpro.com

Nos services sont accessibles aussi bien aux développeurs individuels qu'aux équipes plus conséquentes.

Présentation

Notre équipe

Nos Services

Contactez nous !