Postdoc position in Formal Kernel Verification (advance notice)
Call for expression of interest
A postdoc/research fellow position for 18 months in the area of formal
verification of partitioning, separating micro-kernels is available, pending
final negotiations with the sponsor. Currently we are seeking expressions of
interest from post-doctoral researchers, in order to speed up the appointment
process in the event of funding sign-off.
Key tasks to be performed:
* Development of a reference specification for a partitioning, separating
microkernel (6 months)
* Investigation into appropriate notations and tools to undertake a formal
verification of the correctness of an implementation of such a kernel against
the reference specification, ending with a feasibility study into the
practicability of the chosen approach (12 months)
Location: the work will be carried out under the auspices of
Lero: the Irish Software Engineering Research Centre (www.lero.ie)
based with its team at Trinity College Dublin, Ireland (Lero@TCD).
Salary Scale: we anticipate a salary in the range EUR 37,750 - EUR 54,820,
based on level of post-doctoral experience.
The successful candidate will have experience with formal verification using
tool support, and ideally also have experience of OS kernels and the MILS
security architecture.
Start Date: as soon as possible, once funding is confirmed.
If interested, please email CV to:
[log in to unmask]
Dr. Andrew Butterfield,
Lero@TCD,
School of Computer Science & Statistics,
O'Reilly Institute,
Trinity College,
Dublin 2,
Ireland.
http://www.scss.tcd.ie/Andrew.Butterfield/
--------------------------------------------------------------------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Foundations and Methods Research Group Director.
School of Computer Science and Statistics,
Room F.13, O'Reilly Institute, Trinity College, University of Dublin
http://www.cs.tcd.ie/Andrew.Butterfield/
--------------------------------------------------------------------
