| 查看: 603 | 回复: 0 | |||
[交流]
爱尔兰国立梅努斯大学计算机系博士生招聘 - 软件工程与形式化方向
|
|
爱尔兰国立梅努斯大学(Maynooth University)计算机系博士生招聘 - 软件工程与形式化方向： 1. 爱尔兰国立梅努斯大学(Maynooth University)计算机系简介： 梅努斯大学属于爱尔兰国立大学联盟(National University of Ireland)中的重要一员。目前大约有超过11000名本科生，2000名硕士博士生和900名不同学科的科研人员。梅努斯大学计算机系目前拥有7个核心课题组。主要覆盖计算机硬件，视觉，教育，形式化，计算理论等。 2. 形式化课题组简介： 课题组常年承担欧盟重要的科学项目。目前的工作涵盖飞机发动机零部件的验证，范畴论，形式化验证神经网络，软件模型验证，规范语言等等。课题组拟招聘一名博士。主要研究方向为: 混合式系统的形式化验证。 目前课题组由4名全职教授，3名博后，6名博士组成。 3. 奖学金：学费全免和每年18500欧元的全额奖学金（一共4年）。 4. 学制：4年 5.招生对象： 具有良好的计算机科学背景包括：程序设计，软件工程，编译原理，离散数学。 有扎实的程序设计能力。 具有良好的英语听说读写能力。 6. 联系与申请方式：吴老师 haowu@cs.nuim.ie 7. 重要日期 申请截止日期：2023年1月30日 申请结果公布：2023年4月上旬 欢迎优秀本科生和硕士生申请。 非诚勿扰！！！ |
回复此楼» 猜你喜欢
英文综述是否需要润色及查重
已经有5人回复
-
救命帖
已经有5人回复
-
限项规定
已经有5人回复
-
为什么nbs上溴 没有产物点出现呢
已经有9人回复
-
招博士
已经有3人回复
-
存款400万可以在学校里躺平吗
已经有35人回复
-
最失望的一年
已经有18人回复
-
求推荐英文EI期刊
已经有5人回复