理聘网-职位详情页，博士后（软件研究所蔡少伟课题组）

任职要求： 1.博士及以上； 2.研究方向及主要研究内容： （1）约束求解问题及其应用：从事可满足性问题（SAT）、可满足性模理论（SMT）、混合整数规划问题（MIP）的前沿算法研究，与头部企业密切合作，将相关前沿技术落地到相关领域，产生用户价值，完成高水平科研成果输出； （2）电子设计自动化（EDA）形式化验证方向：进行等价性验证、模型检查、测试等与EDA相关的前沿技术的研究，完成高水平科研成果输出； （3）软件验证方向：熟悉coq或lean进行定理证明，或者基于SMT的自动定理证明/符号执行，从事操作系统等基础软件的测试和验证； （4）基于大模型的代码研发：研究基于大模型辅助的求解器研发，以及基于大模型生成形式化证明的spec或者软件测试的测试样例。 流动站： 计算机科学与技术博士后流动站。