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: [email protected]
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.
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.