International Association
for Cryptologic Research

The High Assurance Software Laboratory (HASLab) at INESC TEC has an opening for a 2 year Post-Doc position.

The position is within the cryptography and information security group in the HASLab.

The group is actively working on: provable security, domain-specific languages and software development tools for cryptography, efficient implementation of cryptographic software, and formal verification of cryptographic proofs and implementations.

We are looking for a highly motivated researcher with a recent Ph.D. and background in at least one of the following fields:

provable security,

efficient implementation of cryptography,

programming languages and verification,

and an interest in carrying out research at their intersection.

The position starts from November 2014. The salary is around 18K euros per year after tax. The working language is English.

Applications should arrive no later than September 19, 2014 and should include a CV, a cover letter, and the names and contact details for two references.