We are looking for a postdoctoral researcher to work on one of the following existing topics:
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.
The postdoc position is funded for 12 months, with possibility of renewal
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.
To apply, the applicant should send the following information to email@example.com