Purdue University ECE系招收PhD Students/Summer Interns
32223
帮组里师姐发布一则招生信息：
Purdue University ECE 系的 Jingbo Wang 老师将于24年入职，计划招收24Fall 入学的计算机博士生和 remote 暑研学生。她的研究处于软件工程和形式化方法的交叉点，重点是开发严格的程序分析和合成技术，以提高软件系统的安全性、稳健性和公平性。她计划于明年（24 Fall）招收2-3名全奖博士。
关于 Jingbo Wang：
Jingbo Wang 于2017年本科毕业于华中科技大学计算机学院，2023年于南加州大学获得博士学位，导师为 Chao Wang 教授。她目前在德州大学奥斯汀分校（UT Austin）担任短期博后，与 Isil Dillig 教授合作。她将于2024年加入 Purdue University ECE 系，担任助理教授。
她的研究专注于软件工程、程序语言与形式化方法。她的研究重点在于开发程序分析（Program Analysis）与程序合成（Program Synthesis）技术，从侧信道分析（Side Channel）等角度研究软件系统等安全性等问题。她今年获得了PLDI 2023 Distinguished Paper Award， 并在2021年被评选为MIT EECS Rising Star.
她的研究主要发表在PLDI，CAV/FMCAD，ICSE/FSE/ASE/ISSTA等编程语言，形式化验证和软件工程领域的国际顶级会议上。同时，她还担任在CAV/ICSE/ASE等多个顶级会议中担任程序委员（PC）。
联系方式和详细研究内容，请见：viterbi-web.usc.edu
关于 Purdue University：
普渡大学（Purdue University）是一所位于印第安纳州的公立研究型大学。作为美国顶尖的大学之一，普渡大学提供广泛的学术课程和研究机会，旨在培养未来的领导者和创新者。普渡大学的校园位于印第安纳州的西拉法叶市（West Lafayette），距离印第安纳波利斯市约一小时车程，距离芝加哥两个小时车程。普渡大学在公立大学中享有卓越声誉，被广泛认可为一个卓越的学术机构。其在全美大学排名中一直保持着杰出的地位，常年位列前茅。普渡的ECE (electrical engineering)在2023 US News rank #8, engineering school rank #5.
招生计划和要求：
计划招生数：2-3名全额奖学金资助的PhD
招生要求：
申请方式：
请于 2023 年 12 月 15 日之前通过 Purdue 大学官方申请系统提交博士申请。请注意，Purdue ECE 官方的博士申请截止日期为 2023 年 12 月 1 日，但同学们可以在该日期之后继续申请，申请不会受到影响。
Purdue University ECE 系的 Jingbo Wang 老师将于24年入职，计划招收24Fall 入学的计算机博士生和 remote 暑研学生。她的研究处于软件工程和形式化方法的交叉点，重点是开发严格的程序分析和合成技术，以提高软件系统的安全性、稳健性和公平性。她计划于明年（24 Fall）招收2-3名全奖博士。
关于 Jingbo Wang：
Jingbo Wang 于2017年本科毕业于华中科技大学计算机学院，2023年于南加州大学获得博士学位，导师为 Chao Wang 教授。她目前在德州大学奥斯汀分校（UT Austin）担任短期博后，与 Isil Dillig 教授合作。她将于2024年加入 Purdue University ECE 系，担任助理教授。
她的研究专注于软件工程、程序语言与形式化方法。她的研究重点在于开发程序分析（Program Analysis）与程序合成（Program Synthesis）技术，从侧信道分析（Side Channel）等角度研究软件系统等安全性等问题。她今年获得了PLDI 2023 Distinguished Paper Award， 并在2021年被评选为MIT EECS Rising Star.
她的研究主要发表在PLDI，CAV/FMCAD，ICSE/FSE/ASE/ISSTA等编程语言，形式化验证和软件工程领域的国际顶级会议上。同时，她还担任在CAV/ICSE/ASE等多个顶级会议中担任程序委员（PC）。
联系方式和详细研究内容，请见：viterbi-web.usc.edu
关于 Purdue University：
普渡大学（Purdue University）是一所位于印第安纳州的公立研究型大学。作为美国顶尖的大学之一，普渡大学提供广泛的学术课程和研究机会，旨在培养未来的领导者和创新者。普渡大学的校园位于印第安纳州的西拉法叶市（West Lafayette），距离印第安纳波利斯市约一小时车程，距离芝加哥两个小时车程。普渡大学在公立大学中享有卓越声誉，被广泛认可为一个卓越的学术机构。其在全美大学排名中一直保持着杰出的地位，常年位列前茅。普渡的ECE (electrical engineering)在2023 US News rank #8, engineering school rank #5.
招生计划和要求：
计划招生数：2-3名全额奖学金资助的PhD
招生要求：
- 希望申请者能够致力于高质量且具有影响力的科研工作。
- 有扎实的计算机/数学理论基础知识和良好的编程能力，对编程语言，软件工程和程序分析技术等领域的研究有一定了解。
- 良好的沟通能力和团队合作精神。
- 对Theorem Proving, Propositional Logic, Automated Verification and Reasoning以及这些技术的应用场景（Side-channel Security, AI Robustness/Fairness, Information Flow security.） （加分项）
- 有程序分析/验证的研究/项目实习经历，对LLVM/Soot, Z3/CVC5 Solver, KLEE, Dafny等工具有基本的了解和使用经历。（加分项）
- 在PL/SE/FM/Security等领域中的国际顶级学术会议/期刊表过论文。（加分项）
申请方式：
请于 2023 年 12 月 15 日之前通过 Purdue 大学官方申请系统提交博士申请。请注意，Purdue ECE 官方的博士申请截止日期为 2023 年 12 月 1 日，但同学们可以在该日期之后继续申请，申请不会受到影响。
