The Coq mailing list

[Xinyu Feng <xinyu.feng AT gmail.com>]

Faculty Positions at USTC-Yale Joint Research Center
on High Confidence Software

 

The USTC-Yale Joint Research Center on High-Confidence Software invites applicants for tenure-track faculty positions at all levels, with background in programming languages and compilers, formal methods, security, operating systems, computer architectures, and embedded systems.

 

Established in 2008, the USTC-Yale Joint Research Center for High-Confidence Software combines the expertise of faculty members from University of Science and Technology of China (USTC) and Yale University with the facilities and human resources of USTC. The long-term goal of the Center is to support a multidisciplinary research program in high-confidence software in which independent research groups will work within a common facility, sharing resources and expertise. USTC and Yale will work together through the Center to facilitate direct collaborations between research groups based at each university. They will also enable the periodic exchange of students and researchers between research groups at the two institutions through the Center.

 

The Joint Research Center will pursue research in all areas of high-confidence software and formal methods. Its current research topics include formal verification of system software, certifying compilers, concurrent and multi-core software, and automatic theorem proving systems, etc. The Center is interested in exploring new software development methods that combine formal program verification techniques with domain-specific languages and logics. The Center also intends to construct a practical infrastructure for building large-scale certified system software that can be promoted in the industry. Successful research in high-confidence software requires a deep knowledge and shared expertise of a large number of sub-disciplines in computer science, ranging from formal methods, programming languages, compilers, operating systems, computer security, proof assistants, software engineering, computer architecture, to embedded systems.

 

All applicants must have a Ph.D. in computer science or a related field and are expected to show evidence of an ability to establish a strong, independent, and internationally recognized research program. The new faculty member will be affiliated with USTC (University of Science and Technology of China), and the USTC Suzhou Institute for Advanced Study.

 

The center also seeks dedicated post-doctoral research fellows and Ph.D. students working on the above areas.

 

Applicants should send their CV, teaching and research statements, and contact information of at least three references to <kyhcs AT ustc.edu.cn>. More information about the center can be found at <http://kyhcs.ustcsz.edu.cn>.