[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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
([email protected]<mailto:[email protected]>) 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)
