| 查看: 634 | 回复: 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月上旬 欢迎优秀本科生和硕士生申请。 非诚勿扰！！！ |
回复此楼» 猜你喜欢
求调剂
已经有23人回复
-
301求调剂
已经有15人回复
-
304求调剂（085602，过四级，一志愿985）
已经有17人回复
-
302分求调剂 一志愿安徽大学085601
已经有12人回复
-
288环境专硕,求调材料方向
已经有23人回复
-
环境专硕调剂
已经有6人回复
-
22408 调剂材料
已经有6人回复
-
285求调剂
已经有12人回复
-
求调剂
已经有6人回复
-
085600材料与化工301分求调剂院校
已经有19人回复
