[TYPES/announce] faculty and post-doc positions at USTC-Yale Joint Research Center on High-Confidence Software

Xinyu Feng xinyu.feng at gmail.com
Thu Feb 10 04:22:11 EST 2011

*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 
<mailto:kyhcs at ustc.edu.cn>>. More information about the center can be 
found at <http://kyhcs.ustcsz.edu.cn>.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110210/d0f4456f/attachment.html>

More information about the Types-announce mailing list