| 查看: 1320 | 回复: 6 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
爱尔兰国立梅努斯大学计算机系博士生招聘 - 软件工程与形式化方向
|
|||
|
爱尔兰国立梅努斯大学(Maynooth University)计算机系博士生招聘 - 软件工程与形式化方向： 1.爱尔兰国立梅努斯大学(Maynooth University)计算机系简介： 梅努斯大学属于爱尔兰国立大学联盟(National University of Ireland)中的重要一员。目前大约有超过11000名本科生，2000名硕士博士生和900名不同学科的科研人员。梅努斯大学计算机系目前拥有7个核心课题组。主要覆盖计算机硬件，视觉，教育，程序设计与形式化，计算理论等。 2. 形式化课题组简介： 课题组项目目前涵盖飞机发动机零部件的验证，范畴论，人工智能导向的形式化验证，软件模型的验证等等。目前课形式化题组拟招聘一名全奖博士。主要研究方向为：针对基于UML和OCL的语言开发可靠性语言用来帮助进行形式化验证。课题组目前有2名博后，5名博士在读，1名硕士在读。 3. 奖学金与培养计划： 你将会获得学费全免和每年16000欧元的全额奖学金（一共4年），进行为期4年的博士研究。为培养全面型人才，你不但会在导师带领下获得系统的科研引导和训练，同时也会有机会与导师一起参与到本科教学中以获取一定的教学经验。比如：实验设计，教程的改进和课程内容的答疑。 4.具体要求： 具有良好的计算机科学背景包括：程序设计，软件工程，离散数学（逻辑）。 有扎实的程序能力， 能独立完成部署的编码任务。 对计算机理论基础有着强烈的兴趣与好奇心。 具有良好的英语听说读写能力或者相当于雅思6.5 (不是必须条件)。 有过学术论文发表经历的优先考虑（不是必须条件）。 欢迎优秀本科生和硕士生申请。 5. 联系与申请方式： 有意向的申请者请把你的简历与个人陈述发送至吴老师:haowu@cs.nuim.ie 6. 面试时间： 2月下旬3月中，具体时间会以邮件形式通知。可通过网络方式（Skype，微信等）进行面试。 注：为了节约双方时间和成本请在个人陈述中明确写明读博的原因和理由。 |
回复此楼» 猜你喜欢
一志愿天津大学材料与化工275求调剂
已经有22人回复
-
0703求调剂
已经有5人回复
-
0857 资源与环境 285分
已经有6人回复
-
材料工程,326分，求调剂
已经有5人回复
-
301求调剂
已经有5人回复
-
334求调剂
已经有3人回复
-
材料与化工085600调剂求老师收留
已经有5人回复
-
一志愿华科071000生物学 338求调剂
已经有4人回复
-
290求调剂
已经有4人回复
-
308求调剂
已经有4人回复
6楼2022-02-24 19:26:29
freemanxzx
新虫 (正式写手)
- 应助: 0 (幼儿园)
- 金币: 3895.9
- 沙发: 1
- 帖子: 847
- 在线: 306.9小时
- 虫号: 5355174
- 注册: 2016-12-14
- 专业: 计算机软件
2楼2022-02-16 23:29:40
3楼2022-02-20 20:34:58
4楼2022-02-20 22:33:44
