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.
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: [email protected]