Vacancies at the University of Twente

At the Distributed and Embedded Systems group of the University of Twente we have a number of vacancies at PhD and Post-Doc level. We are also looking for candidates with a background in mathematics or computational logic who are interested in security in general and in one of the following three topics in particular:

• formal verification of protocols
• distributed trust management
• (languages for) privacy protection

For more information, see http://dies.cs.utwente.nl/vacancies/, http://wwwhome.cs.utwente.nl/~etalle/ and http://www.ctit.utwente.nl/vacancies/.