Research Associate in First-Order Theorem Proving for Theories

University Of Manchester

United Kingdom

Research Associate in First-Order Theorem Proving for Theories


Job Reference : S&E-14530


Location : Oxford Road, Manchester


Closing Date (DD-MM-YYYY) : 07/10/2019


Salary : £32,816 to £40,322 per annum (according to relevant experience)


Employment Type : Fixed Term


Faculty / Organisational Unit : Science & Engineering


Division : Department of Computer Science


Hours Per week : Full time


Contract Duration : 11 months from commencement of contract


A postdoctoral Research Associate 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 should have, or be about to obtain, a PhD(or equivelant) in a relevant area. 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 School of Computer Science is committed to promoting equality and diversity, including the Athena SWAN charter for promoting women’s careers in STEMM subjects (science, technology, engineering, mathematics and medicine) in higher education. The School holds a Bronze Award for their commitment to the representation of women in the workplace and we particularly welcome applications from women for this post. The appointment will always be made on merit. For further information, please visit: http://www.manchester.ac.uk/connect/jobs/equality-diversity/awards/athena-swan/

 

Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies

Enquiries about vacancy shortlisting and interviews:
Name: Giles Reger
Email: giles.reger@manchester.ac.uk


General enquiries:
Email: hrservices@manchester.ac.uk
Tel: 0161 275 4499


Technical support:
Email: universityofmanchester@helpmeapply.co.uk
Tel: 0161 850 2004

This vacancy will close for applications at midnight on the closing date


In your application, please refer to Professorpositions.com

FACEBOOK
TWITTER
LINKEDIN
GOOGLE
https://professorpositions.com/research-associate-in-first-order-theorem-proving-for-theories,i4495.html">

amsterdam uni

antwerp uni

cambridge uni

florida uni

hamburg uni

harvard uni

hiroshima uni

oslo uni

purdue uni

ryerson uni

shanghai jiao tong uni

stockholm uni