|
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 |