澳大利亚国立大学

澳大利亚国立大学，简称ANU，于1946年始建，坐落于澳大利亚堪培拉，是澳大利亚第一所研究型大学。澳大利亚国立大学下设七个学院和包括四所国家级科学研究院。热门学科包括人类学、地理学、哲学和政治与国际研究。

澳大利亚国立大学位居2025QS世界大学排名第30位，2024泰晤士高等教育世界大学排名第73位。

🟠学科领域：

工程与计算机科学

🟠研究课题：

Programming Language Design and Implementation for IDEs

IDE 的编程语言设计和实现

🟠研究内容：

项目的目标是创建程序员编辑代码的可测试形式模型，并使用这些模型来检查编程语言定义的形式模型是否与某些类型的 IDE 功能兼容。模型可以用于检查现有语言工作台（例如 Spoofax ）的规范，并获得有关它创建的任何尽力而为工具的质量的一些保证。

🟠指导教师：

Dr Fabian Muehlboeck

🟠申请人条件：

• 拥有解析和正式编程语言理论的背景

🟠申请截止时间：

全年接受申请

更多申请信息详情可查看网址：

https://www.findaphd.com/phds/project/programming-language-design-and-implementation-for-ides/?p179170

🟠学科领域：

科学机器学习、人工智能

🟠研究课题：

Embodied AI and machine learning for photovoltaics

用于光伏的具身 AI 和机器学习

🟠研究内容：

该项目旨在解决改变下一代光伏发电，其中我们将使用机器学习来改变该领域的能力，以精确控制钙钛矿的稳定性并合理设计基于钙钛矿的太阳能电池。

🟠指导教师：

 Prof Kylie Catchpole, Prof Klaus Weber, Dr Heping Shen, Dr Hualin Zhan

🟠申请人条件：

• 主修计算机科学或数学

• 硕士学位或一等荣誉学士学位 （GPA>3.2/4）

• 来自备受推崇的大学的班级前 5%

🟠申请截止时间：

全年接受申请

🟠奖学金截止时间：

2025年3月底

更多申请信息详情可查看网址：

https://www.findaphd.com/phds/project/embodied-ai-and-machine-learning-for-photovoltaics-fully-funded/?p173001

🟠学科领域：

工程与计算机科学

🟠研究课题：

Lightweight Formal Methods for Programming

用于编程的轻量级形式化方法

🟠研究内容：

该项目的主题将围绕着采用形式化方法社区中建立的技术，并将其应用于实用的软件工程工具和编程语言。

🟠指导教师：

Dr Liam O'Connor

🟠申请人条件：

• 强大的编程技能，包括算法和数据结构方面的技能

• 其他计算机科学领域包括：自动机理论、类型系统和编程语言、编译器、软件建模、形式验证、软件规范、定理证明。

• 对离散数学熟悉者优先

🟠奖学金待遇：

38154美元/年

🟠申请截止时间：

全年接受申请

更多申请信息详情可查看网址：

https://www.findaphd.com/phds/project/lightweight-formal-methods-for-programming/?p174991