Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Two postdoctoral research assistantships in automated verification and synthesis, Oxford (U.K.)

Two Grade 7 postdoctoral research assistant posts are available to work under the direction of Professor Marta Kwiatkowska in the Department of Computer Science, University of Oxford.

The positions are available in the field of automated verification and synthesis in association with the ERC Advanced Investigator Grant 'VERIWARE: From software verification to everyware verification'. Applicants should include a supporting statement which summarises how they would contribute to the project. Priority will be given to candidates who can strengthen and/or broaden existing activities of VERIWARE.

Both positions are available immediately. Any queries about the posts should be addressed to The closing date for applications is 12 noon on Friday, 31st May 2013. For further details and to apply please visit: http://www.cs.ox.ac.uk/news/636-full.html

Please note that this newsitem has been archived, and may contain outdated information or links.