我也来推特找工作了 - 京都大学硕士毕业，研究方向是编程语言与类型论，熟悉各种 dependent type 和形式化验证 - 长期从事 Web 项目开发 - 可以使用任意编程语言进行开发，希望从事 PL / 编译器 / Infra / 工具链等方面的工作 如果你所在的团队在招人，或者刚好知道合适的岗位，欢迎随时联系我！