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.

QML for healthcare. Project is being started soon - any AC interested? ceo@anazaetek.com.

And not the white man with his Asian wife either... (which I am sure CAN happen - how do I know ;-) ?). Problems with drawing reality @ Meta ?

SEEKING WORK | REMOTE | WORLWIDE

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: renoir42@proton.me

SEEKING WORK | Remote | Freelance Freelance Senior Backend Engineer / Quant Developer / Data Engineer / Data Scientist

  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: renoir42@proton.me

Location: Tokyo/Seoul

Remote: Yes

Willing to relocate: No

CV: email me @ renoir42@proton.me

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

SEEKING WORK | REMOTE - 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

- 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: renaud42@proton.me

Unity3D Metaverse for Fintech (Giraffe) | Unity 3D developer | REMOTE or SG/Seoul | Flexible We have a Unity3D codebase ~ renaudb1999 (at) giraffe-ai.com

SEEKING FREELANCER Experienced Unity3D dev. We have a code base to maintain or more ~ renaudb1999 (at) giraffe-ai.com remote or SG/Seoul

SEEKING WORK | Japan TZ | REMOTE Part-time prefered but... negociable - C++ - HFT - Crypto - Computer Vision / NLP - Unity3D - So, yes, C#, Rust, some react, golang you name it... renoir [at] metavai.io