中央研究院 資訊科學研究所

徵才

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

誠徵研究及行政助理

:::

陳孟彰老師實驗室

刊登期間

2022-05-13 ~ 2022-12-31

職稱

全端工程師 一名

工作內容

從事網頁平台開發設計與維護,包括但不限於:
(1) 前端介面開發設計及與後端系統串接使用
(2) 資料庫建置與維護

應徵資格

大學或研究所相關科系畢業
(1)具基礎程式設計能力,Python、網頁程式等等程式語言
(2)具相關實作經驗者佳

工作待遇

依中央研究院標準支薪(可面議),可視工作年資及能力、表現彈性敘薪。

應徵方式

請以Email寄送以下資訊: (1) 履歷表(含學歷、程式開發相關經驗、聯絡方式) (2) 成績單 (3) 其他有助審查之資料,如作品集(提供 github 連結或其他呈現方式均可) ,標題註明[應徵研究助理(全端工程師)],審查通過以email方式通知面試,不合者恕不函覆。

聯絡人

張小姐

聯絡信箱

cheryl@iis.sinica.edu.tw

參考網站

https://homepage.iis.sinica.edu.tw/pages/mcc/

陳孟彰老師實驗室

刊登期間

2022-05-13 ~ 2022-12-31

職稱

AI資安工程師 一名

工作內容

從事惡意程式行為分析、AI技術應用,包括但不限於:

(1) 惡意程式行為側錄分析
(2) AI資訊安全分析技術應用

應徵資格

大學或研究所相關科系畢業
(1)具基礎程式設計能力,Python、網頁程式等等程式語言
(2)具TCP/IP、作業系統概念
(3)熟悉機器學習、深度學習相關技術與工具

工作待遇

依中央研究院標準支薪(可面議),可視工作年資及能力、表現彈性敘薪。

應徵方式

請以Email寄送以下資訊: (1) 履歷表(含學歷、程式開發相關經驗、聯絡方式) (2) 成績單 (3) 其他有助審查之資料,如作品集(提供 github 連結或其他呈現方式均可),標題註明[應徵研究助理(AI資安工程師)],審查通過以email方式通知面試,不合者恕不函覆。

聯絡人

張小姐

聯絡信箱

cheryl@iis.sinica.edu.tw

中研院詞庫小組CKIP(馬偉雲老師實驗室)

刊登期間

2022-05-12 ~ 2022-12-31

職稱

專任或兼任研究助理

工作內容

我們利用深度學習(Deep Learning)從事文字生成、聊天機器人、知識建構與推論、自然語言處理的研究,兼顧理論與應用,具體研發項目如下:

1. 廣告文案或新聞的自動生成

當輸入是一款手機的規格表,系統能自動生成出一篇具有說服力的廣告文案。或是當輸入是一場NBA的比賽數據表,系統能自動生成出一篇緊張刺激的播報新聞。我們希望透過深度學習當中的增強式學習(Reinforcement Learning)以及語言模型,打造一個這樣的文字生成系統,能夠一方面忠於輸入的表格內容,另一方面能發揮創造力,寫出多變化又文情並茂的文章。

2. 不限主題的閒聊機器人

即所謂 Chitchat Chatbot,也就是沒有特定目的的聊天. 目前這類型的bot大多數的作法是利用深度學習當中的seq-to-seq model來建構,但是,這樣的作法通常無法產生有意義或是較為深入的回應,多數會流於插瞌打渾或是賣萌。其中的關鍵,在於bot缺少了對於聊天主題相關的基本常識,就像是user要跟bot討論劉德華,bot應該對劉德華的各個fact(身份,作品...)有足夠認識,回的response才會豐富有意義,不然巧婦難為無米之炊,沒有知識就不容易產生有意義的回應,我們希望將grounded knowledge以及更豐富的語義訊息encode在model之中。我們透過深度學習當中的增強式學習(Reinforcement Learning),已經訓練出一個不限主題的LINE閒聊機器人-詞庫小妍(LINE官方帳號:@359mcmgs)。

3. 自動知識學習系統

我們知道新的知識會夜以繼日的不斷產生,一個具有AI能力的系統最重要的功能之一就是能夠從大量的資料當中,分析資料,加以理解,組織成結構化知識。我們實驗室過去已經開發了人類的知識網(E-HowNet),打下堅實基礎,此專案的目標是進一步加以擴張,利用深度學習技術將關鍵的關係三元組合從閱讀的文章中自動抽取出來,如 (”哈登” ,MemberOf,”火箭隊”) 或是 (“麥特載蒙”,PlayerOf,”心靈捕手”)等等。

4. 事實推論或事件預測系統

對於一個新事物,人們往往會根據基本常識、已知的事實、經驗的法則等等進行新事物的推測,包含事實或是事件的推論,例如以下的事實推論:已知A說中文,A又是B的哥哥,那麼很高的機率B也會說中文。又例如以下的事件推論:“買麵包”後會有很高的機率會在近期“吃麵包”。在一個龐大的文本或是複雜的知識圖譜當中,推論的關係往往數量龐大,有時甚至複雜到超越人力所能規範與理解,我們希望藉由深度學習技術能自動化的在文本或是知識圖譜當中進行新事物的推測。

應徵資格

1. 具備電機、資訊或應用數學相關科系之學士或碩士學位(準備出國者佳,本實驗室的歷年助理及實習生出國申請成功率接近100%)。

2. 熟悉機器學習、深度學習、最佳化、演算法設計或自然語言處理等相關領域,具備獨立思考能力,有相關研究經驗者佳。

3. 具備 Python/C/C++/Java/Perl 程式設計能力,有系統開發經驗者佳。

工作待遇

依表現彈性敘薪(月薪 40,466元 ~ 52,917元),享勞健保、勞退與年終獎金。

應徵方式

視情形擇優通知面試,不合者恕不函覆。意者請備妥個人詳細履歷、自傳/Research Statement、成績單及其他有助審查資料之pdf電子檔,註明可開始工作日期,寄至 ma@iis.sinica.edu.tw

聯絡人

馬偉雲老師

聯絡信箱

ma@iis.sinica.edu.tw

聯絡電話

(02)27883799 Ext. 1819

參考網站

http://ckip.iis.sinica.edu.tw

陳孟彰老師實驗室

刊登期間

2022-05-05 ~ 2022-12-31

職稱

研究助理(系統工程師)二名

工作內容

從事自然語言處理、深度學習、機器學習、人工智慧等相關研究與系統實作。工作內容為進行或協助「人工智慧導向的英語寫作自動評分系統研發」計畫相關之研究、系統開發與計畫執行,包括但不限於:
(1) 文本內容分析
(2) 使用者程度估計
(3) 計算語言學
(4) 機器學習與深度學習演算法設計
(5) 英語寫作自動評分之應用與評估方法
本工作將參與上述研究工作,工作內容將包含程式撰寫、開源程式與資料庫之維護等。

應徵資格

(1)具程式開發能力(如Python程式設計)
(2)具良好的問題解決能力
(3)具高度的學習動機
(4)具相關實作經驗者佳
(5)相關科系學士以上

具下列經驗者將優先考慮:
(1) 熟悉自然語言處理技術、機器學習、深度學習開發工具(如nltk、scikit-learn、pytorch)。
(2) 具備良好英文讀寫能力

工作待遇

依中央研究院標準支薪(可面議),可視工作年資及能力、表現彈性敘薪。

應徵方式

請以Email寄送以下資訊: (1) 履歷表(含學歷、程式開發相關經驗、聯絡方式) (2) 成績單 (3) 其他有助審查之資料,如github連結。 請將以上資料寄至ythuang@iis.sinica.edu.tw,標題註明[應徵研究助理(工程師)],審查通過以email方式通知面試。

聯絡人

黃博士

聯絡信箱

ythuang@iis.sinica.edu.tw

陳郁方老師研究室

刊登期間

2022-04-21 ~ 2024-04-21

職稱

專任助理

工作內容

工作內容
(1) 協助撰寫計畫報告
(2) 實驗室伺服器及軟體管理
(3) 協助實驗室建置之規劃
(4) 其他交辦行政庶務

應徵資格

大專以上學歷,具備良好的英語能力,熟悉電腦操作(linux伺服器),具有協助執行科技部計畫經驗者佳。

工作待遇

依中研院規定

應徵方式

將應備文件: (1) 個人中英文自傳(請附照片) (2) 畢業證書影本 (3) 英文檢定證明 (4) 服務證明 (5) 其他有利審核之證明文件 以email的方式寄出

聯絡人

陳郁方研究員

聯絡信箱

yfc@iis.sinica.edu.tw

參考網站

http://www.iis.sinica.edu.tw/~yfc

陳伶志老師實驗室

刊登期間

2022-03-31 ~ 2022-05-31

職稱

專任研究助理/資訊軟體研發工程師

工作內容

參與結合人工智慧技術與地理資訊系統的 GeoAI 相關研究,可獲得處理分析衛星與空照影像、時空大數據資料管理、多來源資料融合、以及人工智慧技術研發與應用等第一手經驗,並且有機會與國內外政府單位、資通訊產業進行密切的合作,適合喜歡探索新興技術或準備研究所進修者。

詳細工作內容主要為協助進行與下列主題相關的研究:
- 時空資料的管理與視覺化 (Data management and visualization of spatiotemporal data)
- 空照/衛星影像的物件偵測 (Object detection from aerial images)
- 多元資料的融合與分析 (Multi-source data fusion and analysis)

應徵資格

1. 國內外大學碩士或學士畢業
2. 具備 Python 程式設計經驗
3. 具備上述工作內容相關經驗,或有濃厚興趣

工作待遇

依中央研究院標準 (能力佳者可專案申請較優支薪標準),享勞健保、勞工退休金、年終獎金、休假等

應徵方式

採取先收到先審查,審查通過以mail方式通知面試。意者請備個人詳細履歷及相關作品(如專題成果報告、個人Github網址、或碩士論文),寄至 陳伶志老師 (cclljj@iis.sinica.edu.tw) 收

聯絡人

陳伶志

聯絡信箱

cclljj@iis.sinica.edu.tw

聯絡電話

02-27883799 x 1702

參考網站

https://sites.google.com/site/cclljj/

高明達老師實驗室

刊登期間

2022-02-16 ~ 2022-06-30

職稱

專任研究助理

工作內容

1.台語語料整理
2.音檔聽打逐字稿
3.詞典編寫
4.其他交辦事項

應徵資格

1.不限系所,學士以上學歷
2.教育部閩南語認證中高級(B2)以上或同等能力
3.熟悉教育部台羅拼音、台語漢字
4.本職缺為專任,不得兼職亦不得為在學學生身份

工作待遇

依中研院標準支薪

應徵方式

請將「最高學歷證明、個人履歷自傳及台語相關證照證書」等,寄至uihun@iis.sinica.edu.tw,主旨請註明「應徵研究助理--姓名」。隨到隨審,合者通知面試,不合者恕不另行通知。

聯絡人

蔡小姐

聯絡信箱

uihun@iis.sinica.edu.tw

王大為老師實驗室 (工作地點:陽明交大,陽明校區)

刊登期間

2022-01-28 ~ 2022-05-31

職稱

專任研究助理/資訊軟體研發工程師

工作內容

執行「健康資料與AI模型之治理與共享機制」研究計畫
*健康資料授權管理雛形系統開發與測試
*設計開發健康資料應用管理雲端工具雛型系統及測試
*協助進行公共衛生或醫療資訊系統分析與設計
*協助各系統的應用推廣
*技術與使用文件撰寫
*協助製作專案進度與成果簡報,系統展示
*研究相關資料之蒐集與整理

應徵資格

大學或研究所相關科系畢業
*熟悉Internet / Web / Database相關技術
*具程式設計經驗及醫療資訊系統設計開發經驗者優先考慮
*具C#或手機APP(iOS、android)開發經驗或專業知識者尤佳
*學習與探索新技術的習慣與能力
*具備資訊規劃、開發經驗與文件撰寫能力
*具跨領域溝通能力、團隊精神、有耐心及責任感

其他說明:
1.本計畫為中研院與陽明交大合作之整合型計畫,實際工作地點以陽明交大(陽明校區)為主。
2.預計工作期間:面試通過即日起起聘,聘期至少一年。

工作地點:
陽明交大(陽明校區,地址:112304 台北市北投區立農街2段155號)

工作待遇

依中研院規定標準支薪,享勞健保、勞工退休金、年終獎金、休假等福利, 並可審酌能力、工作經驗及計畫經費,彈性敘薪。

應徵方式

1.請檢附詳細履歷、自傳及成績單等參考資料,主旨請註明應徵「專任研究助理/軟體工程師」字樣,以email方式寄至carol@iis.sinica.edu.tw (林小姐)。 2.合適者通知面試,不合者不另行通知,應徵資料自徵聘日期結束後銷毀。 3.未獲錄取者恕不另行通知亦不退件。

聯絡人

林小姐

蘇黎老師實驗室

刊登期間

2022-01-10 ~ 2022-08-31

職稱

專任或兼任研究助理

工作內容

音樂與文化科技實驗室致力於探討最前沿的數位訊號處理與深度學習技術,應用於各種音樂人工智慧的熱門議題。我們特別關注以人為核心的音樂人工智慧研究,包括但不限於:

1. 音樂內容辨識與理解、自動採譜
2. 音樂與多媒體內容生成
3. 計算音樂學
4. 深度學習與生物音樂學
5. 音樂人工智慧技術之應用與評估方法

本工作將參與上述之其中一項研究,工作內容將包含程式撰寫、開源程式與資料庫之維護、論文撰寫等。

應徵資格

1. 資訊/電機等理工相關科系或音樂相關科系碩士或學士
2. 熟悉深度學習、音訊處理、影像處理、電腦圖學、人機互動、認知科學、音樂學等任一領域者優先考慮
3. 本工作內容包含大量程式撰寫

工作待遇

比照院內支薪規定 ,可視工作年資及能力、表現彈性敘薪。

應徵方式

請以email方式寄送個人詳細履歷 (包含相關研究、計劃及工作經驗及任何有助審查資料),載明「應徵專任研究助理」,email 至蘇黎老師 (lisu@iis.sinica.edu.tw),通過初審者會另行通知,於中研院資訊科學研究所進行面試。

聯絡人

蘇黎

聯絡信箱

lisu@iis.sinica.edu.tw

楊得年老師實驗室

刊登期間

2022-01-10 ~ 2022-06-30

職稱

專任與兼任研究助理 (研發替代役可)

工作內容

符合下列條件之一:
1. 元宇宙、資料探勘與深度學習、多媒體社群網路與通訊網路、應用數學應用相關研究
2. 或者具備演算法設計、圖論、最佳化、賽局理論、機器學習、深度學習、統計推論、隨機程序相關背景愛好數學
3. 或者有興趣網路或巨量資料分析系統實作、程式撰寫

適合擬專心研究論文撰寫,未來從事學術工作者

應徵資格

碩士或學士畢

工作待遇

依中央研究院標準(能力佳者可專案申請較優支薪標準),享勞健保、勞工退休金、年終獎金、休假等

應徵方式

意者請備個人詳細履歷、自傳及成績單寄至 dnyang@iis.sinica.edu.tw,需要面試時會主動聯絡

聯絡人

楊得年

聯絡信箱

dnyang@iis.sinica.edu.tw

聯絡電話

2788-3799 ext. 1728

參考網站

http://www.iis.sinica.edu.tw/pages/dnyang/index_zh.html

蘇黎老師、林仁俊老師實驗室團隊

刊登期間

2022-01-10 ~ 2022-08-31

職稱

專任或兼任研究助理

工作內容

參與我們的研究計畫「基於深度學習的多媒體影音內容理解與生成」,本計畫考慮整合視覺/聽覺元素之多媒體內容生成,將以自動產生虛擬音樂家表演影音內容為目標,運用最新的人工智慧技術,打造可供個人化、互動並支援視覺敘事的影音自動生成系統。具體的研究主題包括:

1. 音訊 /視訊內容辨識與理解、自動採譜、音樂生成
2. 以音樂驅動的三維肢體動作及臉部動畫生成
3. 從單眼圖像/視訊進行三維人體網格模型重建
4. 從音樂到運鏡的視覺敘事模型

應徵資格

1. 資訊/電機等理工相關科系博士、碩士、學士或大學生
2. 熟悉深度學習、音訊處理、影像處理、電腦圖學者優先考慮
3. 具備 TensorFlow、PyTorch 等 deep learning 相關程式開發經驗者優先考慮

工作待遇

比照院內支薪規定 ,可視工作年資及能力、表現彈性敘薪。

應徵方式

請以email方式寄送個人詳細履歷 (包含相關研究、計劃及工作經驗及任何有助審查資料),載明「應徵專任研究助理」,email 至蘇黎老師 (lisu@iis.sinica.edu.tw),通過初審者會另行通知,於中研院資訊科學研究所進行面試。

聯絡人

蘇黎

聯絡信箱

lisu@iis.sinica.edu.tw

王建民老師實驗室

刊登期間

2022-01-03 ~ 2022-12-31

職稱

專任研究助理 (研發替代役可)

工作內容

本實驗室主要工作內容為學術研究及系統開發,實驗室培養出之人才均具有良好的研究能力及紮實的系統實作能力。歡迎打算進修博士學位者、想累積研究經驗者,及為未來的職業生涯建立良好的基礎者。

進行下列領域相關問題之研究工作:
1. 雲端運算 (Cloud Computing)
2. 巨量資料分析 (Big Data Analytics)
3. 人智運算 (Human-Centered Computing)
4. 穿戴式運算 (Wearable Computing)

應徵資格

1. 具備電機、資訊或應用數學相關科系之碩士學位。
2. 具備 C/C++/Java 程式設計能力。
3. 具備cloud computing, distributed systems, data mining, pattern recognition 或machine learning 經驗者尤佳。

工作待遇

比照中央研究院/科技部薪資標準,享勞健保、勞退與年終獎金。

應徵方式

請以email方式寄送個人詳細履歷、成績單、代表作及其他有助審查資料之 PDF 檔案,並請於標題註明 [應徵專任研究助理-姓名]或[應徵替代役- 姓名 ]。通過初審者會另行通知,於中研院資訊所進行面試,不合者恕不函覆。

聯絡人

張小姐

聯絡信箱

iho@iis.sinica.edu.tw

電腦系統實驗室 Machine Learning Systems 研究團隊

刊登期間

2022-01-01 ~ 2022-12-31

職稱

碩士級專任研究助理 三名 (研發替代役可)

工作內容

深度學習在異質系統架構中之效能及功耗優化(Performance/energy optimization of complex neural network models training/inference on heterogeneous system architecture)


Machine Learning Systems團隊的研究方向包括:平行計算、編譯器、以及計算機架構。我們利用電腦系統的技術優化AI應用軟體,並研究下一世代機器學習模型的系統開發與設計。

近年來,許多AI軟體利用結合多種neural networks,來達成卓越的判斷和預測,此AI模型稱為複合式神經網路模型(complex neural network models: hybrid model, multi-model, multi-task)。例如,視頻字幕(video captioning)結合了CNN與RNN,可以用來進行AI視頻問題解答,自動醫療報告生成和電影評論分析。例如,自駕車上執行了數個不同的網路模型,同時處理物體偵測,路線規劃,與駕駛對話等任務。其他例子還包括語音助理,機器人等等。如何高效率地利用系統中的所有運算資源(CPU+GPU+AI accelerator)執行複合式模型,以達到real-time或低能耗運算,是未來AI系統設計的一項重點研究。
此外,許多新型AI應用像是推薦系統、知識圖等,使用了圖神經網路(GNN)作為深度學習訓練與推理的模型。GNN的執行包含了複雜的不規則計算以及大量的稀疏矩陣(sparse matrix)計算,傳統的處理器通常無法有效率的進行運算。然而新的CPUs/GPUs為此提供了新的硬體加速設計,例如:強大的向量指令(Intel AVX512同時計算8個64-bit資料,其gather/scatter指令可快速存取非連續記憶體位址資料)和矩陣加速器(Nvidia TensorCore,在稀疏度為50%時可達到兩倍加速),為不規則計算與sparse matrix計算開啟了新的契機。如何利用AI compiler優化技術來使用向量指令或矩陣加速並達到最佳運算效能,亦是極具挑戰性的研究議題。

本實驗室研究方向為:
(1) 研究如何利用異質平台(heterogeneous platform)的多CPUs、多GPUs,設計複合式模型的資源配置和排程演算法。以及研究在CPU+GPU+AI加速器的運算環境下,提高深度學習模型在伺服器/嵌入式裝置的執行效能。
(2) 針對圖神經網路、不規則計算、稀疏資料結構,研究使用向量指令(AVX512,SVE)和矩陣加速器(NPU, GPU TensorCore)的優化技術。
(3) 研究多模型multi-model或multi-task的系統層設計,包含系統軟體(software stack/runtime)和軟硬體優化。
(4) 研究動態推理(dynamic inference)模型的編譯器優化技術,包括模型計算圖優化、執行碼優化。以及研究適合有限資源下運行的輕量化自動優化器(lightweight auto-tuning)。
(5) 深度學習軟體與硬體協同優化研究:根據硬體所提供的運算功能或特殊加速指令,為深度學習模型設計最佳的model architecture/pruning/quantization/parallelization,以及運算程式碼的編寫與優化。


上述研究議題為國內外深度學習系統領域之重要發展方向,產業界及學術界均需此方面人才。適合擬專心研究,未來從事學術工作者或研發工作者,對於未來規劃進修博士學位者, 本實驗室之研究計畫提供優良之訓練環境與研究經歷。

應徵資格

-具備資訊工程,資訊科學之碩士學位
-具備平行計算及平行程式設計(multithread,CUDA or OpenCL)
-具有良好系統、軟體開發經驗
-具備C/C++程式設計經驗

具下列經驗者將優先考慮:
- 具深度學習平台開發經驗,包括TVM/MLIR,Pytorch/Tensorflow等
- 熟悉高速計算或嵌入式系統
- 熟悉演算法設計與實作
- 熟悉編譯器或計算機結構

工作待遇

依中央研究院標準(具編譯器,平行計算相關研究經歷或已具有deep learning系統研究基礎者可專案申請較優支薪標準,博士後研究起薪七萬元, 專任研究助理4~4.8萬元),享勞健保、年終獎金、工作獎金、休假、員工旅遊等。

應徵方式

1. 請以email方式寄送個人詳細履歷(相關研究、計劃及工作經驗)、成績單(大學及碩士以上)。 2. 發表過之論文影本、簡傳、學歷證書影本,及任何有助審查資料 3. 所有檔案請以pdf檔案格式寄送。 4. 通過初審者會另行通知,於中研院資訊科學研究所進行面試。請將應徵資料寄送至下列兩位計畫主持人。洪鼎詠老師 dyhong@iis.sinica.edu.tw, 吳真貞老師 wuj@iis.sinica.edu.tw

聯絡人

洪鼎詠老師

聯絡信箱

dyhong@iis.sinica.edu.tw

聯絡電話

02-27883799 ext. 1818

參考網站

洪鼎詠網頁: http://www.iis.sinica.edu.tw/pages/dyhong/index_zh.html, 吳真貞網頁: http://www.iis.sinica.edu.tw/pages/wuj/index_zh.html

多媒體技術實驗室

刊登期間

2022-01-01 ~ 2024-12-31

職稱

博士後研究人員/研究助理 and/or 研發替代役 (博士or碩士畢皆可)

工作內容

1. Deep Learning
2. Optimization algorithms
3. (Multimedia) Signal Processing (懂video codec為佳)
4. Security and Privacy for Multimedia and Networks

應徵資格

1. 博士or碩士畢皆可
2. 數學,資訊,電機相關科系

工作待遇

依本所規定

應徵方式

email or 電話聯絡

聯絡人

呂俊賢研究員

聯絡信箱

lcs@iis.sinica.edu.tw

聯絡電話

(02)27883799 ext. 1513

參考網站

http://www.iis.sinica.edu.tw/~lcs

後量子密碼學實驗室(楊柏因老師、周彤老師、鐘楷閔老師)

刊登期間

2022-12-31 ~ 2022-12-31

職稱

工程師 (專案研究工作人員)

工作內容

1.進行後量子密碼學領域 (Post-Quantum Cryptography) 研究,實作相關密碼演算法。
2.進行或協助後量子密碼學專案(NIST競賽)。
3.鼓勵對後量子密碼學有興趣、熱忱,以進入國際密碼學相關產業為發展目標之工程師。
4.起聘時間彈性。

應徵資格

1.具備系統開發經驗 (如C/C++, Python程式設計、開源軟體或嵌入式系統等)。
2.具有良好系統、軟體開發經驗。
3.具良好的問題解決能力。
4.具備良好英文讀寫能力。
5.具備學士以上學歷。

工作待遇

依經歷彈性支薪(原則58,000元以上,可面議)

應徵方式

意者請備妥:1.履歷 2.軟硬體開發經歷 3.學校成績單 4.其他有利審查之文件。請將以上資料寄至pqctaiwan@gmail.com,標題註明[應徵研究助理(工程師)],審查通過以email方式通知面試。

聯絡人

楊柏因、周彤、鐘楷閔

聯絡信箱

byyang@iis.sinica.edu.tw、blueprint@citi.sinica.edu.tw、kmchung@iis.sinica.edu.tw

聯絡電話

(02)2788-3799#1731、(02)2787-2300#2345、(02)2788-3799#1716

參考網站

https://sites.google.com/view/pqc/%E9%A6%96%E9%A0%81?authuser=0

李政德老師(古倫維老師實驗室)

刊登期間

2022-12-31 ~ 2022-12-31

職稱

專任研究助理(軟體設計工程師)

工作內容

從事深度學習、機器學習、人工智慧、社群網路、推薦系統、資訊安全等相關研究、計畫與系統實作。
工作內容為進行或協助下列領域相關問題之研究與應用系統開發:
(1) 社群網路資訊擴散之深度學習預測模型、
(2) 基於隱私保護與公平性之人工智慧應用、
(3) 跨領域、跨文本、跨平台之深度推薦系統、
(4) 社群網路分析與應用、
(5) 機器學習與深度學習演算法設計。
上班地點:國立成功大學統計系李政德老師實驗室(台南市東區大學路1號)

應徵資格

(1)具國內外資訊/資工/資管、電機、統計數學相關科系之碩士學位。
(2)熟悉機器學習、深度學習與自然語言處理技術。
(3)需具機器學習與深度學習程式撰寫能力(如PyTorch, TensorFlow, scikit-learn)。
(4)具相關研究經驗或實作經驗者佳。

工作待遇

依中央研究院標準支薪(40,000元以上,未來將依工作表現調整),享年終獎金。

應徵方式

請以Email寄送以下資訊: (1) 履歷表(含學歷、研究與工作相關經驗、著作列表、聯絡方式)。 (2) 大學及研究所成績單。 (3) 其他有助審查之資料。所有檔案請以 PDF 格式寄送。 Email 標題請註明「應徵專任研究助理-姓名」。 隨到隨審。初審不符合則恕不另外通知。 應徵資料經初審通過後將Email通知面談。

聯絡人

成大數據科學研究所 李政德 老師

聯絡信箱

chengte@mail.ncku.edu.tw

聯絡電話

06-2757575#53628

參考網站

https://sites.google.com/view/chengteli/home?authuser=0

後量子密碼學實驗室(楊柏因老師、周彤老師、鐘楷閔老師)

刊登期間

2022-12-31 ~ 2022-12-31

職稱

工程師 (資訊人員)

工作內容

1.進行後量子密碼學領域 (Post-Quantum Cryptography) 研究,實作相關密碼演算法。
2.進行或協助後量子密碼學專案(NIST競賽)。
3.鼓勵對後量子密碼學有興趣、熱忱,以進入國際密碼學相關產業為發展目標之工程師。
4.起聘時間彈性。

應徵資格

1.具備系統開發經驗 (如C/C++, Python程式設計、開源軟體或嵌入式系統等)。
2.具有良好系統、軟體開發經驗。
3.具良好的問題解決能力。
4.具備良好英文讀寫能力。
5.具備學士以上學歷。

工作待遇

依經歷彈性支薪(原則58,000元以上,可面議)

應徵方式

意者請備妥:1.履歷 2.軟硬體開發經歷 3.學校成績單 4.其他有利審查之文件。請將以上資料寄至pqctaiwan@gmail.com,標題註明[應徵研究助理(工程師)],審查通過以email方式通知面試。

聯絡人

楊柏因、周彤、鐘楷閔

聯絡信箱

byyang@iis.sinica.edu.tw、blueprint@citi.sinica.edu.tw、kmchung@iis.sinica.edu.tw

聯絡電話

(02)2788-3799#1731、(02)2787-2300#2345、(02)2788-3799#1716

參考網站

https://sites.google.com/view/pqc/%E9%A6%96%E9%A0%81?authuser=0

古倫維老師實驗室

刊登期間

2021-10-06 ~ 2022-06-30

職稱

專兼任研究助理

工作內容

自然語言處理 (Natural Language Processing)
深度學習 (Deep Learning)
情感計算 (Sentiment Analysis/Affective Computing)
假新聞相關 (Fake News Intervention)
視覺與語言 (Vision and Language/Multi-modal)
可解釋性人工智慧 (XAI/Text Generation)
推薦系統 (Recommendation System)
文字探勘與人工智慧相關研究,程式撰寫與論文發表。

應徵資格

必備:資訊電機相關領域學士或碩士在學或畢業,具獨立思考能力並熱愛研究與學習。具Java或Python一定程度之撰寫能力,工作內容包含大量程式撰寫。起始工作時間:隨時。

加分:準備出國佳。具語音、文字探勘、語言學、機器學習、深度學習、演算法設計相關理論背景佳。 

工作待遇

依中研院支薪規定,可依能力及資歷調整,具友善國際化工作環境、業界與國際學界合作機會

應徵方式

意者請備妥個人詳細履歷、自傳及成績單pdf電子檔,註明應徵職缺及可開始工作日期寄至

聯絡人

古倫維

聯絡信箱

lwku@iis.sinica.edu.tw

聯絡電話

(02)27883799 ext 1808

參考網站

http://www.lunweiku.com/    http://academiasinicanlplab.github.io/

林仁俊老師實驗室

刊登期間

2021-09-01 ~ 2022-12-31

職稱

專任研究助理

工作內容

參與跨媒體內容生成與深度學習相關研究。若本身已具有多媒體(包含影像與語音)信號處理與深度學習研究的基礎者,亦可參與本實驗室的研究計畫(計畫題目為「透過音樂喚醒照片中的人物」),研究主題包含開發單張圖片或單一視訊的3D姿勢與形狀估測技術,基於音樂表示法的舞蹈序列生成等相關研究。工作內容將包含論文研讀、程式撰寫、論文撰寫等。

應徵資格

1. 資訊/電機相關科系碩士或學士
2. 熟悉image/audio processing, deep learning
3. 具備TensorFlow, PyTorch等deep learning相關程式開發經驗

適合擬專心研究,未來從事學術工作者。

工作待遇

依中央研究院標準支薪

應徵方式

意者請備履歷,載明『應徵專任研究助理』,email 至jenchunlin@iis.sinica.edu.tw

聯絡人

林仁俊

聯絡信箱

jenchunlin@iis.sinica.edu.tw

參考網站

https://www.iis.sinica.edu.tw/pages/jenchunlin/

蔡孟宗老師實驗室

刊登期間

2021-08-03 ~ 2023-07-31

職稱

專任研究助理、獎補助生

工作內容

基礎圖論與幾何問題之演算法設計與分析、閱讀相關論文、發表論文。

應徵資格

1. 對演算法研究、圖論研究、幾何研究有高度興趣,並樂於學習相關數學知識。
2. 應徵專任研究助理者,需具有大學以上之畢業證書;應徵獎補助生者,需具有大學以上之就學證明。

工作待遇

依中央研究院薪資標準

應徵方式

將履歷 (1-2頁) 、成績單 (大學及以上) 以 PDF 格式寄至 mttsai@iis.sinica.edu.tw,通過書面篩選者,會另約時間線上面試。

聯絡人

蔡孟宗老師

聯絡信箱

mttsai@iis.sinica.edu.tw

參考網站

https://homepage.iis.sinica.edu.tw/pages/mttsai/index_zh.html

葉彌妍老師實驗室

刊登期間

2021-02-01 ~ 2022-07-31

職稱

專任研究助理 一至二名

工作內容

巨量資料探勘與深度學習相關研究,包含演算法設計、程式撰寫執行、論文撰寫。
主要研究主題包含(但不限):時空與社群資料探勘與應用、Q&A問答系統、增強式學習與其應用, 適合擬攻讀博士或出國進修者,本實驗室可提供優良訓練環境與研究經歷。

應徵資格

具備資訊、電機、數學等相關科系之碩士學位。
優先考慮:
-有資料探勘與機器學習背景
-具英文論文閱讀與簡報能力
-具備程式設計 (C++/Java/Python/R等) 與問題解決能力
-擅長演算法設計或數理統計方法

工作待遇

比照院內支薪規定 ,可視工作年資及能力、表現彈性敘薪。

應徵方式

1. 請以email方式寄送個人詳細履歷(相關研究、計劃及工作經驗)、 成績單(大學及以上)。 2. 發表過之論文影本、簡傳、學歷證書影本,及任何有助審查資料。 3. 所有檔案請以pdf檔案格式寄送。 4. 通過初審者會另行通知,於中研院資訊科學研究所進行面試。

聯絡人

葉彌妍老師

聯絡信箱

miyen@iis.sinica.edu.tw

參考網站

http://www.iis.sinica.edu.tw/pages/miyen/

柯向上老師研究室

刊登期間

2020-06-01 ~ 2022-12-31

職稱

兼任(在學)研究助理

工作內容

以型式數學與邏輯方法研究依值型別編程 (dependently typed programming)、型別互動式開發 (interactive type-driven development)、具型別之後設編程 (typed metaprogramming)、模態型別論 (modal type theory)、或程式語言理論 (programming language theory) 相關題目(可議)。

1. 型別理論與程式語言的文獻閱讀與討論(範例見參考文獻)
2. 用 Agda 語言型式化定理證明
3. 用 Haskell 實作程式語言(非必須)
4. 論文撰寫(非必須)

參考文獻

- H-S Ko, L-T Chen, and T-C Lin [2022]. Datatype-generic programming meets elaborator reflection. https://josh-hs-ko.github.io/#publication-85109a82

- H-S Ko [2021]. Programming metamorphic algorithms: An experiment in type-driven algorithm design. https://josh-hs-ko.github.io/#publication-9f9adfcc

- H-S Ko and J Gibbons [2017]. Programming with ornaments. https://josh-hs-ko.github.io/#publication-696aedff

- H-S Ko and J Gibbons [2013]. Relational algebraic ornaments. https://josh-hs-ko.github.io/#publication-d146668e

- L-T Chen and H-S Ko [2022]. Realising intensional S4 and GL modalities. https://josh-hs-ko.github.io/#publication-6219e92b

- L-T Chen [2019]. Monadic typed tactic programming by reflection. https://tydeworkshop.org/2019-abstracts/paper20.pdf

- R Davies and F Pfenning [2001]. A modal analysis of staged computation. https://doi.org/10.1145/382780.382785

- D Gratzer, J Sterling, and L Birkedal [2019]. Implementing a modal dependent type theory. https://doi.org/10.1145/3341711

- H-S Ko and Z Hu [2018]. An axiomatic basis for bidirectional programming. https://doi.org/10.1145/3158129

應徵資格

必備條件:

1. 在學學籍
2. 數學成熟度
3. 程式設計經驗

具備以下條件者優先考慮:

1. 型別函式程式設計(Typed Functional Programming)經驗如 Haskell, Agda, Idris, OCaml, F* ... 等等
2. 使用定理證明輔助器(Proof Assistants)經驗如 Agda, Coq, Isabelle, Lean, F* ... 等等
3. 曾修習 FLOLAC「型別原理」年課程

工作待遇

每月發給獎補助金。

應徵方式

請以 email 寄送履歷(包含學歷、相關專題研究、工作經驗)和成績單(大學以上)給柯向上老師,可附上發表過之論文或任何有助審查資料;email 內另請敘述申請動機、生涯規劃、以及適合此職位之理由。隨到隨審,通過初審者將另行通知,於中央研究院資訊科學研究所面試。

聯絡人

柯向上

聯絡信箱

joshko@iis.sinica.edu.tw

參考網站

https://josh-hs-ko.github.io

陳郁方老師研究室

刊登期間

2019-12-15 ~ 2025-12-15

職稱

專任研究助理

工作內容

從事 形式化方法(formal method)在
1. 量子軟體系統
2. 儲存系統
的相關研究。

我們會以嚴謹的數學方法,"證明"一個系統的實作是完全沒有錯誤的。
"Complete formal verification is the only known way to guarantee that a system is free of programming errors." --seL4 group

[量子軟體系統]
可以參考Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers一書 的Ch 5,6,9來得到這個方向的大概輪廓(連結:https://www.morganclaypool.com/doi/abs/10.2200/S01014ED1V01Y202005CAC051)。
下面是一些和我們近期研究題目相關的參考文獻:
[1] Yuan-Hung Tsai, Jie-Hong R. Jiang, Chiao-Shan Jhang: Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation. DAC 2021: 439-444
[2] Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso: Regular Tree Model Checking. CAV 2002: 555-568
[3]https://zxcalculus.com
[4]Miller, D. Michael, and Mitchell A. Thornton. "QMDD: A decision diagram structure for reversible and quantum circuits." 36th International Symposium on Multiple-Valued Logic (ISMVL'06). IEEE, 2006.
[5]Mingsheng Ying. 2012. Floyd--hoare logic for quantum programs. ACM Trans. Programming Language System

[儲存系統]
可參考我們發表在OSDI的論文:
[1] Yun-Sheng Chang, Yao Hsiao, Tzu-Chi Lin, Che-Wei Tsao, Chun-Feng Wu, Yuan-Hao Chang, Hsiang-Shang Ko, Yu-Fang Chen:
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer. OSDI 2020: 81-97

和下面相關文獻:
[2] Abdulla, P.A., Haziza, F., Holík, L. et al. An integrated specification and verification technique for highly concurrent data structures. Int J Softw. Tools. Technol. Transfer. 19, 549–563 (2017).
[3] Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang:
Scaling symbolic evaluation for automated verification of systems code with Serval. SOSP 2019: 225-242
[4] Frama-c WP tutorial (https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf)
[5] Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying concurrent, crash-safe systems with Perennial. SOSP 2019: 243-258

應徵資格

1. 具電機、資訊、資管、數學或相關科系之碩士/學士
2. 曾修過下列課程者加分: 計算理論, 自動機理論, 模型驗證, 自動化驗證,台大Flolac暑期課程
3. 具有程式撰寫能力(C, C++, or JAVA)

工作待遇

依中央研究院/國科會規定,依經歷彈性調整

應徵方式

將個人詳細履歷、你有興趣的研究方向、大學及以上成績單、發表過之論文、及任何有助審查資料 Email至 陳郁方研究員 yfc@iis.sinica.edu.tw。如通過初審將會另行通知面試。

聯絡人

陳老師

聯絡信箱

yfc@iis.sinica.edu.tw

聯絡電話

27883799 -1514

參考網站

http://iis.sinica.edu.tw/~yfc