Job description:
Intel Labs China is looking for a research intern. The job is to build tools to improve the productivity /reliability of device driver, and work closely with the researchers. You will explore in dynamic analysis in device driver.
-----------------------
The Basic Requirements
-----------------------
1) Master degree (or above) of the mathematics, computer science, or other related majors
2) Good skills of the C/C++ programming
3) Familiar with Linux device driver development
4) Strong problem analysis/research capability
5) Long-term commitment:  (1) half year at least. (2) at least 3 days per week (If your research is exactly matched, no such requirement)
---------------------
The Preferred Skills
---------------------
1) Good understand and experience to Linux kernel infrastructures
2) Research background in the following research arena: test-input automatically generation/ program verification with model checking is a super big match
3) Top-level conference record in formal method
Please send your resume to:
ying.gao@intel.com
--
FROM 58.32.203.*