Fwd: Circulate job ad?

[Tachio Terauchi]

皆様、

早稲田大学の寺内です。

UT AustinのIsil Dillig先生から、下記メールのPLおよび形式手法に関する求人募集の共有をお願いされました。日本の社会保障制度にも対応しているとのことです。ぜひ興味のありそうな方にお伝えください。

どうぞよろしくお願いいたします。

寺内

---------- Forwarded message ---------
From: Işil Dillig <idi...@gmail.com>
Date: Mon, Jun 23, 2025 at 3:06 AM
Subject: Circulate job ad?
To: Tachio Terauchi <tera...@is.nagoya-u.ac.jp>

Dear Tachio,

I hope this email finds you well! I was hoping to talk to you at PLDI, but I don't think you were there this year?

I am writing to ask you for a small favor. I was wondering if you might be able to circulate this job description at relevant circles in your institution (or more broadly, any relevant circles in Japan):

https://veridise.com/careers/formal-methods-researcher-for-zk/

This is for a PL/FM position at a company that I co-founded. The position is fully remote, so working from Japan is no problem at all.

Many thanks,
Isil