Location: Seoul, South Korea & Le Mans, France
Remote: Yes (EU & Asia — Seoul/Tokyo TZ preferred)
Willing to relocate: Yes
Technologies: C++ (primary — C++17/20, lock-free/wait-free, SIMD, CUDA, kernel-bypass networking), Rust, Go, Python (PyTorch/NumPy/Numba), Haskell, OCaml, Elixir/Erlang, Julia, VHDL "with tools" (that I have developed/ am developing). TLA+/PlusCal/CBMC formal verification "with help".
Résumé/CV: https://github.com/zeta1999 [contact me first]
Email: renaudb1999@gmail.com
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.
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.