{"id":88,"date":"2010-01-06T00:29:29","date_gmt":"2010-01-05T23:29:29","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=88"},"modified":"2013-03-08T05:53:49","modified_gmt":"2013-03-08T05:53:49","slug":"trabajo-de-doctorado-en-el-proyecto-formath-en-nijmegen","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/trabajo-de-doctorado-en-el-proyecto-formath-en-nijmegen\/","title":{"rendered":"Trabajo de doctorado en el proyecto ForMath en Nijmegen"},"content":{"rendered":"<p>Se ha convocado una <a href=\"https:\/\/lists.cam.ac.uk\/mailman\/htdig\/cl-isabelle-users\/2010-January\/msg00011.html\">plaza de trabajo para realizar el doctorado en el Proyecto ForMath<\/a>. El trabajo se realizar\u00e1 en el <a href=\"http:\/\/www.fnds.cs.ru.nl\/fndswiki\/\">Foundations Group<\/a> del <a href=\"http:\/\/www.ru.nl\/icis\/\">Institute for Computing and Information Sciences<\/a> de la <a href=\"http:\/\/www.ru.nl\/english\/\">Radboud University Nijmegen<\/a> de Holanda.<\/p>\n<p>El <a href=\"http:\/\/formath.cs.ru.nl\/\">proyecto ForMath<\/a> (Formalization of Mathematics) es un proyecto FP7 liderado por <a href=\"http:\/\/www.cse.chalmers.se\/~coquand\/\">Thierry Coquand<\/a> de la <a href=\"http:\/\/www.gu.se\/english\/?languageId=100001&#038;contentId=-1&#038;disableRedirect=true&#038;returnUrl=http%3A%2F%2Fwww.gu.se%2F\">Gothenburg University<\/a>. El objetivo del proyecto es desarrollar teor\u00edas formalizadas sobre \u00e1lgebra, \u00e1lgebra lineal, computaci\u00f3n sobre los n\u00fameros reales y topolog\u00eda algebraica.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Se ha convocado una plaza de trabajo para realizar el doctorado en el Proyecto ForMath. El trabajo se realizar\u00e1 en el Foundations Group del Institute for Computing and Information Sciences de la Radboud University Nijmegen de Holanda. El proyecto ForMath (Formalization of Mathematics) es un proyecto FP7 liderado por Thierry Coquand de la Gothenburg University&#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":[17,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\/88"}],"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=88"}],"version-history":[{"count":7,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/88\/revisions"}],"predecessor-version":[{"id":3092,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/88\/revisions\/3092"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=88"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=88"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=88"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}