[SMT-LIB] Fwd: 3 Post-docs in Verification at the University of Oxford

[Tinelli, Cesare]

For anyone who might be interested.

-CT


> 
> Three Post-doc positions in verification at the University of Oxford
> 
> The Automated Formal Verification Group expects to advertise three posts for Research Assistants to work on formal verification under the direction of Daniel Kroening in the Department of Computer Science, University of Oxford. The posts offers scope for both theoretical and applied work; candidates of either inclination will be considered. We will consider both junior candidates (right after PhD) and candidates who already have post-doctoral experience. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field.
> 
> Candidates with applied focus should demonstrate strong programming and systems skills, experience of tool construction, and knowledge of program analysis. Candidates with a background in theoretical computer science should be able to demonstrate experience with automata theory, abstract interpretation, model checking or decision procedures.
> 
> Candidates with a background in one of the following areas are especially encouraged to apply:
> * embedded systems
> * unmanned aerial vehicles (UAVs)
> * validation of evolving software
> * operating system kernels
> * shared-variable concurrency
> 
> This post is a full time appointment, and is available initially for 1 year, with the possibility of extension.  The post has a salary on the University grade 08 scale, currently £36,862 to £44,016 (with a discretionary range of up to £48,096 for an exceptional candidate).
> 
> We welcome any inquiries via e-mail to kroening at cs.ox.ac.uk.