renoir42
21 years in HFT, algo trading, and quantitative finance — now also doing AI/ML engineering. University of Tokyo. DASCA Certified Principal Data Scientist.
Built DMA/HFT options trading engines (kernel-bypass, lock-free hot paths), FPGA-accelerated Monte Carlo pricers, and 200k-line numerical libraries. Former Head Quant and CTO.
On the AI/ML side: CUDA/C++ inference, PyTorch pipelines, federated learning, quantum circuit models (PennyLane/Qiskit), time-series classification, synthetic data generation. Re-implemented a SIGGRAPH paper in CUDA/C++ for scene reconstruction, as well as a real time pose streming system.
Public projects: Thetis26 (C++20 lock-free data structures, 379M ops/sec ring buffers, formally verified) — rust-secure-memory (post-quantum KEM, encrypted enclaves) — notbbg (Go real-time market data terminal, 17 feeds) — gpu-backtest (Rust/CUDA/Metal backtesting engine, ongoing).
Open to: trading systems, HFT infrastructure, AI/ML engineering, quantitative research, systems programming. Contract or permanent.
TZ: Japan
Remote: Yes
Willing to relocate: No
Available for part-time or full-time contract work, preferably on a long-term basis, but I'm also available for smaller projects.
I am very flexible with my working hours (mostly working with clients from Singapore & USA).
I am a backend developer with more than 20 years of experience as well as a senior data scientist and ML/AI enthusiast.
When I am not working on strict backend, I also enjoy Computer Vision and Numerical Computing - ex quant developer, as well as exploratory DNN usages.
Lastly, I laso have a few Web3/crypto experiences under the belt, including work at an exchange.
Technologies: Golang/CUDA/C++/Rust/Python/Julia/Pytorch/ONNX/Tensorflow/Ocaml/Haskell/AWS/GCP/Azure/JS/React/Docker/.NET
Github: https://github.com/zeta1999
Contact: [email protected]
Location: Japan/Korea TZ
Tools & programming languages: C++/Golang/Java/C#/Rust/Python/Javascript/Typescript/Haskell/OCaml/F#/Erlang/Elixir/CUDA/AWS/GCP/Azure/Docker
Languages: English & a variety of others
Special skills: Architecture, Performance Tuning, Numerical Computing, Computer Vision, AI/ML engineering, Data Science (Dasca Certified), Algorithmic design and analysis (TLA+, F*, static asserts, Z3...)
Contact: [email protected]Remote: Yes
Willing to relocate: No
CV: email me @ [email protected]
Technologies:
- C++, Golang, Rust, Scala, Kotlin, Java, C#/F#
- Functional programming: Haskell, Ocaml (once CUFP speaker)
- Dasca Senior Data Scientist Certified, Pytorch, Pytorch C++ APIs...
- AI/ML Engineering & Computer Vision
- Numerical algorithms: PDE, MC, Matrix routines, ...
- Fintech, quant finance, Crypto development (both trading and blockchain engineering)
- Fetish with formal methods: F*/fstar, Z3 verification of static asserts, ...
- 20y+ experience
- The classics: Python, Javascript, Typescript, PHP, jQuery, React, PostgreSQL, AWS, GCP, Azure
- Functional programming: Haskell, Ocaml (once CUFP speaker)
- Dasca Senior Data Scientist Certified, Pytorch, Pytorch C++ APIs...
- AI/ML Engineering & Computer Vision
- Numerical algorithms: PDE, MC, Matrix routines, ...
- Fintech, quant finance, Crypto development (both trading and blockchain engineering)
- Fetish with formal methods: F*/fstar, Z3 verification of static asserts, ...
- 20y+ experience
- The classics: Python, Javascript, Typescript, PHP, jQuery, React, PostgreSQL, AWS, GCP, Azure
- Or anything else that is a bit tricky to develop. I can build the team, the MVP, the infra for you
- If you have a budget: [email protected]
Technologies: C++, C, FPGA, Cuda, Python, Erlang/Elixir, C#, Scala, Java, Haskell, Ocaml, etc...
Former speaker at CUFP conference Email: [email protected]
"If you were to meet a very rich man *?" "-Does not matter: you are not rich anyway and once we are married...."
Interested in Fintech, Robotics, Secure Systems (formal methods), analysis of distributed systems... The list is not limitative really but please no PHP website.
ME The University of Tokyo + European Engineering degree
Location: Seoul Remote: YES Willing to relocate: If $$$, otherwise no.
Technologies: C++, C, FPGA acceleration, Cuda, Python, Erlang/Elixir, C#, Scala, Java, Haskell, Ocaml, and a few others (used in the past)
Currently learning TLA+/F* and similar technologies (Ada Spark, Frama-C, Coq, Gappa...) with misc. levels of success for now. Past experience with embedded (80C196), now playing with ESP32 at home - for smart farming as spouse is farming now.
Résumé/CV: on demand Github: https://zeta1999.github.io/renoir42/index.html (public part currently being built) Email: [email protected]