Apologies if you received more than one copy.
Applications are invited for a Research Associate (Postdoc) post researching model-based testing of robotic systems within the Department of Computer Science, University of Sheffield. The position will be funded by the EPSRC. Starting grade and spine point will be determined according to the experience and skills of the successful candidate. The project is joint with The University of York.
The main duties and responsibilities of the Research Associate will be to develop new testing techniques that base automation on formal models of robotic systems. There will be an opportunity to extend the underlying testing theory to take into account the types of models used as well as the testing needs and properties of the robotics application domain. The Research Associate will also develop novel test generation and execution techniques, implement these approaches in the form of tools, document the tools, and evaluate tools and approaches through experiments and case studies. They will liaise with academic and the industrial partners and participate in the writing of papers.
The Research Associate will need to have good communication skills in order to liaise effectively with industrial partners and researchers, they will need to develop and use software tools, and participate in general research communication activities such as videos, press articles and workshops.
The Research Associate will have the opportunity to further extend and develop their knowledge of formal methods and software testing whilst within the role.
You can find more details at:
https://www.jobs.ac.uk/job/BVX766/research-associate-in-model-based-testing-of-robotic-systems
The closing date is 10th November 2019.
Informal enquiries regarding these posts should be made to Professor Hierons ([log in to unmask]).
########################################################################
To unsubscribe from the FMNET list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=FMNET&A=1
|