[2/3] 知乎上看到一篇对我的评论文章（网页链接）。其实我导师确实有帮我联系新的工作机会：一是去瑞典参与 CakeML 项目（基于 HOL 的 ML 系语言编译器），二是去新加坡加入另一个资深 HOL 用户的团队搞形式化的安全验证，都是我很熟悉甚至见过面的人。而且开除这个事情原本是保密的，只要我自己不说，ANU 也是不会说的。但我觉得没有不透风的墙，回头人家问我为什么离职我总不能编瞎话吧？另外，我也有自己的研究计划，如果立刻去其他地方工作的话我就再也没时间干自己的事情了。所以我就婉拒了，说等一两年后再考虑。另外我还有澳洲的永久居留权（PR），五六年之内随便往返澳洲。
