I am 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 new research projects in the following directions.

• Verification of quantum (cryptographic) programs/algorithms
• Verification of block-chain/smart contract implementation/algorithms
• Verification/testing of machine learning-enabled systems
• Other topics that might meet my research interest

For the new directions, I expect the applicants either already some experience on the subject or have interests to help with surveying the new area.

In general, I 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, formal language theory, and formal verification.

To apply or for further questions, please contact me at yfc@iis.sinica.edu.tw