{"id":737,"date":"2010-10-23T09:22:12","date_gmt":"2010-10-23T09:22:12","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=737"},"modified":"2013-03-08T05:50:11","modified_gmt":"2013-03-08T05:50:11","slug":"trabajo-de-logica-computacional-en-la-universidad-de-yale-html","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-logica-computacional-en-la-universidad-de-yale-html\/","title":{"rendered":"Trabajo de L\u00f3gica Computacional en la Universidad de Yale"},"content":{"rendered":"<p>\nEl <a href=\"http:\/\/www.cs.yale.edu\/\">Departamento de Ciencias de la Computaci\u00f3n<\/a> de la <a href=\"http:\/\/www.yale.edu\/\">Universidad de Yale<\/a><br \/>\nha pubicado una oferta de trabajo en temas de L\u00f3gica Computacional: <a href=\"http:\/\/flint.cs.yale.edu\/shao\/jobs.html\">PostDoc and PhD Positions at Yale University<\/a><\/p>\n<p>\nEl objetivo del trabajo es el desarrollo de un nuevo sistema operativo cuyo n\u00facleo est\u00e9 formalmente certificado. Una descripci\u00f3n detallada del mismo se encuentra en <a href=\"http:\/\/flint.cs.yale.edu\/publications\/ctos.html\">Advanced Development of Certified OS Kernels<\/a>.<\/p>\n<p>\nEl trabajo se desarrollar\u00e1 en el grupo <a href=\"http:\/\/flint.cs.yale.edu\/\">FLINT<\/a> y ser\u00e1 dirigido por <a href=\"http:\/\/cs-www.cs.yale.edu\/homes\/shao\/\">Zhong Shao<\/a> y <a href=\"http:\/\/www.brynosaurus.com\/\">Bryan Ford<\/a>. <\/p>\n<p>\n","protected":false},"excerpt":{"rendered":"<p>El Departamento de Ciencias de la Computaci\u00f3n de la Universidad de Yale ha pubicado una oferta de trabajo en temas de L\u00f3gica Computacional: PostDoc and PhD Positions at Yale University El objetivo del trabajo es el desarrollo de un nuevo sistema operativo cuyo n\u00facleo est\u00e9 formalmente certificado. Una descripci\u00f3n detallada del mismo se encuentra en&#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":[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\/737"}],"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=737"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/737\/revisions"}],"predecessor-version":[{"id":3005,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/737\/revisions\/3005"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=737"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=737"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=737"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}