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.

日本国内向け

ソフトウェアエンジニアやリサーチャーの仕事を探しています．2025年9月に名古屋大学大学院多元数理科学研究科にて博士後期課程を修了する予定で，2025年10月に入社できます．

専門分野は：

• 関数型プログラミング
• プログラミング言語の設計
• プログラミング言語のランタイムや実装
• 形式的手法，形式検証
• ブロックチェーン
• サイバーセキュリティ

などとなります．

しかし，ソフトウェアエンジニアリングやテクノロジーに対しては幅広く興味を持ちますので，必ずしもその限りではありません．

また，自分の専門分野ではないものの，数理の知識を要するポジションにも興味あります（数理最適化，組み合わせ最適化，アルゴリズム，データサイエンスなど）．

もし興味がございましたら，ぜひご連絡をいただければ幸いです．メール：me@xuanruiqi.com．

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