| 5 | 1/1 | 返回列表 |
| 查看: 1354 | 回復(fù): 6 | |||
| 當(dāng)前只顯示滿足指定條件的回帖,點擊這里查看本話題的所有回帖 | |||
[交流]
愛爾蘭國立梅努斯大學(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ǔ)有著強烈的興趣與好奇心。 具有良好的英語聽說讀寫能力或者相當(dāng)于雅思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ā)表 | |
|---|---|---|---|---|
|
[考研] 學(xué)碩274求調(diào)劑 +16 | Li李魚 2026-03-26 | 16/800 |
|
|---|---|---|---|---|
|
[考研] 070300一志愿211,312分求調(diào)劑院校 +8 | 小黃鴨寶 2026-03-30 | 8/400 |
|
|
[考研] 求調(diào)劑 生物學(xué) 377分 +4 | zzll03 2026-03-31 | 4/200 |
|
|
[考研] 274求調(diào)劑 +6 | xiao愛同學(xué) 2026-03-30 | 6/300 |
|
|
[考研] 考研生物與醫(yī)藥調(diào)劑 +3 | 鐵憨憨123425 2026-03-31 | 3/150 |
|
|
[考研] 335求調(diào)劑 +3 | 321* 2026-03-31 | 3/150 |
|
|
[考研] 285求調(diào)劑 +6 | AZMK 2026-03-29 | 9/450 |
|
|
[考研] 一志愿華中師范化學(xué)332分求調(diào)劑 +3 | Lyy930824@ 2026-03-29 | 3/150 |
|
|
[考研] 生物學(xué) 296 求調(diào)劑 +5 | 朵朵- 2026-03-26 | 7/350 |
|
|
[考研] 求調(diào)劑 +10 | 家佳佳佳佳佳 2026-03-29 | 10/500 |
|
|
[考研] 求調(diào)劑 +10 | 張zz111 2026-03-27 | 11/550 |
|
|
[考研] 一志愿南航 335分 | 0856 | GPA 4.07 | 有科研經(jīng)歷 +8 | cccchenso 2026-03-29 | 8/400 |
|
|
[考研] 291求調(diào)劑 +5 | Y-cap 2026-03-29 | 6/300 |
|
|
[考研] 356求調(diào)劑 +3 | gysy?s?a 2026-03-28 | 3/150 |
|
|
[考研] 壓國家一區(qū)線,求導(dǎo)師收留,有恩必謝! +7 | 迷人的哈哈 2026-03-28 | 7/350 |
|
|
[考研] 283求調(diào)劑 +7 | A child 2026-03-28 | 7/350 |
|
|
[考研] 086502化學(xué)工程342求調(diào)劑 +6 | 阿姨復(fù)古不過 2026-03-27 | 6/300 |
|
|
[考研] 0703化學(xué)338求調(diào)劑! +6 | Zuhui0306 2026-03-26 | 7/350 |
|
|
[考研] 081200-11408-276學(xué)碩求調(diào)劑 +4 | 崔wj 2026-03-26 | 4/200 |
|
|
[考研] 一志愿吉林大學(xué)材料與化工303分求調(diào)劑 +4 | 為學(xué)666 2026-03-24 | 4/200 |
|