| 1 | 1/1 | 返回列表 |
| 查看: 628 | 回復(fù): 0 | |||
MNSCS新蟲 (初入文壇)
|
[交流]
愛(ài)爾蘭國(guó)立梅努斯大學(xué)計(jì)算機(jī)系博士生招聘 - 軟件工程與形式化方向
|
|
愛(ài)爾蘭國(guó)立梅努斯大學(xué)(Maynooth University)計(jì)算機(jī)系博士生招聘 - 軟件工程與形式化方向: 1. 愛(ài)爾蘭國(guó)立梅努斯大學(xué)(Maynooth University)計(jì)算機(jī)系簡(jiǎn)介: 梅努斯大學(xué)屬于愛(ài)爾蘭國(guó)立大學(xué)聯(lián)盟(National University of Ireland)中的重要一員。目前大約有超過(guò)11000名本科生,2000名碩士博士生和900名不同學(xué)科的科研人員。梅努斯大學(xué)計(jì)算機(jī)系目前擁有7個(gè)核心課題組。主要覆蓋計(jì)算機(jī)硬件,視覺(jué),教育,形式化,計(jì)算理論等。 2. 形式化課題組簡(jiǎn)介: 課題組常年承擔(dān)歐盟重要的科學(xué)項(xiàng)目。目前的工作涵蓋飛機(jī)發(fā)動(dòng)機(jī)零部件的驗(yàn)證,范疇論,形式化驗(yàn)證神經(jīng)網(wǎng)絡(luò),軟件模型驗(yàn)證,規(guī)范語(yǔ)言等等。課題組擬招聘一名博士。主要研究方向?yàn)? 混合式系統(tǒng)的形式化驗(yàn)證。 目前課題組由4名全職教授,3名博后,6名博士組成。 3. 獎(jiǎng)學(xué)金:學(xué)費(fèi)全免和每年18500歐元的全額獎(jiǎng)學(xué)金(一共4年)。 4. 學(xué)制:4年 5.招生對(duì)象: 具有良好的計(jì)算機(jī)科學(xué)背景包括:程序設(shè)計(jì),軟件工程,編譯原理,離散數(shù)學(xué)。 有扎實(shí)的程序設(shè)計(jì)能力。 具有良好的英語(yǔ)聽說(shuō)讀寫能力。 6. 聯(lián)系與申請(qǐng)方式:吳老師 haowu@cs.nuim.ie 7. 重要日期 申請(qǐng)截止日期:2023年1月30日 申請(qǐng)結(jié)果公布:2023年4月上旬 歡迎優(yōu)秀本科生和碩士生申請(qǐng)。 非誠(chéng)勿擾。! |
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 306求0703調(diào)劑一志愿華中師范 +10 | 紙魚ly 2026-03-21 | 11/550 |
|
|---|---|---|---|---|
|
[考研] 一志愿北京化工大學(xué)材料與化工 264分各科過(guò)A區(qū)國(guó)家線 +3 | 哈哈157349 2026-03-21 | 3/150 |
|
|
[考研] 305分求調(diào)劑(食品工程) +5 | Sxy112 2026-03-21 | 7/350 |
|
|
[考研] 07化學(xué)280分求調(diào)劑 +4 | 722865 2026-03-23 | 4/200 |
|
|
[考研] 341求調(diào)劑(一志愿湖南大學(xué)070300) +5 | 番茄頭--- 2026-03-22 | 6/300 |
|
|
[考研] 333求調(diào)劑 +3 | ALULU4408 2026-03-23 | 3/150 |
|
|
[考研] 350求調(diào)劑 +6 | weudhdk 2026-03-19 | 6/300 |
|
|
[考研] 接收2026碩士調(diào)劑(學(xué)碩+專碩) +4 | allen-yin 2026-03-23 | 6/300 |
|
|
[考研] 323求調(diào)劑 +6 | 洼小桶 2026-03-18 | 6/300 |
|
|
[考研] 311求調(diào)劑 +6 | 冬十三 2026-03-18 | 6/300 |
|
|
[考研] 315分,誠(chéng)求調(diào)劑,材料與化工085600 +3 | 13756423260 2026-03-22 | 3/150 |
|
|
[考研] 求調(diào)劑一志愿海大,0703化學(xué)學(xué)碩304分,有大創(chuàng)項(xiàng)目,四級(jí)已過(guò) +6 | 幸運(yùn)哩哩 2026-03-22 | 10/500 |
|
|
[考研] 一志愿華中農(nóng)業(yè)071010,總分320求調(diào)劑 +5 | 困困困困坤坤 2026-03-20 | 6/300 |
|
|
[考研] 0703化學(xué)297求調(diào)劑 +3 | Daisy☆ 2026-03-20 | 3/150 |
|
|
[考研] 材料學(xué)學(xué)碩080502 337求調(diào)劑-一志愿華中科技大學(xué) +4 | 順順順mr 2026-03-18 | 5/250 |
|
|
[考研] 一志愿武理材料305分求調(diào)劑 +6 | 想上岸的鯉魚 2026-03-18 | 7/350 |
|
|
[考研] 308求調(diào)劑 +3 | 阿姐阿姐家啊 2026-03-18 | 3/150 |
|
|
[考研]
|
然11 2026-03-19 | 4/200 |
|
|
[考研] 295材料求調(diào)劑,一志愿武漢理工085601專碩 +5 | Charlieyq 2026-03-19 | 5/250 |
|
|
[考研] 材料考研調(diào)劑 +3 | xwt。 2026-03-19 | 3/150 |
|