Me
Posted:
February 26, 2026
Location:
Hsinchu City, Taiwan Province, Taiwan
Job Description
Job Description1. Application of formal method in digital hardware or software verification
2. Literature survey and paper study of the state-of-the-art and industrial strength formal method
3. Conducting cross-team-wise technical training
4. Documentation writing and reviewing
5. The estimated salary is NT$29000-50000 per month, which is subject to candidates' qualification.
#LI-YT1Requirement1. Bachelor of Science degree in CS or Math major
2. Background in the logic, language and computation
3. Familiar with functional language (Haskell, Ocaml) and formal method
4. Goal-oriented and working independently with effective execution.
5. Good communication skills and good at English
6. Good at logic and critical thinking
7. 1+ year working experience is a plus.
2. Literature survey and paper study of the state-of-the-art and industrial strength formal method
3. Conducting cross-team-wise technical training
4. Documentation writing and reviewing
5. The estimated salary is NT$29000-50000 per month, which is subject to candidates' qualification.
#LI-YT1Requirement1. Bachelor of Science degree in CS or Math major
2. Background in the logic, language and computation
3. Familiar with functional language (Haskell, Ocaml) and formal method
4. Goal-oriented and working independently with effective execution.
5. Good communication skills and good at English
6. Good at logic and critical thinking
7. 1+ year working experience is a plus.
Apply for this Job
Submit your application for the Design Verification Engineer(Contract) position at MediaTek.
Apply Now Save for LaterJob Overview
Job Type:
Full-time
Location:
Hsinchu City, Taiwan
Posted:
February 26, 2026
Deadline:
April 07, 2026