====== Recruitment - Postdoctoral Fellows======

===Overview===
We are looking for a __postdoctoral researcher__ to work on one of the following existing topics:
  * Verification of the crash recovery mechanism of storage systems
  * SMT over the theory of string or bit-vectors

Or form a new project on verification of quantum (cryptographic) programs/algorithms.

We expect applicants have a strong background in computer science or related fields and expertise in at least one of logic, algorithms, programming language theory/implementation, linear algebra, formal language theory, and formal verification.

===Duration===
The postdoc position is funded for 12 months, with possibility of renewal

===Environment===
Academia Sinica headquartered in Taipei is the national academy of the Republic of China (Taiwan). 
The working language is English. This is a pure research position with no teaching duty. 

===Application===
To apply, the applicant should send the following information to yfc@iis.sinica.edu.tw
  *Curriculum vitae (including your work experience, publications, and 3 references)
  *Cover letter indicating the research area of interest and your motivation
  *Research statement (max 1 page)