Visit All-Acad.com with more than 100,000 Jobs for Academics!
                    
Position: Research Associate in Formal Methods and Autonomy
Institution: University of Liverpool
Department: Computer Science
Location: Liverpool, Merseyside, United Kingdom
Duties: We are seeking to recruit a Postdoctoral Researcher to work in the `Autonomy and Verification Lab¿ at the University of Liverpool. You will carry out research centred on autonomy and formal methods, potentially involving work across agent theory, logics, agent programming, robot software architectures, verification, or security analysis. The work will likely involve collaboration across a range of universities, disciplines, and industrial partners
Requirements: You should have a PhD in Computer Science, Robotics, Mathematics or related discipline
   
Text: Job Specification Research Associate in Formal Methods and Autonomy Grade 7 Computer Science 009454 £33,518 to £38,833 pa 16-Jul-2018 23:30 We are seeking to recruit a Postdoctoral Researcher to work in the `Autonomy and Verification Lab¿ at the University of Liverpool. You will carry out research centred on autonomy and formal methods, potentially involving work across agent theory, logics, agent programming, robot software architectures, verification, or security analysis. The work will likely involve collaboration across a range of universities, disciplines, and industrial partners. You should have a PhD in Computer Science, Robotics, Mathematics or related discipline. The post is available immediately, continuing until 31 December 2020. closing date: 16 July 2018 Click on the link below to view the full Job Description 009454_job-description Apply Return to Search
Please click here, if the Job didn't load correctly.







Please wait. You are being redirected to the Job in 3 seconds.