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: <a href=" (public part currently being built)
Email: REDACTED_EMAIL