| 7 | 1/1 | 返回列表 |
| 查看: 1357 | 回復: 6 | |||
[交流]
愛爾蘭國立梅努斯大學計算機系博士生招聘 - 軟件工程與形式化方向
|
|
愛爾蘭國立梅努斯大學(Maynooth University)計算機系博士生招聘 - 軟件工程與形式化方向: 1.愛爾蘭國立梅努斯大學(Maynooth University)計算機系簡介: 梅努斯大學屬于愛爾蘭國立大學聯(lián)盟(National University of Ireland)中的重要一員。目前大約有超過11000名本科生,2000名碩士博士生和900名不同學科的科研人員。梅努斯大學計算機系目前擁有7個核心課題組。主要覆蓋計算機硬件,視覺,教育,程序設(shè)計與形式化,計算理論等。 2. 形式化課題組簡介: 課題組項目目前涵蓋飛機發(fā)動機零部件的驗證,范疇論,人工智能導向的形式化驗證,軟件模型的驗證等等。目前課形式化題組擬招聘一名全獎博士。主要研究方向為:針對基于UML和OCL的語言開發(fā)可靠性語言用來幫助進行形式化驗證。課題組目前有2名博后,5名博士在讀,1名碩士在讀。 3. 獎學金與培養(yǎng)計劃: 你將會獲得學費全免和每年16000歐元的全額獎學金(一共4年),進行為期4年的博士研究。為培養(yǎng)全面型人才,你不但會在導師帶領(lǐng)下獲得系統(tǒng)的科研引導和訓練,同時也會有機會與導師一起參與到本科教學中以獲取一定的教學經(jīng)驗。比如:實驗設(shè)計,教程的改進和課程內(nèi)容的答疑。 4.具體要求: 具有良好的計算機科學背景包括:程序設(shè)計,軟件工程,離散數(shù)學(邏輯)。 有扎實的程序能力, 能獨立完成部署的編碼任務(wù)。 對計算機理論基礎(chǔ)有著強烈的興趣與好奇心。 具有良好的英語聽說讀寫能力或者相當于雅思6.5 (不是必須條件)。 有過學術(shù)論文發(fā)表經(jīng)歷的優(yōu)先考慮(不是必須條件)。 歡迎優(yōu)秀本科生和碩士生申請。 5. 聯(lián)系與申請方式: 有意向的申請者請把你的簡歷與個人陳述發(fā)送至吳老師:haowu@cs.nuim.ie 6. 面試時間: 2月下旬3月中,具體時間會以郵件形式通知?赏ㄟ^網(wǎng)絡(luò)方式(Skype,微信等)進行面試。 注:為了節(jié)約雙方時間和成本請在個人陳述中明確寫明讀博的原因和理由。 |
新蟲 (正式寫手)
| 7 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 309求調(diào)劑 +17 | 誰不是少年 2026-03-29 | 17/850 |
|
|---|---|---|---|---|
|
[考研] 環(huán)境工程297分求調(diào)劑一志愿杭高院 +6 | GENJIOW 2026-03-31 | 6/300 |
|
|
[考研] 285求調(diào)劑 +6 | AZMK 2026-03-30 | 11/550 |
|
|
[考研] 本科211安全工程,初試290分,求調(diào)劑 +3 | 2719846834 2026-03-28 | 3/150 |
|
|
[考研] 0703化學 +20 | 妮妮ninicgb 2026-03-27 | 20/1000 |
|
|
[考研] 085600 295分求調(diào)劑 +13 | W55j 2026-03-30 | 15/750 |
|
|
[考研] 一志愿中國科學院大學265求調(diào)劑 +6 | 恬淡ye 2026-03-31 | 7/350 |
|
|
[考研] 總分322求生物學/生化與分子/生物信息學相關(guān)調(diào)劑 +6 | 星沉uu 2026-03-26 | 7/350 |
|
|
[考研] 282求調(diào)劑 +3 | 呼吸都是減肥 2026-03-31 | 3/150 |
|
|
[考研] 295材料工程專碩求調(diào)劑 +10 | 1428151015 2026-03-27 | 10/500 |
|
|
[考研] 085404求調(diào)劑,總分309,本科經(jīng)歷較為豐富 +6 | 來財aa 2026-03-25 | 6/300 |
|
|
[考研] 305求調(diào)劑 +8 | RuiFairyrui 2026-03-28 | 8/400 |
|
|
[考研] 數(shù)一英一271專碩(085401)求調(diào)劑,可跨 +7 | 前行必有光 2026-03-28 | 8/400 |
|
|
[考研] 求調(diào)劑 +6 | 蘆lty 2026-03-25 | 7/350 |
|
|
[考研] 339求調(diào)劑,想調(diào)回江蘇 +6 | 烤麥芽 2026-03-27 | 8/400 |
|
|
[考研] 340求調(diào)劑 +5 | jhx777 2026-03-27 | 5/250 |
|
|
[考研] 一志愿211院校 344分 東北農(nóng)業(yè)大學生物學學碩,求調(diào)劑 +5 | 丶風雪夜歸人丶 2026-03-26 | 8/400 |
|
|
[論文投稿] Journal of Mechanical Science and Technology +3 | Russ_ss 2026-03-25 | 5/250 |
|
|
[考研] 一志愿天津大學339材料與化工求調(diào)劑 +3 | 江往賣魚 2026-03-26 | 3/150 |
|
|
[考研] 考研一志愿蘇州大學初始315(英一)求調(diào)劑 +3 | sbdksD 2026-03-24 | 4/200 |
|