#PL

Darkflames

3周前

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

#找工作 #编程语言 #形式化验证 #Web开发 #PL #编译器 #Infra #工具链