[isabelle] One postdoc and two Phd positions on formal verification of security protocols

One postdoc and two PhD positions are available at the School of Computer
Engineering, Nanyang Technological University (NTU)  Singapore.

The postdocs and the PhDs positions are for a project on verification of
protocols funded by the Ministry of Education of Singapore. A particular
emphasis will be on designing and implementing decision procedures for
finding attacks on protocols or producing formal proofs of their security.
We will be using a mixture of process algebraic and logical frameworks to
express protocols and their properties.

For the postdoc position:
Candidates must possess a PhD degree in Computer Science or related areas.
Candidates with strong backgrounds in process calculus, such as the
pi-calculus and its variants, and/or formal logic and theorem proving are
preferred. For further details, including the salary range, please refer to
the job ads at:


The position will be initially offered for one year, but can be extended up
to three years, subject to satisfactory performance and availability of

To apply for the position, please send a cover letter and your latest CV
(please indicate names of three referees in your CV) by email to Alwen Tiu (
atiu at ntu.edu.sg, alwen.tiu at gmail.com). Applications will be accepted until
the position is filled, but to ensure the full consideration of your
application, please send your application by 21 August 2015. Only
shortlisted candidates will be notified of the results of their
applications. The selected candidate is expected to commence in October

For the PhD positions:
please send an email to Alwen Tiu (atiu at ntu.edu.sg) to express your
interests. Please refer to the following website for application procedures
and requirements.

For the intake of January 2016, applications must be received by 31 August


If you have any further questions, please contact atiu at ntu.edu.sg.

Alwen Tiu

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.