Nicolas Pelletier
Senior Software Engineer at Woven by Toyota
Chiyoda, Japan
Summary
👤
Senior🎓
Top SchoolNicolas Pelletier is a Senior Software Engineer based in Chiyoda, Japan, with over two decades of experience building robust, maintainable systems across finance, market data, embedded networking, and automotive validation. He blends deep practical skills in C++, Python, and systems engineering with a strong interest in programming language theory and formal verification tools (Agda, Coq), applying concepts from functional and logical paradigms to improve software correctness and design. His recent work spans HIL/SIL validation for vehicle software at Woven by Toyota and high-throughput market data and settlement systems at Fidessa and FIS, where he led performance optimizations and automated testing environments. Comfortable working remotely across time zones, he has a track record of mentoring peers, modernizing legacy feed handlers, and introducing novel testing techniques in embedded contexts. Outside of work he brings discipline from a long-term Aikido practice (4th-degree black belt) and a lifelong background in classical piano, habits that inform his thoughtful, meticulous engineering approach.
10 years of coding experience
25 years of employment as a software developer
Engineer's degree, Computer Science, Engineer's degree, Computer Science at Télécom Paris
French, English, Japanese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (25)
ocaml9
sat-solver8
theory8
electrical-engineering8
combinatorics8
opam8
textbook8
sympy8
discrete-mathematics7
agda7
package-repository7
markov-decision-processes7
json-objects7
type-theory7
category-theory7
Programming languages (1)
Github contributions (5)
Jaetan/measure-exos
Apr 2017 - Jun 2017
Contributions:26 commits, 23 pushes, 1 branch in 2 months
Jaetan/topo-exos
Apr 2017 - Jul 2017
Contributions:32 pushes, 1 branch in 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.