| 查看: 700 | 回复: 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月上旬 欢迎优秀本科生和硕士生申请。 非诚勿扰！！！ |
回复此楼» 猜你喜欢
有多少人是今天查系统知道结果的？
已经有18人回复
-
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有4人回复
-
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有4人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有5人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有5人回复
-
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有7人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有7人回复
