| 5 | 1/1 | 返回列表 |
| 查看: 1355 | 回復(fù): 6 | |||
| 當前只顯示滿足指定條件的回帖,點擊這里查看本話題的所有回帖 | |||
[交流]
愛爾蘭國立梅努斯大學(xué)計算機系博士生招聘 - 軟件工程與形式化方向
|
|||
|
愛爾蘭國立梅努斯大學(xué)(Maynooth University)計算機系博士生招聘 - 軟件工程與形式化方向: 1.愛爾蘭國立梅努斯大學(xué)(Maynooth University)計算機系簡介: 梅努斯大學(xué)屬于愛爾蘭國立大學(xué)聯(lián)盟(National University of Ireland)中的重要一員。目前大約有超過11000名本科生,2000名碩士博士生和900名不同學(xué)科的科研人員。梅努斯大學(xué)計算機系目前擁有7個核心課題組。主要覆蓋計算機硬件,視覺,教育,程序設(shè)計與形式化,計算理論等。 2. 形式化課題組簡介: 課題組項目目前涵蓋飛機發(fā)動機零部件的驗證,范疇論,人工智能導(dǎo)向的形式化驗證,軟件模型的驗證等等。目前課形式化題組擬招聘一名全獎博士。主要研究方向為:針對基于UML和OCL的語言開發(fā)可靠性語言用來幫助進行形式化驗證。課題組目前有2名博后,5名博士在讀,1名碩士在讀。 3. 獎學(xué)金與培養(yǎng)計劃: 你將會獲得學(xué)費全免和每年16000歐元的全額獎學(xué)金(一共4年),進行為期4年的博士研究。為培養(yǎng)全面型人才,你不但會在導(dǎo)師帶領(lǐng)下獲得系統(tǒng)的科研引導(dǎo)和訓(xùn)練,同時也會有機會與導(dǎo)師一起參與到本科教學(xué)中以獲取一定的教學(xué)經(jīng)驗。比如:實驗設(shè)計,教程的改進和課程內(nèi)容的答疑。 4.具體要求: 具有良好的計算機科學(xué)背景包括:程序設(shè)計,軟件工程,離散數(shù)學(xué)(邏輯)。 有扎實的程序能力, 能獨立完成部署的編碼任務(wù)。 對計算機理論基礎(chǔ)有著強烈的興趣與好奇心。 具有良好的英語聽說讀寫能力或者相當于雅思6.5 (不是必須條件)。 有過學(xué)術(shù)論文發(fā)表經(jīng)歷的優(yōu)先考慮(不是必須條件)。 歡迎優(yōu)秀本科生和碩士生申請。 5. 聯(lián)系與申請方式: 有意向的申請者請把你的簡歷與個人陳述發(fā)送至吳老師:haowu@cs.nuim.ie 6. 面試時間: 2月下旬3月中,具體時間會以郵件形式通知。可通過網(wǎng)絡(luò)方式(Skype,微信等)進行面試。 注:為了節(jié)約雙方時間和成本請在個人陳述中明確寫明讀博的原因和理由。 |
新蟲 (正式寫手)
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 294分080500材料科學(xué)與工程求調(diào)劑 +10 | 柳溪邊 2026-03-26 | 11/550 |
|
|---|---|---|---|---|
|
[考研] 0856 335分 | 封裝or激光加工 老師看看我! +9 | cccchenso 2026-03-29 | 9/450 |
|
|
[考研] 材料科學(xué)與工程調(diào)劑 +13 | 深V宿舍吧 2026-03-30 | 14/700 |
|
|
[考研]
|
小羊36 2026-03-30 | 4/200 |
|
|
[考研] 08工科,295,接受跨專業(yè)調(diào)劑 +4 | lmnlzy 2026-03-31 | 4/200 |
|
|
[考研] 282求調(diào)劑 不挑專業(yè) 求收留 +4 | Yam. 2026-03-30 | 5/250 |
|
|
[考研] 求調(diào)劑 +4 | 圖鑒212 2026-03-30 | 4/200 |
|
|
[論文投稿]
chinese chemical letters英文版投稿求助
130+3
|
Yishengeryi 2026-03-30 | 3/150 |
|
|
[考研] 085600,專業(yè)課化工原理,320分求調(diào)劑 +6 | 大饞小子 2026-03-29 | 6/300 |
|
|
[考研]
|
gr哈哈哈 2026-03-28 | 3/150 |
|
|
[考研] 328求調(diào)劑 +8 | 嗯滴的基本都 2026-03-27 | 8/400 |
|
|
[考研] 0703本科鄭州大學(xué)求調(diào)劑 +7 | nhj_ 2026-03-25 | 7/350 |
|
|
[考研] 求調(diào)劑 +10 | 張zz111 2026-03-27 | 11/550 |
|
|
[考研] 本科雙非材料,跨考一志愿華電085801電氣,283求調(diào)劑,任何專業(yè)都可以 +6 | 芝士雪baoo 2026-03-28 | 8/400 |
|
|
[考研] 071000生物學(xué)求調(diào)劑,初試成績343 +7 | 小小甜面團 2026-03-25 | 7/350 |
|
|
[考研] 394求調(diào)劑 +3 | 好事多磨靜候佳?/a> 2026-03-26 | 5/250 |
|
|
[考研] 0856,材料與化工321分求調(diào)劑 +12 | 大饞小子 2026-03-27 | 13/650 |
|
|
[考研] 0856調(diào)劑 +5 | 求求讓我有書讀?/a> 2026-03-26 | 6/300 |
|
|
[碩博家園] 北京林業(yè)大學(xué)碩導(dǎo)招生廣告 +6 | kongweilin 2026-03-26 | 8/400 |
|
|
[考研] 調(diào)劑 +4 | 柚柚yoyo 2026-03-26 | 4/200 |
|