on either formal verification of security protocols or secure compilation, to join our dynamic research group. The ideal candidate... will have expertise in formal methods and at least one of the following: verification of security and cryptographic protocols, symbolic...