24小时热门版块排行榜    

北京石油化工学院2026年研究生招生接收调剂公告
查看: 633  |  回复: 0

MNSCS

新虫 (初入文坛)

[交流] 爱尔兰国立梅努斯大学计算机系博士生招聘 - 软件工程与形式化方向

爱尔兰国立梅努斯大学(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月上旬

欢迎优秀本科生和硕士生申请。
非诚勿扰!!!
回复此楼

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 MNSCS 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 求生物学调剂 +14 15172915737 2026-04-01 14/700 2026-04-04 20:13 by babysonlkd
[考研] 求调剂 +6 朔朔话 2026-04-02 7/350 2026-04-04 19:16 by 蓝云思雨
[考研] 一志愿北京化工085600 310分求调剂 +8 0856材料与化工3 2026-04-04 10/500 2026-04-04 17:39 by oooqiao
[考研] 288求调剂 一志愿哈工大 材料与化工 +12 洛神哥哥 2026-04-03 12/600 2026-04-04 09:22 by 有机小民工
[考研] 0856调剂 +8 曲听筠 2026-03-30 8/400 2026-04-04 08:46 by tianyyysss
[考研] 268求调剂 +8 你好tg 2026-04-03 9/450 2026-04-04 05:08 by gswylq
[考研] 295求调剂 +3 尚偌呀 2026-04-03 4/200 2026-04-03 21:23 by zhq0425
[考研] 289-求调剂 +4 这里是_ 2026-04-03 4/200 2026-04-03 14:23 by 1753564080
[考研] 303求调剂 +3 一色清羽 2026-04-02 4/200 2026-04-03 10:22 by 蓝云思雨
[考研] 一志愿武汉理工0856,初试334 +3 26考研材料 2026-04-02 3/150 2026-04-02 21:22 by dongzh2009
[考研] 279求调剂 +5 傅文秋 2026-04-02 5/250 2026-04-02 18:10 by 笔落锦州
[考研] 377求调剂 +3 RASKIN 2026-04-02 3/150 2026-04-02 09:45 by zzchen2000
[考研] 08生物与医药专硕初试346找调剂 +6 dianeeee 2026-04-01 7/350 2026-04-02 08:23 by guoweigw
[考研] 304求调剂 +12 素年祭语 2026-03-31 15/750 2026-04-01 22:41 by peike
[考研] 材料与化工(0856)304求B区调剂 +8 邱gl 2026-03-30 16/800 2026-04-01 17:58 by 邱gl
[考研] 环境工程调剂 +9 hyzzzzzzz. 2026-04-01 9/450 2026-04-01 14:20 by salamander`
[考研] 考研生物与医药调剂 +7 铁憨憨123425 2026-03-31 7/350 2026-04-01 08:45 by JourneyLucky
[考研] 考研调剂 +9 小蜡新笔 2026-03-29 10/500 2026-03-31 19:52 by Dyhoer
[考研] 一志愿华东师范大学有机化学专业,初试351分,复试被刷求调剂! +9 真名有冰 2026-03-29 10/500 2026-03-31 18:01 by xhai2011
[考研] 085601英二数二求调剂 总分325 +4 余航航 2026-03-31 4/200 2026-03-31 17:38 by 唐沐儿
信息提示
请填处理意见