-
職缺名稱公司名稱上班地點工作經驗更新薪資待遇
- 月薪30600元 新竹縣竹北市 工作經歷不拘 24天前展開
主要工作內容： ❶顧客服務、具有服務熱忱 ❷收銀檯操作、結帳 ❸商品管理 ❹賣場環境管理與清潔 ❺接受總公司安排之課程訓練 ❻店長、副店長臨時交辦事項 不需要工作經驗，只要有熱情 工作環境良好，同事很好相處 月休可達八天以上，排假相對彈性 歡迎有興趣從事服務業之人才加入我們的團隊
- 月薪38388~99317元 台北市南港區 工作經歷不拘 2天前展開
從事 形式化驗證(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元起聘，該職缺係「適用勞動基準法」
員工餐廳員工電影週休二日勞保健保 - 月薪28590~30000元 彰化縣鹿港鎮 無工作經驗 1天前展開
1.協助指導及協助學生完成當天功課。 2.輔導學生行為，校正不良生活習慣。 3.教學細心、有耐心、良好的溝通能力。 4.協助班導師班級工作 5.放學協助接送學生 6.維持教室環境整潔
三節獎金員工團保需穿著員工制服勞保健保 - 月薪40000~50000元 新北市樹林區 工作經歷不拘 5天前展開
電子部生產技術員.會使用鑽床.車床.電動起子優先錄用 組裝傳動機械產品 管理生產線人員 有監控系統產業經驗者.優先錄用
全勤獎金年節獎金三節獎金員工餐廳員工結婚補助 - 月薪34000元 高雄市鳳山區 工作經歷不拘 2天前展開
我們在尋找具備以下能力的您： ––––––––––––––––––––––––––––- 1.以熱忱微笑與親切態度來對待每位光臨的顧客 2.遊戲機具的故障排除 3.簡易的遊樂器材維修、設備清潔保養 4.外場服務顧客 ––––––––––––––––––––––––––––- 湯姆熊是一個充滿歡笑的歡樂世界，期待你的加入
全勤獎金年節獎金員工生日禮金三節獎金員工團保 - 1111南台灣職場小語
【推薦工作】作業員、技術員、包裝員｜無經驗可、享週休二日！
- 面議（經常性薪資達4萬元或以上） 台中市西屯區 工作經歷不拘 3天前展開
快速成長的Rovisys正在不斷擴大徵才，我們在尋找一位對自動化領域有熱情的夥伴加入我們。不論你是剛畢業的新鮮人對於自動化產業擁有極大的學習熱忱或是已經有幾年在自動化經驗的工程師都歡迎您的加入。你將能接觸到各種產業，透過您的專業替我們的客戶實現自動化控制的目，讓我們一起設計自動控制系統、完成各項挑戰！ 在這個職位: 1. 在專業、具有挑戰性和多樣化的環境中開始您的自動化職業生涯。 2. 與世界百強企業合作，參與大型自動化專案規模的經驗。 3. 有國內外出差機會，拓展您的視野。(取決於個人意願) 4. 擁有高度自主權、彈性上下班時間、組織透明的美式辦公文化。 工作內容: 1. 具有基礎程式邏輯編輯能力 (C#/ C++/ Python/ SQL/ JavaScript等……) 2. 工業系統開發、MES開發、APP開發、Web開發 (例如：Critical Manufacturing, Traksys, ArcStone, OSISoft PI, PME/EMS, PQMS, SQL Server) 3. 開專案文件，包括單元測試(unit test)和測試腳本(test scripts) 4. 熟悉源碼管控工具（ADO, Git, Tutorial SVN ...等） 5. 現場測試及客戶售後服務 6. 具有敏捷開發經驗 Rovisys is expanding on a breakneck pace, and we are looking for someone who has passion in Automation Industry to join us. We welcome engineers with prior experience in Automation or fresh engineering graduates with a strong desire to learn. You will be given the opportunity to design, implement, and configure automation systems for customers in a variety of industries! What can you get? 1. Start off your career in Automation in a professional, challenging, and diverse environment. 2. Work with the world‘s top multi-national companies and participate in large-scale automation projects. 3. Frequent business trip to broaden your horizons (Depends on personal willingness) 4. Experience American business culture with high autonomy, flextime, and transparent culture. Job Duties: 1. Proficiency in basic programming logic and editing skills (C#/ C++/ Python/ SQL/ JavaScript, etc.). 2. Industry management systems, MES (Manufacturing Execution System) development, APP development, and Web development (e.g., Critical Manufacturing, Traksys, ArcStone, OSISoft PI, PME/EMS, PQMS, SQL Server). 3. Creating project documentation includes unit tests and test scripts. 4. Familiarity with source code control tools (ADO, Git, Tutorial SVN, etc.). 5. On-site testing and customer after-sales service. 6. Have experience in Agile development.
產假年節獎金年終獎金禮品員工團保 - 月薪30000~40000元 桃園市龜山區 工作經歷不拘 2天前展開
1.協助客戶對於商品價格的查詢及報價相關的問題 2.負責部門相關文件之整理，建檔以及追蹤，於有效時間內回覆顧客信件 3.出貨單、訂單之處理及整理 4.顧客連絡資料整理 5.完成業務主管其他交辦事項 6.協助業務人員處理銷售業務相關之公司內部行政作業 7.主管交辦事宜或部門後勤支援
全勤獎金年終獎金績效獎金員工團保誤餐費 - 月薪30000~32000元 台中市大雅區 工作經歷不拘 1天前展開
1.協助工程師設備維護及保養 2.班別時間：08:00-17:00 ※考核通過後依表現調薪。
年終獎金績效獎金伙食津貼員工餐廳尾牙 - 月薪30000元 台北市北投區 工作經歷不拘 4天前展開
1.負責公司拍賣平台網站前後台功能企劃、執行與維護。 2.定期更新、 官網.臉書.LINE圖片 需修改影片 3. 具美感.會拍照 4.需會基本文書處理 5. 需會開車
年終獎金三節獎金勞保健保 - 月薪28590~32000元 嘉義市西區 工作經歷不拘 5天前展開
1.定期清點物料，並將物料標示並放於正確位置， 2.定期追蹤複查庫存與紀錄是否相輔有無損壞 3.倉庫物品、物料進出貨紀錄管理 4.整理倉庫環境保持整齊清潔 5.回報公司主管倉儲狀況
誤餐費國內旅遊員工聚餐春酒員工在職教育訓練 - 月薪30000~35000元 新北市板橋區 工作經歷不拘 3天前展開
【工務人員的主要工作內容】 一、施工前準備 熟讀設計圖說，與設計師確認施工細節 編排工程時程表、分階段進場計畫 安排各工班（木作、水電、泥作、油漆、玻璃等）及工地人力資源 向建管單位申請裝修許可、報裝報驗（如必要） 二、現場監工與進度控管 工地日常巡查，確保依照圖面施工 監督工班進度、施工品質與安全 解決現場突發狀況與技術問題 控制工程進度，回報每日或每週工作報告 三、材料與設備管理 協助下單建材與設備，掌握交貨時間 核對進場材料規格與品質，避免誤用 管理工地物資、設備與倉儲空間 四、協調與溝通 與設計師、業主、廠商保持溝通，協調問題與變更 安排現場會議與交接事項 協助說明圖面或現場狀況給非專業人員了解 五、驗收與收尾 協助階段性驗收與最終完工驗收 整理保固文件、施工照片與完工報告 協助處理保固期內之維修事宜
年終獎金激勵獎金績效獎金交誼廳員工電影 - 月薪40000元 屏東縣恆春鎮 工作經歷不拘 3天前展開
1.個案輔導、 團體帶領及社區資源整合連結服務 2.評估服務個案需求及擬定處遇計畫 3.撰寫方案計劃與執行成果報告 4.福利服務資源之發掘、組織、運用及服務網之建構、運作 5.個案入/出案評估、結案追蹤、轉銜服務 6.督導社工服務成效、協助解決問題與困難 7.督導及訓練社工之服務品質與審核相關服務紀錄 8.活動團體的設計、引導、訓練病人恢復社區及日常生活功能 訓練
員工生日禮金年終獎金三節獎金績效獎金意外險 -
