Archive for ‘Semántica formal’

noviembre 7th, 2011

Research Assistant position on EPSRC project “Formal Representation and Proof for Cooperative Games”

Research Assistant position on EPSRC project “Formal Representation and Proof for Cooperative Games” http://bit.ly/tRezAs

Posted in Ofertas Trabajo, Semántica formal | Comments Off on Research Assistant position on EPSRC project “Formal Representation and Proof for Cooperative Games”

noviembre 4th, 2011

4 Ofertas de trabajo en semántica formal (York)

Research Associates x 4

Applications are invited for four Research Associate posts in the High-Integrity Systems Engineering Group in the Department of Computer Science, University of York.  The posts, which are all limited to 33 months in the first instance, are available from January 2012.

https://jobs.york.ac.uk/wd/plsql/wd_portal.show_job?p_web_site_id=3885&p_web_page_id=139452

Posted in Ofertas Trabajo, Semántica formal | Comments Off on 4 Ofertas de trabajo en semántica formal (York)