AI 实验室争抢形式化验证博士，PL 人才需求走高

AI 实验室正争抢形式化验证博士，PL（编程语言）方向人才需求走高。西北大学助理教授 TaliaRinger 表示，今年毕业的专攻形式化验证与编程语言的博士生，无论是否借助 AI 辅助均积累了相关经验。文章引述 AI 实验室内部消息称，实验室希望大量招聘此类人才，并认为当下正是招聘时机。