115年度研發替代役_深度學習開發工程師_南科(刊期已經結束)

職務說明： 

1. Create formal verification test plan. 

2. Develop formal verification environment. 

3. Run formal verification and regression, debug failures and analyze coverage. 

4. Support other members in deploying formal verification. 

5. Survey new formal applications and develop related workflow. 

6. Enhance and maintain formal verification workflow. 

徵才條件： 

A. Key qualifications : 

1. Master‘s or above in Electrical Engineering, Computer Science. 

2. Familiar with standard verification concepts and workflow. 

3. Familiar with SystemVerilog and Verilog. 

4. Familiar with scripting languages (Perl, Python, etc.). 

5. Good communication skills. 

B. Preferred qualifications : 

1. Familiar with SystemVerilog Assertion (SVA). 

2. Familiar with formal verification methodology. 

3. Familiar with formal tools (JasperGold, VCFormal). 

4. Practical experience in formal verification, able to apply strategies to resolve issues during the verification process. 

5. Familiar with bus protocol concept (AMBA). 

6. Familiar with UVM methodology.

1.整合FAB智慧製造或功能組織單位數位開發需求, 進行專案評估、規劃管理以及專案落地後的效益追蹤展開 

2.專案進度與資源管理 

3.跨部門協調溝通與整合 

4.專案效益追蹤與展開 

5.數位賦能教育訓練與推廣

實習地點：南科 

實習職務：技術研發(元件設計/先進封裝/研發製程整合/模組製程)/12〝製程整合/製程/智慧製造/資訊/數據分析等 

實習期間：2026/6/22-2026/8/31 

歡迎大四升碩一(預碩生)、碩班、博班在學學生投遞履歷

1.利用AI新技術導入、深度學習模型開發相關平台與解法，以提升營運效率。 

2.深度學習系統開發 

3.專案執行 

4.產學合作 

5.深度學習新技術開發與導入

1.依部門訂立之計劃，落實執行，達成目標，當責 GenAI 平台及應用專案開發，協助各部門增進效率，解決部門痛點，提昇公司長期競爭力 

2.GenAI 系統平台建置 

3.GenAI 應用專案開發 

4.日管維運、建立SOP、維持系統穩定 

5.持續精進強化專業技能，提升競爭力

1 了解使用者需求及資訊技術的應用,及各項品質管理,專案管理的技能,以做好系統的日常管理,專案管理,及軟體工程。 

2.執行專案及主管交付任務,達成專案目標及日管目標,以滿足客戶需求並符合公司營運需求及提高用戶滿意度 

3.承接部門專案,與相關單位溝通,了解需求,爭取資源,做好專案管理。 

4.處理客戶需求,提供最佳的服務品質與效率 

5.培養技術能力:相關 domain knowledge，軟體工程能力,IT 技術。 

6.改善品質問題,並建立標準流程