{"id":34946,"date":"2020-02-07T03:00:36","date_gmt":"2020-02-07T02:00:36","guid":{"rendered":"https:\/\/www.cde.ual.es\/?p=34946"},"modified":"2020-02-06T11:36:22","modified_gmt":"2020-02-06T10:36:22","slug":"research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne","status":"publish","type":"post","link":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/","title":{"rendered":"Research Fellow in Verified Operating System Security at the University of Melbourne"},"content":{"rendered":"<p>We are seeking a highly motivated researcher with a research background in formal methods and security. You will contribute to the development of methods for reasoning about timing channels in verified operating system kernels, applied to the seL4 kernel.<\/p>\n<h3><a href=\"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg\"><img decoding=\"async\" class=\"aligncenter wp-image-29849 size-medium\" src=\"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920-300x200.jpg\" alt=\"\" width=\"300\" height=\"200\" srcset=\"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920-300x200.jpg 300w, https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920-768x512.jpg 768w, https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920-1024x683.jpg 1024w, https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg 1920w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/a><\/h3>\n<p><strong>The University of Melbourne<\/strong>\u00a0is consistently ranked among the leading universities in the world, we are globally engaged; comprehensive; research-intensive; and committed to responding to the major challenges of our time.<\/p>\n<h3>Organisation<\/h3>\n<p>University of Melbourne<\/p>\n<h3>Research Field<\/h3>\n<div>Computer science<\/div>\n<h3>Deadline<\/h3>\n<p><span style=\"font-size: 16px;\">25 February 2020<\/span><\/p>\n<h3>Location<\/h3>\n<p>Australia<\/p>\n<h3>Requirements<\/h3>\n<ul>\n<li>PhD in Computer Science or a relevant discipline<\/li>\n<li>Experience in one or more of the following areas:\n<ul>\n<li>program verification (e.g. Hoare logic)<\/li>\n<li>information flow security (e.g. non-interference)<\/li>\n<li>interactive theorem provers (e.g. Isabelle, Coq, etc.)<\/li>\n<\/ul>\n<\/li>\n<li>Record of quality research as evidenced by research publications in leading conferences and journals, commensurate with opportunity<\/li>\n<li>Ability to perform independent research and a commitment to interdisciplinary research<\/li>\n<li>Capacity to communicate research concepts to technical and non-technical audiences<\/li>\n<li>Excellent written and verbal communication skills, demonstrated by presentation of research results at conferences, internal forums and through manuscript submissions<\/li>\n<li>Excellent interpersonal skills, including an ability to interact with internal and external stakeholders (academic, administrative support staff), in a courteous and effective manner.<\/li>\n<li>Ability to work independently and as part of a team<\/li>\n<li>Demonstrated capacity to develop expertise in research to undertake tasks with autonomy<\/li>\n<li>Excellent ability in analytical thinking, problem solving, maintaining accurate research records and developing new ideas<\/li>\n<li>Understanding of timing and side-channel attacks and principles<\/li>\n<li>Experience in supervision of undergraduate and graduate students<\/li>\n<\/ul>\n<h3>More Information<\/h3>\n<p><a href=\"https:\/\/euraxess.ec.europa.eu\/jobs\/485337\">Euraxess<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are seeking a highly motivated researcher with a research background in formal methods and security. You will contribute to the development of methods for reasoning about timing channels in verified operating system kernels, applied to the seL4 kernel. The University of Melbourne\u00a0is consistently ranked among the leading universities in the world, we are globally [&hellip;]<\/p>\n","protected":false},"author":101011,"featured_media":29849,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"_relevanssi_hide_post":"","_relevanssi_hide_content":"","_relevanssi_pin_for_all":"","_relevanssi_pin_keywords":"","_relevanssi_unpin_keywords":"","_relevanssi_related_keywords":"","_relevanssi_related_include_ids":"","_relevanssi_related_exclude_ids":"","_relevanssi_related_no_append":"","_relevanssi_related_not_related":"","_relevanssi_related_posts":"","_relevanssi_noindex_reason":"","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"_genesis_hide_title":false,"_genesis_hide_breadcrumbs":false,"_genesis_hide_singular_image":false,"_genesis_hide_footer_widgets":false,"_genesis_custom_body_class":"","_genesis_custom_post_class":"","_genesis_layout":"","footnotes":""},"categories":[366],"tags":[409,1184,456],"class_list":{"0":"post-34946","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-eu-calls-and-awards","8":"tag-call","9":"tag-melbourne","10":"tag-security","11":"entry"},"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Research Fellow in Verified Operating System Security at the University of Melbourne | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research Fellow in Verified Operating System Security at the University of Melbourne | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda\" \/>\n<meta property=\"og:description\" content=\"We are seeking a highly motivated researcher with a research background in formal methods and security. You will contribute to the development of methods for reasoning about timing channels in verified operating system kernels, applied to the seL4 kernel. The University of Melbourne\u00a0is consistently ranked among the leading universities in the world, we are globally [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/\" \/>\n<meta property=\"og:site_name\" content=\"CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/cdeuniversidadalmeria\/\" \/>\n<meta property=\"article:published_time\" content=\"2020-02-07T02:00:36+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"1280\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"BECA 2 CDE\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@cdeualmeria\" \/>\n<meta name=\"twitter:site\" content=\"@cdeualmeria\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"BECA 2 CDE\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/\"},\"author\":{\"name\":\"BECA 2 CDE\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#\\\/schema\\\/person\\\/ee46ebc19edfa19598c02cff83335acc\"},\"headline\":\"Research Fellow in Verified Operating System Security at the University of Melbourne\",\"datePublished\":\"2020-02-07T02:00:36+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/\"},\"wordCount\":269,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/security-265130_1920.jpg\",\"keywords\":[\"call\",\"Melbourne\",\"Security\"],\"articleSection\":[\"EU Calls and Awards\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/\",\"url\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/\",\"name\":\"Research Fellow in Verified Operating System Security at the University of Melbourne | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/security-265130_1920.jpg\",\"datePublished\":\"2020-02-07T02:00:36+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/security-265130_1920.jpg\",\"contentUrl\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/security-265130_1920.jpg\",\"width\":1920,\"height\":1280,\"caption\":\"seguridad-protecci\u00f3n-ciberseguridad\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Inicio\",\"item\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"EU Calls and Awards\",\"item\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/category\\\/eu-calls-and-awards\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Fellow in Verified Operating System Security at the University of Melbourne\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#website\",\"url\":\"https:\\\/\\\/www.cde.ual.es\\\/\",\"name\":\"CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda\",\"description\":\"Centro de Documentaci\u00f3n Europea de la Universidad de Almer\u00eda\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#organization\"},\"alternateName\":\"CDE Almer\u00eda\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.cde.ual.es\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#organization\",\"name\":\"Centro de Documentaci\u00f3n Europea de Almer\u00eda\",\"url\":\"https:\\\/\\\/www.cde.ual.es\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2025\\\/07\\\/cde-logo-3.png\",\"contentUrl\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2025\\\/07\\\/cde-logo-3.png\",\"width\":1400,\"height\":300,\"caption\":\"Centro de Documentaci\u00f3n Europea de Almer\u00eda\"},\"image\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/cdeuniversidadalmeria\\\/\",\"https:\\\/\\\/x.com\\\/cdeualmeria\",\"https:\\\/\\\/www.tiktok.com\\\/@cdealmeria\",\"https:\\\/\\\/www.instagram.com\\\/cdealmeria\\\/\",\"https:\\\/\\\/www.linkedin.com\\\/in\\\/cde-almera-812b26a9\\\/\"]},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#\\\/schema\\\/person\\\/ee46ebc19edfa19598c02cff83335acc\",\"name\":\"BECA 2 CDE\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/35a481bbc04bbd90e91bdfa3b0b5541036c222a49b9ad37b6889a2afcb5311a5?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/35a481bbc04bbd90e91bdfa3b0b5541036c222a49b9ad37b6889a2afcb5311a5?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/35a481bbc04bbd90e91bdfa3b0b5541036c222a49b9ad37b6889a2afcb5311a5?s=96&d=mm&r=g\",\"caption\":\"BECA 2 CDE\"},\"sameAs\":[\"http:\\\/\\\/www.cdealmeria.com\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Research Fellow in Verified Operating System Security at the University of Melbourne | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/","og_locale":"en_US","og_type":"article","og_title":"Research Fellow in Verified Operating System Security at the University of Melbourne | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda","og_description":"We are seeking a highly motivated researcher with a research background in formal methods and security. You will contribute to the development of methods for reasoning about timing channels in verified operating system kernels, applied to the seL4 kernel. The University of Melbourne\u00a0is consistently ranked among the leading universities in the world, we are globally [&hellip;]","og_url":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/","og_site_name":"CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda","article_publisher":"https:\/\/www.facebook.com\/cdeuniversidadalmeria\/","article_published_time":"2020-02-07T02:00:36+00:00","og_image":[{"width":1920,"height":1280,"url":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg","type":"image\/jpeg"}],"author":"BECA 2 CDE","twitter_card":"summary_large_image","twitter_creator":"@cdeualmeria","twitter_site":"@cdeualmeria","twitter_misc":{"Written by":"BECA 2 CDE","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#article","isPartOf":{"@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/"},"author":{"name":"BECA 2 CDE","@id":"https:\/\/www.cde.ual.es\/#\/schema\/person\/ee46ebc19edfa19598c02cff83335acc"},"headline":"Research Fellow in Verified Operating System Security at the University of Melbourne","datePublished":"2020-02-07T02:00:36+00:00","mainEntityOfPage":{"@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/"},"wordCount":269,"commentCount":0,"publisher":{"@id":"https:\/\/www.cde.ual.es\/#organization"},"image":{"@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#primaryimage"},"thumbnailUrl":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg","keywords":["call","Melbourne","Security"],"articleSection":["EU Calls and Awards"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/","url":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/","name":"Research Fellow in Verified Operating System Security at the University of Melbourne | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda","isPartOf":{"@id":"https:\/\/www.cde.ual.es\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#primaryimage"},"image":{"@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#primaryimage"},"thumbnailUrl":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg","datePublished":"2020-02-07T02:00:36+00:00","breadcrumb":{"@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#primaryimage","url":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg","contentUrl":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2019\/11\/security-265130_1920.jpg","width":1920,"height":1280,"caption":"seguridad-protecci\u00f3n-ciberseguridad"},{"@type":"BreadcrumbList","@id":"https:\/\/www.cde.ual.es\/en\/research-fellow-in-verified-operating-system-security-at-the-university-of-melbourne\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Inicio","item":"https:\/\/www.cde.ual.es\/en\/"},{"@type":"ListItem","position":2,"name":"EU Calls and Awards","item":"https:\/\/www.cde.ual.es\/en\/category\/eu-calls-and-awards\/"},{"@type":"ListItem","position":3,"name":"Research Fellow in Verified Operating System Security at the University of Melbourne"}]},{"@type":"WebSite","@id":"https:\/\/www.cde.ual.es\/#website","url":"https:\/\/www.cde.ual.es\/","name":"CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda","description":"Centro de Documentaci\u00f3n Europea de la Universidad de Almer\u00eda","publisher":{"@id":"https:\/\/www.cde.ual.es\/#organization"},"alternateName":"CDE Almer\u00eda","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.cde.ual.es\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.cde.ual.es\/#organization","name":"Centro de Documentaci\u00f3n Europea de Almer\u00eda","url":"https:\/\/www.cde.ual.es\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.cde.ual.es\/#\/schema\/logo\/image\/","url":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2025\/07\/cde-logo-3.png","contentUrl":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2025\/07\/cde-logo-3.png","width":1400,"height":300,"caption":"Centro de Documentaci\u00f3n Europea de Almer\u00eda"},"image":{"@id":"https:\/\/www.cde.ual.es\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/cdeuniversidadalmeria\/","https:\/\/x.com\/cdeualmeria","https:\/\/www.tiktok.com\/@cdealmeria","https:\/\/www.instagram.com\/cdealmeria\/","https:\/\/www.linkedin.com\/in\/cde-almera-812b26a9\/"]},{"@type":"Person","@id":"https:\/\/www.cde.ual.es\/#\/schema\/person\/ee46ebc19edfa19598c02cff83335acc","name":"BECA 2 CDE","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/35a481bbc04bbd90e91bdfa3b0b5541036c222a49b9ad37b6889a2afcb5311a5?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/35a481bbc04bbd90e91bdfa3b0b5541036c222a49b9ad37b6889a2afcb5311a5?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/35a481bbc04bbd90e91bdfa3b0b5541036c222a49b9ad37b6889a2afcb5311a5?s=96&d=mm&r=g","caption":"BECA 2 CDE"},"sameAs":["http:\/\/www.cdealmeria.com"]}]}},"_links":{"self":[{"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/posts\/34946","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/users\/101011"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/comments?post=34946"}],"version-history":[{"count":0,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/posts\/34946\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/media\/29849"}],"wp:attachment":[{"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/media?parent=34946"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/categories?post=34946"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/tags?post=34946"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}