ANUNCIO DE BECA DE FPI

Proyecto de Investigación:   FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRAMMING
Referencia:                            TIN2009-14562-C05-01
Investigador Principal:        Manuel Ojeda Aciego

Convocatoria de becas de Formación de Personal Investigador (FPI): B.O.E. de 6 de febrero (PDF)

Fecha límite para la presentación de solicitudes: 22 de febrero

Objetivo de la beca

El trabajo que se espera que el candidato desarrolle se puede resumir como sigue:

1. Obtención de los fundamentos matemáticos de la lógica categórica y la lógica difusa
2. Puesta al día en los avances recientes en los temas de:

• Lógicas valuadas en retículos u otras estructuras ordenadas
• Análisis formal de conceptos (teoría de retículos conceptuales)
• Métodos formales para el razonamiento bajo incertidumbre, con datos imprecisos o con falta de información
• Fundamentos matemáticos de la programación lógica en contextos difusos: teoría de normas triangulares y sus operadores adjuntos

Extracto de requisitos recomendables

• Conocimiento de álgebra universal y de estructuras algebraicas en general
• Buena disposición para el trabajo en grupo
• Dominio del inglés hablado y escrito
• Buen expediente académico

Más información

Por teléfono 952 132 871 o por correo electrónico