一、岗位信息

软件学院丨招1人

合作导师：姜宇

流动站：软件工程

所需专业：软件工程

年龄要求：35岁以下

学位要求：博士

拟从事研究内容或研究计划：拟从事面向数据库管理系统的模糊测试技术研究，重点围绕配置因素对系统执行路径、测试判定准则和安全关键功能的影响，开展以下三个方面的研究工作：

1）配置语义驱动的数据库系统模糊测试技术。

针对数据库配置空间庞大、配置参数深度影响内部执行过程，现有方法难以覆盖配置相关路径的问题，拟研究配置语义建模与配置—SQL 关联分析方法，刻画配置参数与 SQL 语句结构之间的关系，设计配置感知的 SQL 生成与变异策略，引导测试覆盖特定配置控制的深层路径，提升代码覆盖率和缺陷触发能力。

2）基于配置等价关系的差分模糊测试技术。

针对复杂 SQL 语义正确性难以自动判定、测试预言构建困难的问题，拟研究配置等价关系驱动的测试判定方法。

通过识别存储引擎、优化器策略、加密选项等语义等价但实现路径不同的可配置组件，构造多组配置等价实例，并比较相同 SQL 输入下的执行结果、错误行为和系统状态差异，从而发现潜在缺陷。

3）面向数据库加密机制的配置驱动测试技术。

针对透明数据加密、日志加密、密钥管理等安全关键功能配置复杂、触发条件隐蔽、测试判定困难的问题，拟研究面向加密机制的配置驱动测试方法。

通过分析加密配置、数据文件状态与 SQL 操作之间的关联关系，构造覆盖表空间加密、日志加密、密钥轮换和异常恢复等场景的测试用例，并结合文件内容检查、系统表状态校验和差分执行结果分析，构建加密功能的自动化测试判定机制。

二、任职要求：

1.具有博士学位，品学兼优，身体健康，年龄在35周岁以下，获得博士学位的年限一般不超过3年。

三、申请程序：

1、申请人提交申请意向

2、合作导师向院系推荐

3、院系集中面试

4、校博后办审核

5、国家审批

6、学校通知录用

7、申请人办理进校手续

四、联系人及联系方式：

联系人：许彦婷

联系邮箱：xuyt@mail.tsinghua.edu.cn（邮件主题标明为“应聘岗位+姓名+博士后招聘网”）

发布日期：2026-06-05

截止日期：2026-12-04

更多最新博士后招聘信息请关注博士后招聘网微信公众号（ID：boshihoujob）

原文出处：

https://jobs.tsinghua.edu.cn/project/qhdx/pages/recruit_new/#/post/detail/4B24ECAF736F42D3BF8C1397DEBCCF3D

来源：清华大学软件学院