Languages

Jobs

Faculty and Post-Doc Opennings

 
With permission of the University of Science and Technology of China (USTC), the USTC-Yale Joint Research Center on High-Confidence Software invites applicants for multiple tenure-track faculty positions at all levels and post-doc opennings, 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. Applicants should send their CV, teaching and research statements, and contact information of at least three references to <kyhcs@ustc.edu.cn>. The Center will screen the candidates and recommend good applicants to enter the recruitment process in USTC. Successful applicants are expected to be full-time employees in the School of Computer Science and Technology at USTC.
 

PhD Student Opennings

The Joint Research Center is also actively recruiting new graduate students who are interested in pursuing a PhD degree in all areas of HCS.