昆士兰大学博士研究奖学金 (截止日期:2020年6月30日)

40
SHARE

这是由甲骨文实验室颁发予澳洲昆士兰大学的澳洲与国际学生的博士研究奖学金。

课程:

工程与电脑。

所需资格:

  • 澳洲或国际学生;
  • 拥有荣誉或硕士学位资格;
  • 有一些编译器与中间呈现的知识;
  • 擅长逻辑和离散数学;

理想的条件:

  • 有正式语义的编程语言方面的经验;
  • 有定理证明,尤其是互动定理证明方面的经验;
  • 有程序分析,如静态分析工具或算法方面的经验。

金额:

每年澳币40,000元,免税,为期三年;并可能根据标准研究培训率,获批连续两次六个月(每年澳币28,092元)。

申请和咨询:

申请日期为2020年3月10日至6月30日。有关进一步详情,请游览https://scholarships.uq.edu.au/scholarship/phd-scholarship-verifying-compiler-optimization-passes。有兴趣申请上述奖学金者,请先联络Associate Professor Mark Utting 电话: +61 7 3365 3310, 电邮: m.utting@uq.edu.au以鉴定符合申请条件。

 

撰稿:
王会梅,2020年6月

资料来源:
澳洲昆士兰大学网站

This post is also available in: enEnglish (英语)

Advertisement