| 5 | 1/1 | 返回列表 |
| 查看: 1356 | 回復(fù): 6 | |||
| 當(dāng)前只顯示滿足指定條件的回帖,點(diǎn)擊這里查看本話題的所有回帖 | |||
MNSCS新蟲 (初入文壇)
|
[交流]
愛爾蘭國(guó)立梅努斯大學(xué)計(jì)算機(jī)系博士生招聘 - 軟件工程與形式化方向
|
||
|
愛爾蘭國(guó)立梅努斯大學(xué)(Maynooth University)計(jì)算機(jī)系博士生招聘 - 軟件工程與形式化方向: 1.愛爾蘭國(guó)立梅努斯大學(xué)(Maynooth University)計(jì)算機(jī)系簡(jiǎn)介: 梅努斯大學(xué)屬于愛爾蘭國(guó)立大學(xué)聯(lián)盟(National University of Ireland)中的重要一員。目前大約有超過11000名本科生,2000名碩士博士生和900名不同學(xué)科的科研人員。梅努斯大學(xué)計(jì)算機(jī)系目前擁有7個(gè)核心課題組。主要覆蓋計(jì)算機(jī)硬件,視覺,教育,程序設(shè)計(jì)與形式化,計(jì)算理論等。 2. 形式化課題組簡(jiǎn)介: 課題組項(xiàng)目目前涵蓋飛機(jī)發(fā)動(dòng)機(jī)零部件的驗(yàn)證,范疇論,人工智能導(dǎo)向的形式化驗(yàn)證,軟件模型的驗(yàn)證等等。目前課形式化題組擬招聘一名全獎(jiǎng)博士。主要研究方向?yàn)椋横槍?duì)基于UML和OCL的語言開發(fā)可靠性語言用來幫助進(jìn)行形式化驗(yàn)證。課題組目前有2名博后,5名博士在讀,1名碩士在讀。 3. 獎(jiǎng)學(xué)金與培養(yǎng)計(jì)劃: 你將會(huì)獲得學(xué)費(fèi)全免和每年16000歐元的全額獎(jiǎng)學(xué)金(一共4年),進(jìn)行為期4年的博士研究。為培養(yǎng)全面型人才,你不但會(huì)在導(dǎo)師帶領(lǐng)下獲得系統(tǒng)的科研引導(dǎo)和訓(xùn)練,同時(shí)也會(huì)有機(jī)會(huì)與導(dǎo)師一起參與到本科教學(xué)中以獲取一定的教學(xué)經(jīng)驗(yàn)。比如:實(shí)驗(yàn)設(shè)計(jì),教程的改進(jìn)和課程內(nèi)容的答疑。 4.具體要求: 具有良好的計(jì)算機(jī)科學(xué)背景包括:程序設(shè)計(jì),軟件工程,離散數(shù)學(xué)(邏輯)。 有扎實(shí)的程序能力, 能獨(dú)立完成部署的編碼任務(wù)。 對(duì)計(jì)算機(jī)理論基礎(chǔ)有著強(qiáng)烈的興趣與好奇心。 具有良好的英語聽說讀寫能力或者相當(dāng)于雅思6.5 (不是必須條件)。 有過學(xué)術(shù)論文發(fā)表經(jīng)歷的優(yōu)先考慮(不是必須條件)。 歡迎優(yōu)秀本科生和碩士生申請(qǐng)。 5. 聯(lián)系與申請(qǐng)方式: 有意向的申請(qǐng)者請(qǐng)把你的簡(jiǎn)歷與個(gè)人陳述發(fā)送至吳老師:haowu@cs.nuim.ie 6. 面試時(shí)間: 2月下旬3月中,具體時(shí)間會(huì)以郵件形式通知?赏ㄟ^網(wǎng)絡(luò)方式(Skype,微信等)進(jìn)行面試。 注:為了節(jié)約雙方時(shí)間和成本請(qǐng)?jiān)趥(gè)人陳述中明確寫明讀博的原因和理由。 |
新蟲 (初入文壇)
新蟲 (正式寫手)
新蟲 (初入文壇)
新蟲 (初入文壇)
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 材料科學(xué)與工程求調(diào)劑 +13 | 深V宿舍吧 2026-03-29 | 13/650 |
|
|---|---|---|---|---|
|
[考研] 309求調(diào)劑 +17 | 誰不是少年 2026-03-29 | 17/850 |
|
|
[考研] 299求調(diào)劑 +8 | 嗯嗯嗯嗯2 2026-03-27 | 8/400 |
|
|
[考研] 086000調(diào)劑 +5 | 7901117076 2026-03-26 | 5/250 |
|
|
[考研] 315求調(diào)劑 +6 | akie... 2026-03-28 | 7/350 |
|
|
[考研]
|
nnnnnnn5 2026-03-25 | 12/600 |
|
|
[考研] 本科211生物醫(yī)學(xué)工程085409求調(diào)劑339分 +7 | 里子木yy 2026-03-29 | 7/350 |
|
|
[考研] 266分,求材料冶金能源化工等調(diào)劑 +8 | 哇呼哼呼哼 2026-03-27 | 10/500 |
|
|
[考研] 272求調(diào)劑,接受跨專業(yè)調(diào)劑! +3 | 閑魚盧 2026-03-31 | 3/150 |
|
|
[考研] 334求調(diào)劑 +7 | Trying] 2026-03-31 | 7/350 |
|
|
[考研] 總分322求生物學(xué)/生化與分子/生物信息學(xué)相關(guān)調(diào)劑 +6 | 星沉uu 2026-03-26 | 7/350 |
|
|
[考研] 274求調(diào)劑 +6 | xiao愛同學(xué) 2026-03-30 | 6/300 |
|
|
[考研] 323分 食品與營(yíng)養(yǎng)調(diào)劑 +3 | 嘿ooo 2026-03-31 | 3/150 |
|
|
[考研] 335求調(diào)劑 +3 | 321* 2026-03-31 | 3/150 |
|
|
[考研] 抱歉 +3 | 田洪有 2026-03-30 | 3/150 |
|
|
[考研] 071010 323 分求調(diào)劑 +3 | Baekzhy 2026-03-27 | 3/150 |
|
|
[考研] 0703化學(xué)/290求調(diào)劑/本科經(jīng)歷豐富/工科也可 +13 | 丹青奶蓋 2026-03-26 | 15/750 |
|
|
[考研] 2026年華南師范大學(xué)歡迎化學(xué),化工,生物,生醫(yī)工等專業(yè)優(yōu)秀學(xué)子加入! +3 | llss0711 2026-03-28 | 6/300 |
|
|
[考研] 一志愿吉大071010,316分求調(diào)劑 +3 | xgbiknn 2026-03-27 | 3/150 |
|
|
[考研] 081200-11408-276學(xué)碩求調(diào)劑 +4 | 崔wj 2026-03-26 | 4/200 |
|