[isabelle] Postdoc position on hardware verification at NTU Singapore

[Apology for multiple postings]

One postdoc position is available at the School of Computer Engineering,
Nanyang Technological University (NTU)  Singapore, for a project on
hardware verification.

Candidates must possess a PhD degree in Computer Science or related areas.
The position is part of a larger project on formal verification of hardware
and software systems at NTU. For this particular position, the postdoc is
expected to work on building formal models of hardware description
languages, and verifying the correctness of hardware designs. Candidates
for the position must have experience in theorem proving tools. Candidates
with knowledge of hardware design language 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 four 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 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 atiu at ntu.edu.sg.

Alwen Tiu

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