UHU - Gonzalo A. Aranda-Corral » Semántica formal http://www.uhu.es/gonzalo.aranda Cuaderno de docencia y otras cosas... Thu, 23 Apr 2026 10:52:49 +0000 es-ES hourly 1 http://wordpress.org/?v=4.2 Research Assistant position on EPSRC project “Formal Representation and Proof for Cooperative Games” http://www.uhu.es/gonzalo.aranda/2011/11/research-assistant-position-on-epsrc-project-formal-representation-and-proof-for-cooperative-games/ http://www.uhu.es/gonzalo.aranda/2011/11/research-assistant-position-on-epsrc-project-formal-representation-and-proof-for-cooperative-games/#comments Mon, 07 Nov 2011 18:08:20 +0000 http://www.uhu.es/gonzalo.aranda/?p=457 Research Assistant position on EPSRC project “Formal Representation and Proof for Cooperative Games” http://bit.ly/tRezAs

]]> http://www.uhu.es/gonzalo.aranda/2011/11/research-assistant-position-on-epsrc-project-formal-representation-and-proof-for-cooperative-games/feed/ 0 4 Ofertas de trabajo en semántica formal (York) http://www.uhu.es/gonzalo.aranda/2011/11/4-ofertas-de-trabajo-en-semantica-formal-york/ http://www.uhu.es/gonzalo.aranda/2011/11/4-ofertas-de-trabajo-en-semantica-formal-york/#comments Fri, 04 Nov 2011 15:07:44 +0000 http://www.uhu.es/gonzalo.aranda/?p=451 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

]]> http://www.uhu.es/gonzalo.aranda/2011/11/4-ofertas-de-trabajo-en-semantica-formal-york/feed/ 0