{"id":835,"date":"2010-11-15T01:09:16","date_gmt":"2010-11-15T01:09:16","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=835"},"modified":"2013-03-08T05:50:08","modified_gmt":"2013-03-08T05:50:08","slug":"trabajo-de-logica-computacional-en-grenoble-2","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-grenoble-2\/","title":{"rendered":"Trabajo de L\u00f3gica Computacional en Grenoble"},"content":{"rendered":"<p>\nEl grupo <a href=\"http:\/\/tima.imag.fr\/vds\/\">VDS<\/a> (Verification &#038; Modeling of Digital Systems Group) del <a href=\"http:\/\/tima.imag.fr\/tima\/fr\/index.html\">Laboratorio TIMA<\/a> (Techniques de l\u2019Informatique et de la Micro\u00e9lectronique pour l\u2019Architecture des syst\u00e8mes int\u00e9gr\u00e9s) en Grenoble ha anunciado la ogerta de una plaza de trabajo: <a href=\"http:\/\/tima.imag.fr\/vds\/postdoc.html\">Formal methods for verifying dependability properties for a secured architecture<\/a>.<\/p>\n<p>\nEl trabajo se desarrollar\u00e1 dentro del proyecto <a href=\"http:\/\/shiva.minalogic.net\/\">SHIVA<\/a> (Secured Hardware Immune Versatile Architecture) y ser\u00e1 dirigido por <a href=\"http:\/\/users-tima.imag.fr\/vds\/lpierre\/\">Laurence Pierre<\/a>.<\/p>\n<p>\nLos objetivos del trabajo ser\u00e1n la especificaci\u00f3n de la propiedades de seguridad necesarias para los m\u00f3dulos hardware desarrollados por otros equipos del proyecto, la mejora de la especificaci\u00f3n y de las metodolog\u00edas de la verificaci\u00f3n y su aplicaci\u00f3n a las tareas verificadas.<\/p>\n<p>\nUn precedente del trabajo es la <a href=\"http:\/\/tima.imag.fr\/vds\/GeNoC\/genoc.html\">verificaci\u00f3n formal de comunicaciones en redes de chips con ACL2<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>El grupo VDS (Verification &#038; Modeling of Digital Systems Group) del Laboratorio TIMA (Techniques de l\u2019Informatique et de la Micro\u00e9lectronique pour l\u2019Architecture des syst\u00e8mes int\u00e9gr\u00e9s) en Grenoble ha anunciado la ogerta de una plaza de trabajo: Formal methods for verifying dependability properties for a secured architecture. El trabajo se desarrollar\u00e1 dentro del proyecto SHIVA (Secured&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[13],"tags":[49,274],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/835"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=835"}],"version-history":[{"count":4,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/835\/revisions"}],"predecessor-version":[{"id":2987,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/835\/revisions\/2987"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=835"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=835"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=835"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}