| 7 | 1/1 | 返回列表 |
| 查看: 1353 | 回復(fù): 6 | |||
MNSCS新蟲 (初入文壇)
|
[交流]
愛爾蘭國立梅努斯大學(xué)計(jì)算機(jī)系博士生招聘 - 軟件工程與形式化方向
|
|
愛爾蘭國立梅努斯大學(xué)(Maynooth University)計(jì)算機(jī)系博士生招聘 - 軟件工程與形式化方向: 1.愛爾蘭國立梅努斯大學(xué)(Maynooth University)計(jì)算機(jī)系簡(jiǎn)介: 梅努斯大學(xué)屬于愛爾蘭國立大學(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è)人陳述中明確寫明讀博的原因和理由。 |
新蟲 (正式寫手)
新蟲 (初入文壇)
新蟲 (初入文壇)
新蟲 (初入文壇)
新蟲 (初入文壇)
新蟲 (初入文壇)
| 7 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 070300化學(xué)求調(diào)劑 +8 | 小黃鴨寶 2026-03-30 | 8/400 |
|
|---|---|---|---|---|
|
[考研] 287求調(diào)劑 +17 | land xuxu 2026-03-26 | 17/850 |
|
|
[考研] 291求調(diào)劑 +12 | Y-cap 2026-03-29 | 15/750 |
|
|
[考研] 308求調(diào)劑 +8 | 墨墨漠 2026-03-25 | 8/400 |
|
|
[考研] 本科211總分289,08工學(xué)真心求調(diào)劑 +3 | utopiaE 2026-03-30 | 3/150 |
|
|
[考研] 調(diào)劑 +4 | GK72 2026-03-30 | 4/200 |
|
|
[考研] 327求調(diào)劑 +5 | 小卡不卡. 2026-03-29 | 5/250 |
|
|
[考研] 一志愿廈門大學(xué)材料工程專碩354找調(diào)劑!!! +5 | 貝唄鋇鋇 2026-03-30 | 5/250 |
|
|
[考研] 求調(diào)劑 +7 | 青春裁為三截 2026-03-29 | 7/350 |
|
|
[考研] 085602 化學(xué)工程專碩 340分求調(diào)劑 +4 | qianbai11 2026-03-29 | 4/200 |
|
|
[考研] 085404求調(diào)劑,總分309,本科經(jīng)歷較為豐富 +6 | 來財(cái)aa 2026-03-25 | 6/300 |
|
|
[考研] 298求調(diào)劑 +3 | 種圣賜 2026-03-29 | 3/150 |
|
|
[考研] 330分求調(diào)劑 +5 | qzenlc 2026-03-29 | 5/250 |
|
|
[考研] 本科新能源科學(xué)與工程,一志愿華理能動(dòng)285求調(diào)劑 +7 | AZMK 2026-03-28 | 11/550 |
|
|
[考研] 085602 化工專碩 338分 求調(diào)劑 +12 | 路癡小琪 2026-03-27 | 12/600 |
|
|
[考研] 283求調(diào)劑 +7 | A child 2026-03-28 | 7/350 |
|
|
[考研] 265求調(diào)劑 +8 | 小木蟲085600 2026-03-27 | 8/400 |
|
|
[考研] 279 分 求調(diào)劑 +4 | 睡個(gè)好覺_16 2026-03-24 | 4/200 |
|
|
[考研] 085600,材料與化工321分,求調(diào)劑 +9 | 大饞小子 2026-03-27 | 9/450 |
|
|
[考研] 環(huán)境專碩324分求調(diào)劑推薦 +5 | 軒小寧—— 2026-03-26 | 5/250 |
|