Nottingham University



|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 multi-agent 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 |PhD in computer-aided verification, or other area closely |

| |related area |related to the project |

|Skills/Training |Excellent oral and written communication skills |Programming skills, especially in developing |

| |Publication record in top international conferences and/or |computer-aided verification tools |

| |journals | |

| |Ability to build relationships and collaborate with others, | |

| |both internally and externally | |

|Experience |Experience of conducting research in Computer Science |Experience of research in computer-aided 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.

................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download