[TYPES/announce] Postdoctoral Research Position in Theorem Proving at University of Manchester, UK

[Giles Reger]

A Research Associate (postdoctoral) position is available for an outstanding and ambitious researcher to undertake research in the field of automated reasoning, in particular in first-order theorem proving for theories such as arithmetic or datatypes. You will be working in the automated reasoning group at the University of Manchester and contributing to the Vampire theorem prover.

You should have a PhD in a relevant area or equivalent. Furthermore, the position requires expertise in logic and first-order automated reasoning. Knowledge of decision procedures for datatypes, program analysis, SMT-based reasoning and verification, and implementation experience are desirable.

The position is for 3 years (depending on start date).

The deadline for applications is 17th August. Please contact Andrei Voronkov (voronkov at cs.man.ac.uk<mailto:voronkov at cs.man.ac.uk>) and Giles Reger (giles.reger at manchester.ac.uk<mailto:giles.reger at manchester.ac.uk>) for queries.

For further details and to apply see here: https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=13724
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170720/80563655/attachment.html>