轉職找工作推薦

  • 送貨司機

  • 企業名 晶華企業社
  • 工作地點 台北市士林區
  • 薪資 月薪37000~0元
  • 工作內容 1.盤點倉庫並進行貨物配送。 2.裝卸貨物，並妥善打包。 3.整理、盤點、記錄所有進出貨。 4.整理出貨單與打單。 5.負責巡補貨，並將商品配送給固定客戶。
    查看更多
    • 晶華企業社-使用1111轉職專區 https://central1111.com.tw/turn/
應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

  • 北區業務主管
  • 企業名 蓁菁有限公司
  • 工作地點 台北市大安區
  • 薪資 月薪50000~100000元
  • 工作內容 1.提供精緻服務感動每一位貴賓 2.用純熟的手技解放貴賓的身、心、靈 3.以專業實用的建議，為每位貴賓量身訂做專屬的課程 4.客戶導流方案執行 5.負責擬訂各檔次銷售策略及方案,督導團隊達成各月銷售業績及年度營業額目標 6.激勵員工達成年度團績國外旅遊目標 7.激勵團隊榮譽感及正向思考 8.分店教育/銷售/行銷企劃的等作業流程 9.其他公司總部交代事項
    查看更多
    • 蓁菁有限公司-使用1111轉職專區 https://central1111.com.tw/turn/
應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

  • 中研院歐美所行政室身心障礙長期工讀生(需具學生身份) 面試心得

  • 企業名 中央研究院(中研院)
  • 工作地點 台北市南港區
  • 薪資 日薪1520元 以上
  • 工作內容 一、工作內容：協助本所行政室業務進行。依身心障礙者權益保障法進用人員。 二、資格：專科以上夜校學生（需具在學學生身份），並具有輕、中度殘障（視障者除外）身分者。諳電腦文書處理與中英文輸入，細心、工作態度良好、並能長期工作（至少工作一年）。 三、待遇：依本院工讀生薪資標準支給，日薪台幣1,408元。 四、工作時間：周一至周五，每日8：10~17：10。(試用期一個月) 五、工作地點：中央研究院歐美研究所(台北市南港區研究院路二段128號) 六、應徵方式： 1.意者請速將a.履歷表（自傳、Email信箱、通訊地址及電話）、b.身分證正反影本、c.學生證正反影本、d.身心障礙證明正反影本，Email至yujy@gate.sinica.edu.tw陳小姐，來信主旨請註明「應徵身心障礙長期工讀生」；合則約談，不合者恕不退件。 2.先書面審查，擇優筆試及面試，筆試內容：中英文輸入。 3.截止收件日期：隨到隨審，意者請儘速送件。
    查看更多
    • 中央研究院(中研院)-使用1111轉職專區 https://central1111.com.tw/turn/
應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

  • ●營建工程師

    年終獎金工作獎金尾牙或春酒員工聚餐

  • 企業名 渲洋國際室內裝修設計股份有限公司
  • 工作地點 台北市大安區
  • 薪資 月薪50000~0元
  • 工作內容 1.規劃並確保各施工階段之可行性與安全性無虞、與施工者協商，確定施工計畫、水準及程序 2.轉達施工要領，矯正不良施工，並協助解釋施工規範問題 3.協助工區進度、品質及成本管理，向建築師或土木工程師報告進度、施工狀況以及預算使用情形 4.整理完工後之相關資料並且建檔備查
    查看更多
    • 渲洋國際室內裝修設計股份有限公司-使用1111轉職專區 https://central1111.com.tw/turn/
應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

  • 博士後研究員，專任研究助理，兼任研究助理(陳郁方老師研究室) 面試心得
  • 企業名 中央研究院(中研院)
  • 工作地點 台北市南港區
  • 薪資 月薪38388~99317元
  • 工作內容 從事 形式化驗證(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元起聘，該職缺係「適用勞動基準法」
    查看更多
    • 中央研究院(中研院)-使用1111轉職專區 https://central1111.com.tw/turn/
應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

  • 資創中心鄭湘筠老師實驗室-博士後研究人員 面試心得
  • 企業名 中央研究院(中研院)
  • 工作地點 台北市南港區
  • 薪資 月薪64711~0元
  • 工作內容 從事 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等, 有參與國內與國際合作計畫機會, 視應徵者背景及能力而定。
    查看更多
    • 中央研究院(中研院)-使用1111轉職專區 https://central1111.com.tw/turn/
應徵
工作適配度－%

登入 後即可查看

根據履歷表的填寫狀況，智慧分析您與工作的適配程度。

9/10

上一頁
第4367/4858頁 第4368/4858頁 第4369/4858頁 第4370/4858頁 第4371/4858頁 第4372/4858頁 第4373/4858頁 第4374/4858頁 第4375/4858頁 第4376/4858頁

台北市轉職工作職缺結果

下一頁