Senior Data Scientist

C++ GCP Typescript React quant finance Scala PDE jQuery Pytorch Golang AI/ML Engineering C#/F# PostgreSQL Computer Vision PHP Fintech Java F*/fstar Z3 verification of static asserts Rust Numerical algorithms Crypto development Azure AWS Fetish with formal methods Javascript Haskell Ocaml Python Pytorch C++ APIs MC Kotlin Matrix routines