加拿大麦吉尔大学计算机系PL/AI方向招收博士硕士

Xujie Si 课题组招收 2021秋季入学 博士(2~3名)硕士(1~2名)。对程序分析、测试、验证 和/或 人工智能 （e.g. SAT/SMT solving, logic/probabilistic programming, machine learning) 方面感兴趣和有经验的同学欢迎申请。

麦吉尔大学位于加拿大魁北克省蒙特利尔市，当地实习就业机会众多，顶尖公司包括 Google, Facebook, Amazon, Microsoft Research, DeepMind 均有分部。

若干链接：(无权限发链接=_= 请自行用某六四解码)
aHR0cHM6Ly93d3cuY3MubWNnaWxsLmNhL354c2kvaGlyaW5nLmh0bWwK

aHR0cHM6Ly9taWxhLnF1ZWJlYy9lbi9jb3Vycy9hZG1pc3Npb24vCg==

aHR0cHM6Ly93d3cuY3MubWNnaWxsLmNhL2FjYWRlbWljL2dyYWR1YXRlL2FkbWlzc2lvbi8K

aHR0cHM6Ly93d3cuY3MubWNnaWxsLmNhL2FjYWRlbWljL2Z1bmRpbmcvZ3JhZHNjaG9sYXJzaGlw
Lwo=