-
職缺名稱公司名稱上班地點工作經驗更新薪資待遇
- 月薪38388~99317元 台北市南港區 工作經歷不拘 1天前展開
從事 形式化驗證(formal verification)在 1. 量子軟體系統 2. 儲存系統 的相關研究。 形式化驗證是一個開發高品質軟體的方法。 這方法會要求使用者提供他程式碼的〝規格〝。一個常見的方式，是用前置-後置條件來描述此規格，對一個排序的程式而言，我們會要求其前置條件是〝輸入為一個整數序列〝，而其後置條件為〝回傳值回輸入序列經過由小到大重新排列的結果〝。當然，是用電腦能看懂的語言表示。 之後，形式化驗證會用嚴謹的數學方法和電腦工具，〝證明〝一個該程式是否滿足該規格。這方法已經被很多歐美頂尖企業採用，例如微軟使用它來檢驗協力廠商所撰寫的驅動程式，AWS也大量採用他來驗證其雲端系統。AWS的CTO甚至在AWS 2020的開發者會議上，花了他整個演講1/3的時間，來解釋AWS如何用形式化驗證提高其服務品質。 本實驗室從事形式化驗證已經研究已經有十多年的時間，在全世界同行中也有相當的知名度。目前我們研究主軸在兩個方向： [量子軟體系統驗證] 隨著量子電腦硬體的逐漸成熟，對應的量子軟體開發技術也日益受到重視。可以預見的，軟體的規模會不斷地增加，確保設計出來的程式正確無誤的難度也會高速提升。這現象在傳統軟體已經很普遍，任何有一定規模的軟體程式，無可避免的都會有大大小小的錯誤，最後只能和這些錯誤共存。我們相信如果沒有引入新的技術，很快量子軟體也會走向這條路。 形式化驗證在量子程式的發展也已經有十數年。目前主流的技術有兩大缺點，基於霍爾邏輯的技術有強大的能力，能處理十分複雜的量子程式分析，但是他的使用需要大量人力介入，需要的工作量常常是寫程式本身的數倍。這樣的技術比較適合用在確保關鍵系統的品質上（如核電廠的控制程式）。基於抽象解釋的技術則是另一個極端。他是全自動的，但是有著常常誤報程式錯誤的缺點。這大大減低的該類工具的可用性。 最近中研院的團隊開發了一個基於樹自動機(tree automata)的全新量子電路驗證技術。他克服了上述兩個問題。這是一個全自動的技術，使用者只需要提供電路和預期的答案，該技術就能自動檢查，對所有允許的起始量子狀態，有沒有任何的可能，在執行完電路後產生和預期不同的結果。同時這樣技術是精確的，他完全不會誤報錯誤，大大的增加了可用性。 有關於這個方向，還可以參考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 薪資：學士38388元起薪，碩士44968元起薪，博士64711元起聘，該職缺係「適用勞動基準法」
員工餐廳員工電影週休二日勞保健保 - 月薪62776元 台北市南港區 工作經歷不拘 1天前展開
從事 Computer Architecture 相關研究，針對 emerging technologies (例如 non-volatile memories、3D ICs) 和 modern applications (例如 machine learning、graph analytics、genome analysis等) 設計高效節能之系統，並共同撰寫論文。 可能研究主題包括 in/near-memory computing system design, machine learning acceleration and memory optimization (e.g., for LLM, recommendation system, few-shot learning, GCN, etc.), memory/storage system design for genome analysis and graph analytics. energy-efficient edge computing for AIoT, sustainable computing systems等, 有參與國內與國際合作計畫機會, 視應徵者背景及能力而定。
員工餐廳員工電影週休二日勞保健保 - 月薪57914元 宜蘭縣礁溪鄉 工作經歷不拘 1天前展開
1) 計畫, 報告及研究論文撰寫 生醫、農、獸醫、動物科技領域，國內、外博士畢業，性別年齡不拘 2) 熟悉分子生物學實驗相關技術(如PCR, Gene cloning, 細胞培養, Western blot, Confocal, IP, IF…)或細胞培養、動物實驗 3) 進行 antimicrobial peptide之研發工作 4) 薪資依據中央研究院規範, 依據履歷與年資, 有不同的薪資標準 5) 請先至 http://icob.sinica.edu.tw/lab.php?id=3 看我們的研究介紹 https://pubmed.ncbi.nlm.nih.gov/?term=Jyh-Yih+Chen&timeline=expanded&sort=pubdate&size=200 https://livetour.istaging.com/7a76e008-6ad4-4815-8b6c-a1158cada9e2 6) 有興趣申請的人, 請先e-mail CV給我
員工餐廳員工電影週休二日勞保健保 - 月薪29000元 台中市北屯區 無工作經驗 1天前展開
1.接聽電話，協助處理一般行政事務及解決客戶問題 2.文書事務處理 3.內勤工作(不須招攬業務/無業績壓力)
全勤獎金年節獎金員工生日禮金三節獎金國內旅遊 - 月薪38388元 台北市大安區 工作經歷不拘 1天前展開
從事天文望遠鏡接收機系統及其元件設計、測試、整合與安裝。與工作團隊同仁清楚表達與溝通，並依據需求發展適當的接收機元件與子系統。 詳情請參閱本所網站: http://www.asiaa.sinica.edu.tw/jobopening/ad.php?i=f0adbe38d9cbec32bbee7e0e0136cd9d 待遇(依本院規定): 大學畢業: 38,388元起薪；碩士畢業: 44,968元起薪
員工餐廳員工電影週休二日勞保健保 - 月薪44968元 台北市南港區 工作經歷不拘 1天前展開
本實驗室主要研究植物、真菌以及人類的表觀遺傳基因體及調控。我們利用基因體測序數據的分析以及生物資訊工具的開發來回答關鍵的生物問題。 我們認為推動研究的主要因素是對科學的興趣以及樂於學習的態度。因此，我們歡迎擁有不同才能及經驗的人才(生物資訊、資訊、統計、數學、生物或相關領域) 應徵。我們也希望應徵者能夠準備好融入我們實驗室跨領域的特性。 【Responsibilities】 1. NGS 次世代序列資料處理分析與統整 2. 協助實驗室 IT 管理 3. 溝通、討論並展示你的研究進度及成果 4. 與研究員以及實驗室其他成員合作 【Requirements】 1. 資訊、統計、數學或生物相關科系碩士學位 2. 須熟悉並擅長使用任一種程式語言進行資料分析，面試時會有程式語言測驗。若無相關經驗，但可接受訓練者亦歡迎。 3. 對本實驗室的研究課題感興趣，能理解實驗設計並詮釋結果。 4. 具備協同合作的能力，善於團隊溝通和跨領域合作。 5. 願意學習新事物，具有主動負責的態度與解決問題的能力。 6. 研發替代役可。
員工餐廳員工電影週休二日勞保健保 - 月薪38388~56572元 台北市南港區 工作經歷不拘 1天前展開
符合下列條件之一 1. 資料探勘與深度學習/大語言模型、多媒體社群網路與通訊網路、應用數學應用相關研究。 2. 或者具備演算法設計、圖論、最佳化、賽局理論、機器學習、深度學習、統計推論、隨機程序相關背景愛好數學。 3. 實作深度學習模型、大型語言模型等，收集資料集並進行以上模型實驗。 4. 或者有興趣網路或巨量資料分析系統實作、程式撰寫適合擬專心研究論文撰寫，未來從事學術工作者。 薪資：學士38388元起薪，碩士44968元起薪，該職缺係「適用勞動基準法」 獎助生依本院獎助學金支給要點發放獎助學金 能力佳者可專案申請較優支薪標準 【應徵資格/條件】 1. 資訊電機相關領域學士或碩士在學或畢業。 2. 或具深度學習模型、大型語言模型實作經驗，熟悉python、pytorch。 【應徵方式】 意者請備個人詳細履歷、自傳及成績單寄至 dnyang@iis.sinica.edu.tw，需要面試時會主動聯絡
員工餐廳員工電影週休二日勞保健保 - 1111南台灣職場小語
【推薦工作】作業員、技術員、包裝員｜無經驗可、享週休二日！
- 月薪38388元 台北市南港區 工作經歷不拘 1天前展開
1.協助執行科技部研究計畫內容 2.科學研究實驗操作 3.材料收集與分析等作業 待遇： 學士級專任研究助理38,388元起薪，碩士級專任研究助理44,968元起薪；博士級64,711元起薪；並依年資、相關經歷或能力調整。 本職務係適用勞動基準法。
員工餐廳員工電影週休二日勞保健保 - 月薪44968元 台北市南港區 工作經歷不拘 1天前展開
【單位】中央研究院統計科學研究所『資料科學統計合作社』 【主持人】張源俊研究員 【職務名稱】專任研究助理 【工作內容】 1.協助合作社進行統計諮詢及相關業務。 2.負責資料分析工作，包括資料前處理、資料庫建置、數據分析及報告撰寫等。 3.參與統計所及合作社舉辦的各項活動。 4.協助合作社的行政業務。 5.完成臨時交辦的事項。 【應徵資格】 1.需具碩士學歷。 2.熟悉「生物統計」、「廣義線性模式」、「多變量分析」、「類別資料分析」等統計知識。 3.熟悉程式語言，例如R, SAS, Python等，具備資料庫開發/維護及應用經驗者尤佳。 4.擁有統計和科學計算經驗，以及各類型資料分析經驗者優先考慮。 5.具備生物統計或生物資訊專長者優先錄取。 【工作待遇】依本院薪資標準及個人學經歷支薪（碩士學歷44,968元起），本職缺適用勞基法。 【應備文件】中英文履歷（含自傳）、大學(含)以上成績單及其他有利審核文件。 【應徵方式】意者請將應備文件 E-mail 至 scchen@stat.sinica.edu.tw。合者通知面試，資料恕不退件。 【聯 絡 人】陳淑君博士
員工餐廳員工電影週休二日勞保健保 - 日薪1520元 台北市南港區 工作經歷不拘 1天前展開
一、工作內容：協助本所圖書館業務進行。 二、資格：專科以上夜校學生(需具在學學生身份)，諳電腦文書處理與中英文輸入，細心、工作態度良好，並能長期工作(至少工作一年)。 三、待遇：依本院工讀生薪資標準支給，日薪台幣1,520元。(時薪190元*8小時) 四、工作時間：周一至周五，每日8：00~17：00。也可彈性排班，一周工作3天以上。(試用期一個月)。 五、工作地點：中央研究院歐美研究所圖書館(台北市南港區研究院路二段128號) 六、應徵方式： 1.意者請速將a.履歷表(自傳、Email信箱、通訊地址及電話)、b.身分證正反影本、c.學生證正反影本，Email至micky5533@gate.sinica.edu.tw張小姐(連絡電話02-37897215)，來信主旨請註明「應徵長期工讀生」；合則約談，不合者恕不退件。 2.先書面審查，擇優筆試及面試，筆試內容：中英文輸入。 3.截止收件日期：隨到隨審，意者請儘速送件。
員工餐廳員工電影週休二日勞保健保 - 月薪38388元 台北市南港區 工作經歷不拘 1天前展開
【徐麗芬研究室】徵才訊息 中央研究院農業生物科技研究中心 誠徵研究助理 - 天然植物保健藥物之研發 研究內容: 天然藥物研究方向: 天然物化學/代謝體學; 皮膚/老化之細胞藥理活性研究; 協助實驗室行政事務。 資格: 對藥用植物活性成分在植物藥學研發有高度興趣與研究熱忱之天然藥物、生物科技等相關碩士或學士畢業生，對研究天然保健添加物 (health&care) 商業開發有熱忱幹勁之學者。 工作時間/地點: 即日起; 中央研究院農業生物科技研究中心 (台北南港區) 薪資: 學士: $38,388 (含) 起; 碩士: $44,968 (含) 起，本職務係適用勞動基準法。 繳交文件:意者請寄學經歷(含研究經歷著作，成績單，熟悉之實驗技巧，有興趣的研究方向及生涯規劃) 聯絡人:徐麗芬特聘研究員 Tel: 02-2787-2102; E-mail: jaclyn@gate.sinica.edu.tw
員工餐廳員工電影週休二日勞保健保 - 月薪37240~68040元 台北市南港區 工作經歷不拘 1天前展開
【職務內容】 1.網站與資料庫程式開發與維護 2.API程式開發與應用 －加分條件項目－ 1.UX/UI設計經驗 2.Git使用經驗 3.Drupal版型開發經驗 4.iOS / Android APP開發經驗 5.網站資訊安全相關知識 6.程式語言相關證照 7.文字探勘、數據分析、機器學習 8.影像內容分析與處理 9.全文檢索開發與應用相關經驗 其他： 1. 認真負責、具團隊合作精神，並樂於和別人溝通，主動協助其他工作。 2. 具有獨立工作、思考及解決問題的能力。 3. 可配合公司需要積極學習者與創新者佳。 4. 準時上下班，不需加班。 【注意事項】 工作地點：中央研究院數位文化中心（中央研究院歷史語言研究所研究大樓五樓） 薪資：依本院專任助理薪資標準：大學學歷起薪37240元，碩士學歷起薪43624元。 【應徵方式】 意者請先至「數位文化中心」官方網站（http://www.ascdc.sinica.edu.tw）瀏覽相關資訊，並將履歷、自傳、成績單、作品集及相關技能之說明寄至陳先生電子郵件信箱：chen21019@gate.sinica.edu.tw。信件主旨請註明「應徵數位文化中心（程式設計師）＿姓名」。先到先審，適合者將另行通知面試時間。
員工餐廳員工電影週休二日勞保健保 - 月薪35000元 新北市蘆洲區 工作經歷不拘 5天前展開
主要工作內容： 1.小編，協助經營臉書粉絲團及社團、LINE、Instagram、youtube、官網等社群網站，蒐集網路輿情。 2.精通電腦專長如：Illustrator、PhotoShop，要熟悉操作,需要設計排版廣告單DM， 會些影片編輯尤佳如Adobe Premiere。 4.備機車駕照,要會攝影拍照。 5.個性活潑，擅長溝通（三重蘆洲地區尤佳) 6.薪資：月薪面議，含勞健保，年終獎金(1.5個月) 7.請附上作品 如果有興趣的朋友，請把你的履歷及相關資料（例如過去作品）寄到yourliweng@gmail.com 。主旨請註明「應徵網路社群美編助理」，謝謝。
年終獎金勞保健保 - 月薪38388元 台南市歸仁區 工作經歷不拘 1天前展開
工作地點：中研院南部院區農業生物科技研究中心劉明容副研究員實驗室 研究方向：本實驗室結合分子生物, 高速定序及生物資訊方法, 進行植物基因編輯技術建立及其影響基因序列和表現之研究。有興趣者可參考 (http://abrc.sinica.edu.tw/pi/?id=mjliu&lang=ch) 。 申請條件： 學士級研究助理- 1. 生命科學或是農園藝相關科系畢業 。 2. 具有分子生物/植物種植之相關經驗。 3. 具有獨立思考、獨立解決問題的能力; 必須有英文文獻閱讀能力。有意願進修或從事研究工作者將優先錄取。 薪資： - 學士38,388元起薪；並依年資、相關經歷或能力調整。 此職缺於即日起開始審核，至適合人選到職為止。有意願者請將履歷、自傳、研究經歷摘以電子檔方式寄至電郵信箱: mjliu@gate.sinica.edu.tw 應徵注意事項: 郵寄者在信封上註明 「申請研究助理-XXX(姓名)」; 條件符合則邀請面談，不合者恕不退件不函覆。 聯絡人：劉明容 聯絡電話：+886 (6) 216-6858
員工餐廳員工電影週休二日勞保健保 -
