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
