[TYPES/announce] Automated Reasoning PostDoc, Manchester UK

[Giles Reger]

[Apologies if you receive this email multiple times. Please forward to people you think may be interested]

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.

The position is suitable for a person who has just obtained, or is about to obtain, a PhD in a relevant area or equivalent, as well as those with more experience. The position requires expertise in logic and first-order automated reasoning. Knowledge of decision procedures for datatypes, program analysis, SMT-based reasoning and verification, or implementation experience are desirable.

The position is initially for 11 months with the chance of extension.

Please contact Giles Reger (giles.reger at manchester.ac.uk<mailto:giles.reger at manchester.ac.uk>) for queries.

The full details (and how to apply) are here:

https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=17890

(applications close 7th October)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190918/0a05d7d6/attachment-0001.html>