Looking for a job

I am expecting my PhD in mathematics from Nagoya University by September 2025 (the date might vary, but I am expecting my degree by early 2026). I plan to enter industry after graduation, with a tentative start date of October 2025 (this date is pretty solid, and I am willing to start working by then regardless of whether I finish my defense).

Positions I am looking for

I am looking for engineering and/or research positions in software and tech, and I am open to all kinds of work!

Currently, my expertise are in the following fields:

  • functional programming (particularly OCaml/Haskell);
  • language design;
  • language runtimes & implementation;
  • formal methods and verification;
  • blockchain technology;
  • (to some extent) security.

But I have a solid background in mathematics and computer science in general, and am open to almost any kind of work, especially areas that require mathematical knowledge, such as optimization, algorithm design and data science.

If you have an opening for a job that requires expertise in one of the aforementioned areas, or any opening for a mathematician who is also a good programmer, please don't hesitate to contact me at me@xuanruiqi.com.

Location

Currently I'm primarily looking for jobs located in Japan, and particularly in Tokyo. I am also open to fully remote jobs if I can work from Japan. I am happy to work irregular hours to accommodate my colleagues in different time zones.

I am not averse to relocation, however, especially within APAC (Asia-Pacific), as long as work visa sponsorship is available. If you believe that I might be a good fit for your job, please do contact me regardless of your position.

Regarding positions requiring relocation to the United States: I would love to have a chat, but please understand that I have no work authorization in the U.S. and is unlikely to obtain one due to the policies of the current administration. Also, due to visa issues, it is impossible for me to relocate to Taiwan, unfortunately.

Tags: jobs | career |
Published on 13 March 2025
Return to blog home