Ulrich Kühne

Provable Complete Runtime-Checking for Hardware Security and Trustability

We have a vacant position for a post-doc. The duration of the project is 12 months, starting in September 2017. The application deadline is April, 30th. A detailed descrition is available here.

Research Topics

Conferences

• PROOFS 2017 (program chair)
• FSFMA 2013-2014 (program committee member)