Senior Dev. / Quant Applied math, scientific computing, ML, NLP, AI. Interested in Fintech, Robotics, Secure Systems (formal methods), analysis of distributed

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 https://zeta1999.github.io/renoir42/index.html (public part currently being built) Email: renoir42@yahoo.com