PhD – Verificación formal con agentes inteligentes – Luxemburgo

La Facultad de Ciencias, Tecnología y Medicina (FSTM) de la Universidad de Luxemburgo aporta conocimientos multidisciplinares en los campos de Matemáticas, Física, Ingeniería, Informática, Ciencias de la Vida y Medicina.

Buscan un candidato de doctorado altamente motivado para investigar cómo las técnicas de inteligencia artificial (IA) pueden ayudar a los ingenieros de software a especificar y verificar formalmente los sistemas de software. Los métodos formales basados en el estado y en la máquina son las principales áreas de interés para producir especificaciones formales del sistema de software que se va a verificar. Para mejorar las capacidades de estos métodos formales, el candidato explorará cómo los agentes de IA pueden ayudar no sólo en la autoformalización (como la traducción automática del lenguaje natural a especificaciones formales), sino también en el cumplimiento de las condiciones de verificación, incluida la selección de premisas y la generación de pruebas. El candidato seleccionado trabajará en el Departamento de Informática de la Universidad de Luxemburgo (UL). Será supervisado conjuntamente por el Prof. Dr. Jun Pang y el Dr. Alfredo Capozucca.

Responsabilidades:

• Realizar investigaciones en el campo de la verificación formal con agentes de IA
• Redactar una tesis doctoral en informática
• Presentación de los resultados de la investigación en talleres y conferencias
• Publicación de artículos científicos en actas de congresos y revistas revisadas por expertos
• Participación moderada en actividades docentes

Requisitos

• Máster en informática o un campo relacionado
• Experiencia en especificación y verificación formal
• Sólidos conocimientos de programación
• Un enfoque proactivo para lograr la excelencia en la investigación
• Compromiso, trabajo en equipo y espíritu crítico
• Capacidad de comunicación oral y escrita en inglés

Buscan un candidato con gran interés o experiencia en una o varias de las siguientes áreas:

• Especificación y verificación formal
• Demostración de teoremas, familiarizado con los asistentes de demostración
• Aprendizaje automático y LLM

Beneficios

El salario bruto anual por doctor en la UL es de 40952 EUR (a tiempo completo).

También ofrecen:

• Carácter multilingüe e internacional. Institución moderna con un ambiente personal. Personal procedente de 90 países. Miembro de la «Universidad de la Gran Región» (UniGR)
• Una universidad moderna y dinámica. Equipamiento de alta calidad. Estrechos vínculos con el mundo empresarial y el mercado laboral luxemburgués. Un emplazamiento urbano único con excelentes infraestructuras
• Un socio para la sociedad y la industria. Cooperación con instituciones europeas, empresas innovadoras, el Centro Financiero y con numerosos socios no académicos como ministerios, gobiernos locales, asociaciones, ONG…

 

Organización/Empresa – Universidad de Luxemburgo

Campo de investigación – Ciencias de la educación » Educación

Perfil investigador – Investigador de primera etapa (R1)

País – Luxemburgo

Plazo de solicitud – 8 de abril de 2026 – 08:28 (UTC)

Más información: Euraxess