| 查看: 633 | 回复: 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月上旬 欢迎优秀本科生和硕士生申请。 非诚勿扰！！！ |
回复此楼» 猜你喜欢
323分（计算机视觉和大模型项目）能直接上手
已经有3人回复
-
复试调剂
已经有3人回复
-
311分 22408 求调剂
已经有3人回复
-
320分人工智能调剂
已经有7人回复
-
一志愿郑大0705求调剂
已经有4人回复
-
0703化学
已经有10人回复
-
301求调剂
已经有10人回复
-
306分材料与化工求调剂
已经有6人回复
-
材料调剂
已经有11人回复
-
324求调剂
已经有9人回复
