【研究助理兼任】職缺 | 我要找工作
![【研究助理兼任】職缺](https://i.imgur.com/sLIY79K.jpg)
其具體的工作內容如下:A,協助台北內湖校區團體實驗教育工作。B,協助苗栗圓山創業基地的規劃與建置C,整理個人教育和生活經驗,並提交個人生涯規劃與創業企劃 ...
![【研究助理兼任】職缺](https://i.imgur.com/sLIY79K.jpg)
月薪 35,756~92,605元
通勤費:來回約 56 元/日
從事 形式化驗證(formal verification)在 1. 量子軟體系統 2. 儲存系統 的相關研究。 形式化驗證是一個開發高品質軟體的方法。 這方法會要求使用者提供他程式碼的〝規格〝。一個常見的方式,是用前置-後置條件來描述此規格,對一個排序的程式而言,我們會要求其前置條件是〝輸入為一個整數序列〝,而其後置條件為〝回傳值回輸入序列經過由小到大重新排列的結果〝。當然,是用電腦能看懂的語言表示。 之後,形式化驗證會用嚴謹的數學方法和電腦工具,〝證明〝一個該程式是否滿足該規格。這方法已經被很多歐美頂尖企業採用,例如微軟使用它來檢驗協力廠商所撰寫的驅動程式,AWS也大量採用他來驗證其雲端系統。AWS的CTO甚至在AWS 2020的開發者會議上,花了他整個演講1/3的時間,來解釋AWS如何用形式化驗證提高其服務品質。 本實驗室從事形式化驗證已經研究已經有十多年的時間,在全世界同行中也有相當的知名度。目前我們研究主軸在兩個方向: [量子軟體系統驗證] 隨著量子電腦硬體的逐漸成熟,對應的量子軟體開發技術也日益受到重視。可以預見的,軟體的規模會不斷地增加,確保設計出來的程式正確無誤的難度也會高速提升。這現象在傳統軟體已經很普遍,任何有一定規模的軟體程式,無可避免的都會有大大小小的錯誤,最後只能和這些錯誤共存。我們相信如果沒有引入新的技術,很快量子軟體也會走向這條路。 形式化驗證在量子程式的發展也已經有十數年。目前主流的技術有兩大缺點,基於霍爾邏輯的...
兼任助理?臨時工?. 討論兼任助理與臨時工之間的差別 | 我要找工作
學生兼任助理問答集(Q&A) | 我要找工作
科技部計畫兼任研究助理 | 我要找工作
11個QA看懂「兼任助理」爭議,回應網路上那些紛紛擾擾 | 我要找工作
【系辦】兼任助理工作說明 | 我要找工作
兼任研究助理臨時工 | 我要找工作
【研究助理兼任】職缺 | 我要找工作
計畫類 | 我要找工作
南華大學支領科技部專題研究計畫「兼任助理」及「臨時工 ... | 我要找工作
![](https://i.imgur.com/sLIY79K.jpg)
台北市職缺 - 臺北榮民總醫院全職醫學研究部邱士華主任實驗室誠徵博士級研究助理
臺北榮民總醫院開出醫學研究部邱士華主任實驗室誠徵博士級研究助理職缺1 名,主要工作內容有:細胞培養/動物實驗/生物化學、...
![](https://i.imgur.com/sLIY79K.jpg)
台北市職缺 - 台灣基督長老教會馬偕醫療財團法人馬偕紀念醫院全職台北院區 醫學研究部 專案研究助理(婦產科部)
台灣基督長老教會馬偕醫療財團法人馬偕紀念醫院開出台北院區醫學研究部專案研究助理(婦產科部)職缺1 名,主要工作內容有:1....
![](https://i.imgur.com/sLIY79K.jpg)
台北市職缺 - 台灣基督長老教會馬偕醫療財團法人馬偕紀念醫院全職台北院區 醫學研究部 短期專案研究助理
台灣基督長老教會馬偕醫療財團法人馬偕紀念醫院開出台北院區醫學研究部短期專案研究助理職缺1 名,主要工作內容有:1.院內外...