Des problèmes techniques que personne d'autre ne résout. C'est ici.
Rejoignez une équipe de docteurs et d'ingénieurs seniors travaillant sur des problèmes ouverts en vérification formelle, compilateurs et langages de programmation, et livrant ces résultats à des clients comme Jane Street, la DGFiP et Thales.
Pourquoi rejoindre Titagone ?
Travaillez sur de la vraie recherche avec un impact industriel réel.
Innovation & Recherche
Travaillez sur des projets combinant recherche académique et applications réelles en vérification formelle et langages de programmation.
Équipe d'experts
Collaborez avec des chercheurs ex-INRIA et des ingénieurs expérimentés passionnés par la qualité logicielle.
Projets variés
Contribuez à des missions dans les secteurs automobile, aéronautique, financier et public avec des problématiques techniques stimulantes.
Formation continue
Développez vos compétences via le mentorat et l'utilisation de technologies avancées comme OCaml, Rust et WebAssembly.
Nos offres actuelles
Aucun poste ouvert pour le moment. Revenez plus tard ou envoyez-nous une candidature spontanée à contact@titagone.com
Opportunités de stage
Nous accompagnons également des thèses CIFRE pour la recherche doctorale orientée industrie.
Branch Prediction for Wasm Symbolic Execution
Enhance symbolic execution performance for WebAssembly using ML-based branch prediction to reduce SMT solver calls.
Traversal Heuristics for Wasm Symbolic Execution
Develop exploration heuristics and priority queue strategies to optimize path exploration in WebAssembly programs.
Multi-Solver Approach for Wasm Symbolic Execution
Integrate support for multiple SMT solvers with predictive analysis to select optimal solvers per program.
Owi4SeaCoral: Label-Targeted Test Generation
Adapt symbolic execution to generate tests targeting coverage labels in C programs compiled to WebAssembly.
Improvements for Try OCaml Web Application
Enhance the beta-stage web application with interface and functionality improvements for OCaml features.
Complex Inlining Heuristics
Develop theoretical foundations and practical implementation for advanced compiler inlining optimization strategies.
COBOL Code Typing and Analysis
Participate in COBOL tooling development using an OCaml-based parser for advanced language analysis.
Recursive Definitions and ML Compilation Schemes
Formalize recursive definitions and implement more efficient compilation schemes than current global store approaches.
Wasm Code Optimization
Advance symbolic execution through dedicated Wasm optimizations including SSA transformation and control flow analysis.
Comment postuler
Choisissez un poste ou un stage dans la liste (si disponible)
Préparez votre CV et votre lettre de motivation
Envoyez votre candidature à contact@titagone.com
Nous examinerons votre dossier et vous contacterons sous 2 semaines
Candidatures spontanées bienvenues
Vous ne trouvez pas le poste idéal ? Nous recherchons toujours des spécialistes en méthodes formelles, compilateurs et langages de programmation.
Nous contacter