哥伦比亚大学张倬课题组系统与软件安全方向博士后招聘

招聘信息

哥伦比亚大学计算机科学学院张倬（Zhuo Zhang）课题组现招聘博士后研究员。课题组主要从事软件与系统安全研究，研究方向较为开放，重点包括软件安全与程序分析、形式化方法与验证、二进制分析与逆向工程，以及面向安全任务的强化学习。工作地点为哥伦比亚大学晨边高地校区（Morningside Heights），位于纽约市。入职时间可协商。

招聘方向

1. 软件安全与程序分析： 重点研究防御性（Defensive）安全技术的开发与应用。

2. 形式化方法与验证（Formal Verification）： 关注软件安全性和正确性的形式化验证。

3. 二进制分析与逆向工程： 关注逆向分析工具的开发，以及对混淆或加壳的开发分析。

4. 面向安全任务的强化学习： 包括强化学习训练方案的设计与开发，以及训练环境的构建与优化。

申请者无需同时覆盖以上所有方向。具体研究课题可结合个人背景与兴趣共同讨论。

导师简介

张倬现任哥伦比亚大学计算机科学学院助理教授，主要从事软件安全、程序分析和二进制分析研究。相关成果发表于 OOPSLA、IEEE S&P、USENIX Security、CCS、ICSE 和 NeurIPS 等会议。

他曾获 2024 年 ACM SIGSAC 博士论文奖、OOPSLA 2019 杰出论文奖和 CCS 2024 杰出论文奖，并长期参与 CTF 竞赛与真实世界软件安全研究。

导师主页

个人主页：https://zzhang.xyz

哥伦比亚大学主页：

https://www.engineering.columbia.edu/faculty-staff/directory/zhuo-zhang

招聘要求

1. 入职前已获得计算机科学、计算机工程或相关专业的博士学位。

2. 在上述至少一个研究方向具备扎实基础；无需熟悉所有方向。

3. 具备较强的编程、系统实现、形式化推理或实验评估能力。

4. 能够独立推进研究，并愿意与学生及合作者共同开展工作。

5. 具备良好的英文写作与沟通能力。

申请方式

请将以下申请材料发送至 

zz@cs.columbia.edu，邮件主题请注明 [Postdoc + 英文姓名]。

1. 个人简历。

2. 简短的研究陈述（1–2 页），介绍既往工作、拟开展的研究，以及与本课题组的契合点。

3. 1–3 篇代表性论文，或其他能够体现申请者本人贡献的代表性项目材料。

大学简介

哥伦比亚大学位于纽约市，是一所以研究见长的综合性大学。计算机科学系的研究方向涵盖系统、安全、人工智能和理论等领域，并与工程与应用科学学院、数据科学研究院，以及纽约市的科研和产业机构保持广泛合作。

Columbia University Morningside Campus

图片来源：Wikimedia Commons 

▼点击下方卡片 获取更多招聘信息