轉職熱搜工作

1.清洗食材 2.組合沙拉或冷盤 3.將食材依照廚師要求進行切片、切塊或切末等備料的工作 4.進行擺盤的動作 5.工作區域和設備的清潔以及保養

從事 形式化驗證(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元起聘，該職缺係「適用勞動基準法」

🌿 一起讓身心找到平衡｜加入 taiji.cm（鼎珮文學社）成為太極指導老師！ 💫 我們相信 —— 太極不只是拳法，更是一種生活的節奏與心境。 在 taiji.cm，你將帶領學員感受「靜中有動、以柔克剛」的力量，從基礎動作到呼吸引導，陪伴他們在練習中找回健康、專注與穩定能量。 現在，我們誠摯邀請熱愛運動、願意成長的你，一起加入這個充滿能量的團隊🌿 🎯【工作內容】 1️⃣ 教授太極拳／太極基礎動作與呼吸引導課程（提供內部教學訓練） 2️⃣ 觀察並協助學員調整姿勢與動作 3️⃣ 參與內部培訓與課程銷售訓練 4️⃣ 依公司制度進行教學與客戶服務流程 💡【加分條件】 ✨ 具備太極教學證照或相關武術、運動指導經驗 ✨ 有太極拳教學經驗、體適能或復健背景佳 ✨ 對東方身心修煉文化有熱忱 ✨ 積極、穩定、有耐心、樂於教學與持續成長 💰【待遇與福利】 💵 課程抽成（有保底堂數） 🌿 享勞健保 🎁 三節獎金、年終獎金、職務津貼 🎓 免費內部訓練與證照輔導 🕘【上班時間】 📍地點：桃園市桃園區正光路423之12號4樓 🕓 時段彈性：早班 9:00–18:00／晚班 12:00–21:00 💬 如果你熱愛太極、擁抱身心合一的練習，想讓「興趣變專業」，這裡就是你展現內外兼修的舞台。 🌿 加入 taiji.cm（鼎珮文學社），一起用太極的力量，讓平衡與能量流動於生活之中。✨ 📩 立即透過 1111人力銀行 投遞履歷！

1.定期定時清點物料，並將物料標示並放於正確位置，必要對相關人員解說，使其容易使用 2.定期追蹤複查庫存與紀錄是否相輔有無損壞，如不符合找出原因 3.進出貨備料統計核對及設定等之準備 4.倉庫物品、物料進出管理品，與請購單、發票及其他憑證是否相符 5.機動外出支援 (須持有機車駕照、有汽車駕照尤佳) 6.細心負責、態度積極並能自發上進者尤佳

1.專櫃業績/人員與事務管理 2.針對顧客需求介紹商品、簡易護膚&護手服務及銷售門市商品。 3.提供顧客之接待與需求服務，維護客戶關係。 4.負責商品進貨入庫及庫存管理。 5.負責商品包裝、陳列及促銷品換檔工作。 6.維持店櫃週遭之整潔。 福利制度: -優於勞基法休假制度 -保障薪資+優渥獎金 -公司提供完善專業教育訓練 -高額員工免費產品領用 -優渥員工購物折扣 -三節、全勤、年終獎金 -資深人員禮金/禮品獎勵 -生日獎勵 -員工健康檢查 -員工國外獎勵旅遊與家庭日 -企業托育服務 ※工作待遇含銷售獎金。

1. 包貨、出貨、貨物進出和管理倉儲管理。 2. 網路行銷諮詢(小編)、業務開發、追蹤客戶及團購接洽。 3. 開車載貨。 4. 完成主管交辦事項。 5. 食品、飲品為主要行銷產品。 歡迎有熱誠願意學習的你加入 薪資會依能力獎金調整!!!

1.製造過程中之製程巡檢、實施品管計畫 2.原物料、半成品，成品、包裝、出廠之品質檢驗以及判定 3.各項品管圖表之繪製以及標準樣本之製作 4.製程管制，掌握品質變異狀況，解決問題，負責產品品質水準之穩定 5.灌輸作業員品質觀念，教導其使用簡易品管技術 6.不合格品原因之追查、分析、報告以及處理

1.定期召開多專科團隊會議(十癌)、並整理會議紀錄。 2.建立和追蹤各種品質指標，例如核心測量指標監測、診療計畫書監測、診療/癌症治療藥物處方遵循率監測、團隊品質指標監測、存活率分析文書作業、必要提報事件彙整、癌管三率彙整等。 3.熟悉Excel、Office、BI等軟體操作 4.分析品質數據，找出異常趨勢與潛在風險 5.定期做品質報告，提供多專科團隊會議討論，行政會議報告、並送癌症品質委員會審視 6.善用統計工具(控制圖、管制圖)，協助找出異常指標。 7.協助推動品質改善專案，例如年度全院改善主題、存貨率改善、其他異常改善專案。 8.與癌症相關不同單位合作，並製作相關流程 9.運用精實管理(Lean)，減少浪費或避免重工 11.參與癌症醫療品質與病人安全相關的教育訓練 12.推廣品質文化與病人安全觀念 13.協助擔任臨床團隊與行政單位之間的溝通橋樑 14.協同主管參與品質相關會議、研討會與專案合作 15.協辦事項 (1)協助病友會相關事宜 (2)參與癌症診療品質認證說明會 (3)參與癌症品質計畫說明會

1)負責呆料與庫存異常分析，推動物料周轉與庫存優化行動 2)協助新產品導入期間試產報告彙整與物料異常確認 3)負責客戶會議與跨部門議題追蹤，落實客戶需求與時程配合