{"id":158948,"date":"2025-04-10T03:00:45","date_gmt":"2025-04-10T01:00:45","guid":{"rendered":"https:\/\/www.cde.ual.es\/?p=158948"},"modified":"2025-04-09T12:14:23","modified_gmt":"2025-04-09T10:14:23","slug":"phd-formal-verification-with-intelligent-agents-luxembourg","status":"publish","type":"post","link":"https:\/\/www.cde.ual.es\/en\/phd-formal-verification-with-intelligent-agents-luxembourg\/","title":{"rendered":"PhD &#8211; Formal Verification with Intelligent Agents &#8211; Luxembourg"},"content":{"rendered":"<p><img decoding=\"async\" class=\"aligncenter\" src=\"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2022\/05\/artificial-intelligence-gd95e842fa_1920.jpg\" alt=\"inteligencia artificial\" width=\"539\" height=\"359\" \/><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\"><span class=\"NormalTextRun SCXW141389786 BCX0\">The\u00a0Faculty of Science, Technology and Medicine\u00a0(FSTM) at the University of Luxembourg contributes multidisciplinary\u00a0<\/span><span class=\"NormalTextRun SCXW141389786 BCX0\">expertise<\/span><span class=\"NormalTextRun SCXW141389786 BCX0\">\u00a0in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine.<br \/>\n<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\">They are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State-based and machine-based formal methods are the primary areas of interest for producing formal specifications of the software system to be verified. To enhance the capabilities of these formal methods, the candidate will explore how AI agents can assist not only in auto-formalisation (such as automatically translating natural language into formal specifications) but also in discharging verification conditions including premise selection and proof generation. The successful candidate will be employed at the Department of Computer Science of the University of Luxembourg (UL). The person will be jointly supervised by Prof. Dr. Jun Pang and Dr. Alfredo Capozucca.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\"><strong>Responsibilities<\/strong>:<\/span><\/p>\n<ul style=\"text-align: justify;\">\n<li><span style=\"font-size: 14pt;\">Conduct research in the field of formal verification with AI agents<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Write a doctoral dissertation in computer science<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Presentation of research findings at workshops and conferences<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Publication of scientific papers in peer-reviewed conference proceedings and journals<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Moderate participation in teaching activities<\/span><\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\"><strong>Requirements<\/strong><\/span><\/p>\n<ul style=\"text-align: justify;\">\n<li><span style=\"font-size: 14pt;\">Master&#8217;s degree in computer science or a related field<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">A background in formal specification and verification<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Strong background in programming<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">A pro-active approach to achieving research excellence<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Commitment, team working and a critical mind<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Fluent written and verbal communication skills in English<\/span><\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\">They are seeking a candidate with a strong interest or background in one or more of the following areas:<\/span><\/p>\n<ul style=\"text-align: justify;\">\n<li><span style=\"font-size: 14pt;\">Formal specification and verification<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Theorem proving, familiar with proof assistants<\/span><\/li>\n<li><span style=\"font-size: 14pt;\">Machine learning and LLMs<\/span><\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\"><strong>Benefits<\/strong><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\">The yearly gross salary for every PhD at the UL is EUR 40952 (full time).<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-size: 14pt;\">They also offer:<\/span><\/p>\n<ul>\n<li style=\"text-align: justify;\"><span style=\"font-size: 14pt;\">Multilingual and international character. Modern institution with a personal atmosphere. Staff coming from 90 countries. Member of the &#8220;University of the Greater Region&#8221; (UniGR)<\/span><\/li>\n<li style=\"text-align: justify;\"><span style=\"font-size: 14pt;\">A modern and dynamic university. High-quality equipment. Close ties to the business world and to the Luxembourg labour market. A unique urban site with excellent infrastructure<\/span><\/li>\n<li style=\"text-align: justify;\"><span style=\"font-size: 14pt;\">A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and with numerous non-academic partners such as ministries, local governments, associations, NGOs \u2026<\/span><\/li>\n<\/ul>\n<p><span style=\"font-size: 14pt;\"><strong>Organization\/Company<\/strong> &#8211; University of Luxembourg<\/span><\/p>\n<p><span style=\"font-size: 14pt;\"><strong>Research field<\/strong> &#8211; Educational sciences \u00bb Education<\/span><\/p>\n<p><span style=\"font-size: 14pt;\"><strong>Research profile<\/strong> &#8211; First Stage Researcher (R1)<\/span><\/p>\n<p><span style=\"font-size: 14pt;\"><strong>Country<\/strong> &#8211; Luxembourg<\/span><\/p>\n<p><span style=\"font-size: 14pt;\"><strong>Application Deadline<\/strong> &#8211; 8 April 2026 &#8211; 08:28 (UTC)<\/span><\/p>\n<p><span style=\"font-size: 14pt;\"><strong>More information: <a href=\"https:\/\/euraxess.ec.europa.eu\/jobs\/334125\">Euraxess<\/a><\/strong><\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The\u00a0Faculty of Science, Technology and Medicine\u00a0(FSTM) at the University of Luxembourg contributes multidisciplinary\u00a0expertise\u00a0in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. They are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State-based and machine-based formal methods [&hellip;]<\/p>\n","protected":false},"author":101012,"featured_media":107049,"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":[4048,366,4043],"tags":[965,14178,848,14321,1085,460,14322],"class_list":{"0":"post-158948","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-engineering-architecture","8":"category-eu-calls-and-awards","9":"category-euraxess-en","10":"tag-ai","11":"tag-eu-calls","12":"tag-euraxess-en","13":"tag-intelligent-agents","14":"tag-luxembourg","15":"tag-phd","16":"tag-software-engineers","17":"entry"},"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>PhD - Formal Verification with Intelligent Agents - Luxembourg | 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\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PhD - Formal Verification with Intelligent Agents - Luxembourg | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda\" \/>\n<meta property=\"og:description\" content=\"The\u00a0Faculty of Science, Technology and Medicine\u00a0(FSTM) at the University of Luxembourg contributes multidisciplinary\u00a0expertise\u00a0in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. They are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State-based and machine-based formal methods [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/\" \/>\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=\"2025-04-10T01:00:45+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2022\/05\/artificial-intelligence-gd95e842fa_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=\"BECACDE1\" \/>\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=\"BECACDE1\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/\"},\"author\":{\"name\":\"BECACDE1\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#\\\/schema\\\/person\\\/bf2f837cf3353e2161fe1087adbd728f\"},\"headline\":\"PhD &#8211; Formal Verification with Intelligent Agents &#8211; Luxembourg\",\"datePublished\":\"2025-04-10T01:00:45+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/\"},\"wordCount\":404,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2022\\\/05\\\/artificial-intelligence-gd95e842fa_1920.jpg\",\"keywords\":[\"AI\",\"EU Calls\",\"Euraxess\",\"Intelligent Agents\",\"Luxembourg\",\"PhD\",\"software engineers\"],\"articleSection\":[\"Engineering and Architecture\",\"EU Calls and Awards\",\"Euraxess\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/\",\"url\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/\",\"name\":\"PhD - Formal Verification with Intelligent Agents - Luxembourg | 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\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2022\\\/05\\\/artificial-intelligence-gd95e842fa_1920.jpg\",\"datePublished\":\"2025-04-10T01:00:45+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2022\\\/05\\\/artificial-intelligence-gd95e842fa_1920.jpg\",\"contentUrl\":\"https:\\\/\\\/www.cde.ual.es\\\/wp-content\\\/uploads\\\/2022\\\/05\\\/artificial-intelligence-gd95e842fa_1920.jpg\",\"width\":1920,\"height\":1280,\"caption\":\"inteligencia artificial\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.cde.ual.es\\\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Inicio\",\"item\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Convocatorias y Premios UE\",\"item\":\"https:\\\/\\\/www.cde.ual.es\\\/category\\\/convocatorias-y-premios-ue\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Euraxess\",\"item\":\"https:\\\/\\\/www.cde.ual.es\\\/category\\\/convocatorias-y-premios-ue\\\/euraxess\\\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Engineering and Architecture\",\"item\":\"https:\\\/\\\/www.cde.ual.es\\\/en\\\/category\\\/eu-calls-and-awards\\\/euraxess-en\\\/engineering-architecture\\\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"PhD &#8211; Formal Verification with Intelligent Agents &#8211; Luxembourg\"}]},{\"@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\\\/bf2f837cf3353e2161fe1087adbd728f\",\"name\":\"BECACDE1\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/16a4c1e422b5dec818ee13eab3353b19db9cfd278cc10f9b0e1188a37671d9d4?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/16a4c1e422b5dec818ee13eab3353b19db9cfd278cc10f9b0e1188a37671d9d4?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/16a4c1e422b5dec818ee13eab3353b19db9cfd278cc10f9b0e1188a37671d9d4?s=96&d=mm&r=g\",\"caption\":\"BECACDE1\"},\"sameAs\":[\"http:\\\/\\\/www.cdealmeria.com\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"PhD - Formal Verification with Intelligent Agents - Luxembourg | 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\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/","og_locale":"en_US","og_type":"article","og_title":"PhD - Formal Verification with Intelligent Agents - Luxembourg | CDE Almer\u00eda - Centro de Documentaci\u00f3n Europea - Universidad de Almer\u00eda","og_description":"The\u00a0Faculty of Science, Technology and Medicine\u00a0(FSTM) at the University of Luxembourg contributes multidisciplinary\u00a0expertise\u00a0in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. They are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State-based and machine-based formal methods [&hellip;]","og_url":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/","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":"2025-04-10T01:00:45+00:00","og_image":[{"width":1920,"height":1280,"url":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2022\/05\/artificial-intelligence-gd95e842fa_1920.jpg","type":"image\/jpeg"}],"author":"BECACDE1","twitter_card":"summary_large_image","twitter_creator":"@cdeualmeria","twitter_site":"@cdeualmeria","twitter_misc":{"Written by":"BECACDE1","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#article","isPartOf":{"@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/"},"author":{"name":"BECACDE1","@id":"https:\/\/www.cde.ual.es\/#\/schema\/person\/bf2f837cf3353e2161fe1087adbd728f"},"headline":"PhD &#8211; Formal Verification with Intelligent Agents &#8211; Luxembourg","datePublished":"2025-04-10T01:00:45+00:00","mainEntityOfPage":{"@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/"},"wordCount":404,"commentCount":0,"publisher":{"@id":"https:\/\/www.cde.ual.es\/#organization"},"image":{"@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#primaryimage"},"thumbnailUrl":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2022\/05\/artificial-intelligence-gd95e842fa_1920.jpg","keywords":["AI","EU Calls","Euraxess","Intelligent Agents","Luxembourg","PhD","software engineers"],"articleSection":["Engineering and Architecture","EU Calls and Awards","Euraxess"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/","url":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/","name":"PhD - Formal Verification with Intelligent Agents - Luxembourg | 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\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#primaryimage"},"image":{"@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#primaryimage"},"thumbnailUrl":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2022\/05\/artificial-intelligence-gd95e842fa_1920.jpg","datePublished":"2025-04-10T01:00:45+00:00","breadcrumb":{"@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#primaryimage","url":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2022\/05\/artificial-intelligence-gd95e842fa_1920.jpg","contentUrl":"https:\/\/www.cde.ual.es\/wp-content\/uploads\/2022\/05\/artificial-intelligence-gd95e842fa_1920.jpg","width":1920,"height":1280,"caption":"inteligencia artificial"},{"@type":"BreadcrumbList","@id":"https:\/\/www.cde.ual.es\/phd-verificacion-formal-con-agentes-inteligentes-luxemburgo\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Inicio","item":"https:\/\/www.cde.ual.es\/en\/"},{"@type":"ListItem","position":2,"name":"Convocatorias y Premios UE","item":"https:\/\/www.cde.ual.es\/category\/convocatorias-y-premios-ue\/"},{"@type":"ListItem","position":3,"name":"Euraxess","item":"https:\/\/www.cde.ual.es\/category\/convocatorias-y-premios-ue\/euraxess\/"},{"@type":"ListItem","position":4,"name":"Engineering and Architecture","item":"https:\/\/www.cde.ual.es\/en\/category\/eu-calls-and-awards\/euraxess-en\/engineering-architecture\/"},{"@type":"ListItem","position":5,"name":"PhD &#8211; Formal Verification with Intelligent Agents &#8211; Luxembourg"}]},{"@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\/bf2f837cf3353e2161fe1087adbd728f","name":"BECACDE1","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/16a4c1e422b5dec818ee13eab3353b19db9cfd278cc10f9b0e1188a37671d9d4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/16a4c1e422b5dec818ee13eab3353b19db9cfd278cc10f9b0e1188a37671d9d4?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/16a4c1e422b5dec818ee13eab3353b19db9cfd278cc10f9b0e1188a37671d9d4?s=96&d=mm&r=g","caption":"BECACDE1"},"sameAs":["http:\/\/www.cdealmeria.com"]}]}},"_links":{"self":[{"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/posts\/158948","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\/101012"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/comments?post=158948"}],"version-history":[{"count":1,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/posts\/158948\/revisions"}],"predecessor-version":[{"id":158949,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/posts\/158948\/revisions\/158949"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/media\/107049"}],"wp:attachment":[{"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/media?parent=158948"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/categories?post=158948"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.cde.ual.es\/en\/wp-json\/wp\/v2\/tags?post=158948"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}