[TYPES/announce] faculty and post-doc positions at USTC-Yale Joint Research Center on High-Confidence Software
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...
More information about the Types-announce