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