THE UNIVERSITY OF NOTTINGHAM
Recruitment Role Profile Form
Job Title:
Research Associate/Fellow (fixed-term)
School/Department:
Computer Science
Salary:
£25,769 to £37,768 per annum, depending on skills and experience
(minimum £28,982 with relevant PhD). Salary progression beyond this
scale is subject to performance
Job Family and Level:
Research & Teaching Level 4 Career Training Grade/4
Contract Status:
Fixed term for one year
Hours of Work:
Full time
Location:
Computer Science, Jubilee Campus
Reporting to:
Dr Natasha Alechina
Purpose of the New Role:
Contribute to delivery of objectives of the EPSRC project EP/K033905/1 Verification of resource-bounded multiagent systems
Main Responsibilities:




Collaboration between the University of Nottingham and Middlesex University
Conduct research related to the project goals in collaboration with the project investigators
Preparing publications
Disseminating research results at conferences and other venues
Knowledge, Skills, Qualifications & Experience
Essential
Desirable
Qualifications/
Education

PhD, or near to completion of a PhD,
in Computer Science or related area

Skills/Training

Excellent oral and written
communication skills
Publication record in top international
conferences and/or journals
Ability to build relationships and
collaborate with others, both
internally and externally
Experience of conducting research in
Computer Science



Experience


PhD in computer-aided verification,
or other area closely related to the
project
Programming skills, especially in
developing computer-aided
verification tools
Experience of research in computeraided verification, or other area
closely related to the project
Decision Making
i)
taken independently by the role holder
Selecting research questions to address within the broad area of the project.
Deciding on the methodology of solving research problems.
ii)
taken in collaboration with others
Publication decisions.
Software development decisions (i.e. extensions to the model-checker MCMAS).
iii)
referred to the appropriate line manager (please name) by the role holder
Purchasing of travel and equipment (referred to PI or CI on the project).
Informal enquiries may be addressed to Natasha Alechina, email natasha.alechina@nottingham.ac.uk. Please
note that applications sent directly to this email address will not be accepted.