「總經研究員」找工作職缺-2023年1月 | 我要找工作
![「總經研究員」找工作職缺-2023年1月](https://i.imgur.com/sLIY79K.jpg)
2023/1/10-26個工作機會|總經研究員【國票證券投資顧問股份有限公司】、財經M平方-總經研究員(正職)【恩平方財經股份有限公司】、總經研究員【富邦金融控股股份 ...
![「總經研究員」找工作職缺-2023年1月](https://i.imgur.com/sLIY79K.jpg)
從事 形式化驗證(formal verification)在 1. 量子軟體系統 2. 儲存系統 的相關研究。 形式化驗證是一個開發高品質軟體的方法。 這方法會要求使用者提供他程式碼的"規格"。一個常見的方式,是用前置-後置條件來描述此規格,對一個排序的程式而言,我們會要求其前置條件是"輸入為一個整數序列",而其後置條件為"回傳值回輸入序列經過由小到大重新排列的結果"。當然,是用電腦能看懂的語言表示。 之後,形式化驗證會用嚴謹的數學方法和電腦工具,"證明"一個該程式是否滿足該規格。這方法已經被很多歐美頂尖企業採用,例如微軟使用它來檢驗協力廠商所撰寫的驅動程式,AWS也大量採用他來驗證其雲端系統。AWS的CTO甚至在AWS 2020的開發者會議上,花了他整個演講1/3的時間,來解釋AWS如何用形式化驗證提高其服務品質。 本實驗室從事形式化驗證已經研究已經有十多年的時間,在全世界同行中也有相當的知名度。目前我們研究主軸在兩個方向: [量子軟體系統驗證] 隨著量子電腦硬體的逐漸成熟,對應的量子軟體開發技術也日益受到重視。可以預見的,軟體的規模會不斷地增加,確保設計出來的程式正確無誤的難度也會高速提升。這現象在傳統軟體已經很普遍,任何有一定規模的軟體程式,無可避免的都會有大大小小的錯誤,最後只能和這些錯誤共存。我們相信如果沒有引入新的技術,很快量子軟體也會走向這條路。 形式化驗證在量子程式的發展也已經有十數年。目前主流的技術有兩大缺點,基於霍爾邏輯的技術有強大的能力,能處理十分複雜的量子程式分析,但是他的使用需要大量人力介入,需要的工作量常常是寫程式本身的數倍。這樣的技術比較適合用在確保關鍵系統的品質上(如核電廠的控制程式)。基於抽象解釋的技術則是另一個極端。他是全自動的,但是有著常常誤報程式錯誤的缺點。這大大減低的該類工具的可用性。 最近中研院的團隊開發了一個基於樹自動機(tree automata)的全新量子電路驗證技術。他克服了上述兩個問題。這是一個全自動的技術,使用者只需要提...
[請益] 想朝總經或證券研究員邁進 | 我要找工作
[請益] 研究員offer選擇 | 我要找工作
[請益] 想往研究員發展 | 我要找工作
Re: [請益]法金轉研究員 | 我要找工作
Re: [請益] 產業研究員的年薪 | 我要找工作
[請益] 永豐投顧總經研究員 | 我要找工作
[問題] 關於總經研究員 | 我要找工作
[請益] 總經與固收研究員選擇 | 我要找工作
「總經研究員」找工作職缺-2023年1月 | 我要找工作
![](https://i.imgur.com/sLIY79K.jpg)
台北市職缺 - 財團法人保險安定基金全職專員(風險管理)
財團法人保險安定基金開出專員(風險管理)職缺1 名,主要工作內容有:1.國內外保險業經營、財務、業務資訊之蒐集、整理、分析...
![](https://i.imgur.com/sLIY79K.jpg)
台北市職缺 - 美商泰優股份有限公司全職Business Insight Analyst/數據分析專員(此為現場徵才活動職缺)
美商泰優股份有限公司開出BusinessInsightAnalyst/數據分析專員(此為現場徵才活動職缺)職缺2 名,主要工作內容有:1.負責通...