Currently we have an open position for a post-doc in the areas of system verification, security architectures and resilient system design. Please send an email with your CV if you are interested in this.