**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.