香港科技大学（广州）钟秉灼老师招收形式化方法，多模态大模型和AI+方向全奖博士生/研究助理

香港科技大学（简称港科大）自1991年成立以来，凭借其锐意创新、与时并进的理念，在全球高校中迅速崛起，已经发展为一所在国际上享有盛誉的研究型大学。香港科技大学（广州）（简称港科大（广州））成立于2022年，是国务院出台《广州南沙深化面向世界的粤港澳全面合作总体方案》后落成的首个重大项目，作为一所具有独立法人资格的内地与香港合作办学机构，与港科大共同构成“科大2.0”。在学生培养上，港科大（广州）采用全英文教学，旨在培养具有国际视野和创新能力的高端人才，以服务于粤港澳大湾区的科技创新和产业升级。在“港科大一体，双校互补”的指引下，两校紧密合作，教学和研究设施相互开放，课程学分互认，并确保两校学位证书、学生待遇的一致性。在香港科技大学（广州）就读的硕士、博士研究生将获得由香港科技大学颁发的相应学位证书。

钟秉灼

Assistant Professor

助理教授

钟秉灼博士，香港科技大学（广州）信息枢纽人工智能学域和系统枢纽智能交通学域双聘助理教授，副研究员，博士生导师，入选国家级和广东省高层次青年人才计划。此前，他于2023年以最优等成绩（summa cum laude）在德国慕尼黑工业大学获计算机科学理学博士学位，并在毕业后赴美国加州大学伯克利分校和科罗拉多大学博尔德分校担任博士后研究员。他聚焦于研究具身智能安全（safe and secure embodied intelligence）和信息物理系统控制（control of 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 等顶尖期刊和会议的审稿人和程序委员会成员。

钟秉灼老师课题组的研究方向包括（但不限于）：

1. 形式化方法与多模态大模型

2. 具身智能安全（safe and secure embodied intelligence）

3. 信息物理系统控制

4. AI+ 低空经济，海洋，教育和电子设计自动化（EDA）

详细信息请查看主页：https://sss-cpslab.cn/

课题组研究涉及人工智能，形式化方法，控制理论，机器人学以及通信科学等领域的相互融合，因此诚邀具有（但不限于）形式化方法与自动机理论，大模型，机器学习，自动化与控制理论，运筹学和博弈论等方面背景的同学加入课题组。以下是对申请者的具体要求：

1. 拥有（但不限于）计算机科学，自动化，数学与应用数学，力学，电气工程，软件工程等专业的本科或硕士学位（即将毕业的同学也可以提前联系）；

2. 学习优秀，热爱科研，有团队合作精神，有志于在安全可信人工智能和AI+领域做出具有原创性的理论和实践成果；

3. 有良好的数学基础， 熟练的编程能力和较强的英语写作与沟通能力，满足香港科技大学（广州）的英语语言入学要求；

4. 对符合以下条件的申请者优先考虑：

(1) 有一定科研经历，有人工智能，形式化方法，控制等领域期刊和会议论文发表经验；

博士研究生的学制为 3 年（对于已有相关研究型硕士学位的申请者）或 4 年（对于没有相关研究型硕士学位的申请者），学费为4万人民币/年，所有录取的博士生将获得全额奖学金（约1.5万人民币/月）。对本课题组感兴趣但暂时缺乏经验的同学可以考虑申请研究助理（RA）。课题组将提供有竞争力的津贴，并优先考虑表现优异者的博士申请。