AI实验室争抢形式化验证与PL人才

AI实验室正在争抢专攻形式化验证和编程语言的博士，相关人才需求走高；实验室内部消息称，希望大量招聘此类人才，并认为目前是招聘时机。 西北大学助理教授TaliaRinger表示，今年毕业的这类博士生即使借助AI辅助，也已积累形式化验证与编程语言相关经验。她所说的需求升温属于行业观察，尚不等于已公布具体招聘人数或岗位。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。