Hacker News new | ask | show | jobs
by renoir42 1014 days ago
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