Construisez le futur du logiciel
Rejoignez une équipe de chercheurs et d'ingénieurs passionnés travaillant sur la vérification formelle, les langages de programmation et les outils de qualité logicielle de pointe.
Pourquoi rejoindre Titagone ?
Intégrez une équipe qui fait le pont entre recherche de pointe et impact concret.
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 profils talentueux passionnés par les méthodes formelles et la qualité logicielle.
Nous contacter