PostDoc positions in Formal Verification

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 (in particular, flash disks)
• Verification of quantum programs/algorithms

Or form new research projects in the following directions.

• Verification of block-chain/smart contract implementation/algorithms
• Verification/testing of machine learning-enabled systems
• Other topics that might meet our research interest

Starting date is flexible, for terms of 1 year, renewable. We offer about 2200 USD (~2000 EUR) per month (commensurate with what a starting assistant professor makes locally) in salary and include a 5000 USD per year personal academic travel budget.