|
Senior Dev. / Quant
Applied math, scientific computing, ML, NLP, AI. Interested in Fintech, Robotics, Secure Systems
(formal methods), analysis of distributed systems...
The list is not limitative really but please no PHP website. ME The University of Tokyo + European Engineering degree Location: Seoul
Remote: YES
Willing to relocate: If $$$, otherwise no. Technologies: C++, C, FPGA acceleration, Cuda, Python,
Erlang/Elixir, C#, Scala, Java, Haskell, Ocaml, and a few
others (used in the past) Currently learning TLA+/F* and similar technologies
(Ada Spark, Frama-C, Coq, Gappa...) with misc. levels of
success for now.
Past experience with embedded (80C196), now playing with
ESP32 at home - for smart farming as spouse is farming now. Résumé/CV: on demand
Github: https://zeta1999.github.io/renoir42/index.html (public part currently being built)
Email: renoir42@yahoo.com |