Build the future of software
Join a team of passionate researchers and engineers working on cutting-edge formal verification, programming languages, and software quality tools.
Why join Titagone?
Be part of a team that bridges cutting-edge research and real-world impact.
Innovation & Research
Work on cutting-edge projects combining academic research with real-world applications in formal verification and programming languages.
Expert Team
Collaborate with ex-INRIA researchers and experienced engineers passionate about functional programming and software quality.
Diverse Projects
Contribute to varied projects across automotive, aerospace, finance, and government sectors with challenging technical problems.
Continuous Learning
Grow your skills through mentorship, conferences, and hands-on experience with advanced technologies like OCaml, Rust, and WebAssembly.
Open positions
No open positions at the moment. Please check back later or send us a spontaneous application at contact@titagone.com
Internship opportunities
We also support CIFRE PhD programs for industry-oriented doctoral research.
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.
How to apply
Choose a position or internship from the list above (if there's one available)
Prepare your CV and motivation letter
Send your application to contact@titagone.com
We'll review and contact you within 2 weeks
Spontaneous applications welcome
Don't see the perfect position? We're always interested in meeting talented individuals passionate about functional programming, formal methods, and software quality.
Get in Touch