耶鲁大学FLINT/CertiKOS组招聘博士后及软件工程师职位，博士后申请人必须有计算机科学或相关专业博士学位，软件工程师职位申请人最好熟悉系统软件和ARM平台。该研究组负责人邵中教授是中国科大83少校友。
两个位置的期限是一年，并且可选择是否追加两年。入职时间可以协商，软件工程师职位会优先考虑能够尽早入职的申请人（例如在2014年夏之前入职）。
详细信息如下：
The FLINT/CertiKOS group (http://flint.cs.yale.edu) in the Department of Computer Science at Yale University is seeking applicants for multiple Postdoc and Software Engineer positions in the broader area of formal methods and system software.
The CertiKOS project aims to develop a new certified OS kernel that generalizes and unifies traditional OS abstraction layers in microkernels and hypervisors. The new effort advocates a compositional layered certification framework for OS kernel components, which mirrors and enhances the modularity of the kernel itself. Using this framework, it aims to create not just a "one-off" lump of verified kernel code, but a statically and dynamically extensible kernel that can be incrementally built and extended with individual certified modules, each of which will provably preserve the kernel's overall safety and security properties.
Successful applicants for the PostDoc positions will be expected to participate in a rigorous research program on topics such as compositional semantics, concurrency, certified compiler, proof assistants and automation, and language-based security. Applicants for PostDoc positions must have a Ph.D. in Computer Science or a closely related field.
Successful applicants for the Software Engineer positions will be expected to work on porting the current CertiKOS hypervisor kernel from the x86 platform to the ARM platform and helping evolve CertiKOS into an open-source production quality kernel. Candidates with strong backgrounds in system software and the ARM platform are particularly welcome.
The term for both positions is one year with an option to renew for up to three years. Starting date is negotiable. For the SW engineer positions, a preference will be given to those who can start as soon as possible (e.g., before or during summer 2014).
Interested applicants should email a CV, research statement, and the names of three references with their email addresses and phone numbers to Professor Zhong Shao
Email: zhong.shao at yale.edu at Department of Computer Science, Yale University.