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. Requirement1. 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. Requirement1. 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 Position
Ready to join MediaTek? Click the button below to submit your application.
Submit Application