[TYPES/announce] postdoc position at Middlesex, UK

[Richard Bornat]

Following the departure of Matthew Parkinson to an Academy of  
Engineering Fellowship, I have a postdoc vacancy. The official  
advertisement follows. Really, the project is to do interesting stuff  
with concurrency in separation logic, possibly including mechanical  
verification, certainly including puzzling over hard separation logic  
proofs.

Richard Bornat

> MIDDLESEX UNIVERSITY
>
> School of
> Computing Science
>
> Researcher in Concurrency
> £24,974 - £31,003
>
> 20 months fixed term contract
> to 31 April 2008
>
> An opportunity to research into the application of program  
> verification techniques, specifically separation logo, to  
> concurrent programs, including non-blocking concurrency.
>
> You should:
> ­    have a good honours degree in Computing Science and have  
> completed
> postgraduate study beyond Masters¹ level
> ­    possess demonstrable research capability
> ­    be competent in proof in Hoare logic and/or application of  
> logic to
> program specification and proof
> ­    have programming skills in a wide range of languages including C
> ­    preferably have a PhD in Computer Science completed or near  
> submission.
>
> The post is based at the University¹s Hendon campus, although  
> regular travel to meetings with partners in East London and  
> Cambridge, and occasional participation in national and  
> international conferences, is expected.
>
> For an informal discussion about this post please contact Professor  
> Richard Bornat via R.Bornat at mdx.ac.uk
>
> To apply please download an application pack from www.mdx.ac.uk/ 
> jobs or contact us requesting an application pack quoting reference  
> COM190J.
>
> Email recruit1 at mdx.ac.uk € Telephone 020 8411 6110
>
> Recruitment Office, Middlesex University,
> North London Business Park, Oakleigh Road South, London N11 1QS.
>
> Closing date: 14 November 2006.
>