01
02
钟秉灼博士,2024年8月起任香港科技大学(广州)信息枢纽人工智能学域助理教授(博士生导师)。此前,他于2023年以最优等成绩(summa cum laude)在德国慕尼黑工业大学获计算机科学理学博士学位,并在毕业后赴美国加州大学伯克利分校和科罗拉多大学博尔德分校担任博士后研究员。他聚焦于研究信息物理系统(Cyber-Physical Systems)中安全可信人工智能的基础理论,并将其应用在自主无人机、无人船等安全攸关系统(safety- and security-critical systems)中。相关研究成果已在IEEE Transactions on Automatic Control、Automatica、AAAI等控制和人工智能领域的顶尖期刊和会议中得到广泛认可,其中发表在Automatica的长文被选为编辑推荐文章(Editors’ Choice Paper,每年仅12篇)。他目前为IEEE 控制系统协会混杂系统技术委员会委员,并担任IEEE Transactions on Automatic Control, Nonlinear Analysis: Hybrid Systems, AAAI (Special Track on Safe, Robust and Responsible AI)等顶尖期刊和会议的审稿人和程序委员会成员。2022年获IEEE Control Systems Letters杰出审稿人称号。
入职港科大(广州)后,他将作为负责人(Principle Investigator)组建安全与智能信息物理系统实验室。实验室的愿景是在实践中发展和融合人工智能,控制,机器人学,形式化方法,数据科学以及通信科学等领域的理论,以构建既安全(safe and secure)又智能(smart)的现代信息物理系统。实验室的研究方向包括(但不限于):
1. 构建即安全(secure-by-construction)的人工智能控制器沙箱机制设计
2. 计算感知型(computation-aware)和硬件感知型 (hardware-aware)控制器的生成
3. 深度神经网络的形式化验证
4. 运行时保证(run-time assurance)架构下的在线安全强化学习
5. 上述研究成果在自主无人机,无人船等智能系统中的应用
详细信息请点击“阅读原文”查看主页。
03
课题组研究涉及人工智能,形式化方法,控制理论,机器人学以及通信科学等领域的相互融合,因此诚邀具有(但不限于)形式化方法与自动机理论,机器学习,自动化与控制理论,运筹学和博弈论等方面背景的同学加入课题组。以下是对申请者的具体要求:
1. 拥有(但不限于)计算机科学,自动化,数学与应用数学,力学,电气工程,软件工程等专业的本科或硕士学位(即将毕业的同学也可以提前联系);
2. 学习优秀,热爱科研,有团队合作精神,有志于在安全可信人工智能领域做出具有原创性的理论和实践成果;
3. 有良好的数学基础, 熟练的编程能力, 和较强的英语写作与沟通能力,满足香港科技大学(广州)的英语语言入学要求;
4. 对符合以下条件的申请者优先考虑:
(1) 有一定科研经历,有人工智能,形式化方法,控制等领域期刊和会议论文发表经验;
(2) 有与无人机,无人船等无人系统相关的研究或实习经验。
博士研究生的学制为 3 年(对于已有相关研究型硕士学位的申请者)或 4 年(对于没有相关研究型硕士学位的申请者),学费为4万人民币/年,所有录取的博士生将获得全额奖学金(约1.5万人民币/月)。对本课题组感兴趣但暂时缺乏经验的同学可以考虑申请研究助理(RA)。课题组将提供有竞争力的津贴,并优先考虑表现优异者的博士申请。
04
1. 已取得(3年内)或即将取得国内外大学或研究机构计算机科学,自动化,人工智能等相关专业的博士学位。
2. 具有扎实的研究功底和自主探索的能力,博士期间研究与课题组研究领域相关。
3. 博士后聘期为2年,提供40万-60万综合年薪,各级政府提供最高45万元科研经费。
4. 支持博士后在站期间申请各级科研课题资助,协助申请市/区级各项人才称号及人才待遇。
5. 出站后留粤工作的博士后可申请最高70万元安家费。
博士后人员进站,可选择落户广州市,其配偶及未成年子女随迁入户、子女入托、入学等按广州市相关条例执行。
05
请将个人简历(中英文皆可)、所有学位的成绩单、代表性论文或项目(如有)以及研究概述(英语)发送到:bingzhuo.zhong@berkeley.edu,邮件主题请按照“PhD/RA/PostDoc Application + Name”格式填写。在研究概述中,请简要介绍以下内容:
1)研究背景及其与本课题组研究主题之间的联系;
2)对后续研究的构想。
所有申请将在两周内进行认真评估。如果简历通过筛选,将通过电子邮件通知面试的相关事宜。如果在提交申请后一个月内没有收到任何回复,意味着申请未能进入下一轮评审。由于精力有限,无法保证对所有申请个案进行单独回复。