| 查看: 1279 | 回复: 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，微信等）进行面试。 注：为了节约双方时间和成本请在个人陈述中明确写明读博的原因和理由。 |
回复此楼» 猜你喜欢
同年申请2项不同项目，第1个项目里不写第2个项目的信息，可以吗
已经有6人回复
-
依托企业入选了国家启明计划青年人才。有无高校可以引进的。
已经有6人回复
-
依托企业入选了国家启明计划青年人才。有无高校可以引进的。
已经有10人回复
-
天津大学招2026.09的博士生，欢迎大家推荐交流（博导是本人）
已经有9人回复
-
有院领导为了换新车，用横向课题经费买了俩车
已经有10人回复
-
遇见不省心的家人很难过
已经有24人回复
-
AI 太可怕了，写基金时，提出想法，直接生成的文字比自己想得深远，还有科学性
已经有6人回复
-
酰胺脱乙酰基
已经有13人回复
-
有时候真觉得大城市人没有县城人甚至个体户幸福
已经有10人回复
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
5楼2022-02-20 22:35:30
6楼2022-02-24 19:26:29
7楼2022-03-01 23:00:04