Found 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.
Ready to Apply?
Submit your application for Design Verification Engineer(Contract) at MediaTek
Apply Now