Apology for multiple postings. There was a typo in the previous post
regarding the application deadlines. Below is the corrected version.
===
One postdoc position is available at the School of Computer Engineering,
Nanyang Technological University (NTU) Singapore, for a project on
verification of security 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, in particular,
equivalence properties of security protocols.
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. The salary range is between SGD 4000 - 6000 per month.
The position will be initially offered for one year, but can be extended up
to three years, subject to satisfactory performance and availability of
funding.
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 (
[email protected], [email protected]). Applications will be accepted until
the position is filled, but to ensure the full consideration of your
application, please send your application by 21 February 2016. Only
shortlisted candidates will be notified of the results of their
applications. The selected candidate is expected to commence in April 2016.
If you have any further questions regarding the position and/or the
project, please email [email protected].
Regards,
-Alwen
On Wed, Jan 20, 2016 at 9:48 AM, Alwen Tiu <[email protected]> wrote:
> One postdoc position is available at the School of Computer Engineering,
> Nanyang Technological University (NTU) Singapore, for a project on
> verification of security 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, in particular,
> equivalence properties of security protocols.
>
> 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. The salary range is between SGD 4000 - 6000 per month.
>
> The position will be initially offered for one year, but can be extended
> up to three years, subject to satisfactory performance and availability of
> funding.
>
> 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 (
> [email protected], [email protected]). 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
> 2015.
>
> If you have any further questions regarding the position and/or the
> project, please email [email protected].
>
>
> Regards,
> Alwen Tiu
>
------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
