Investigador postdoctoral en fundamentos lógicos para software concurrente

Descripción

Resumen: Se busca un investigador postdoctoral en lógica, verificación de software y teoría de tipos para realizar investigación bajo la supervisión de Aleks Nanevski. Aspectos destacados: 1. Investigación en lógica, verificación de software y teoría de tipos 2. Oportunidad de trabajar bajo la supervisión de Aleks Nanevski 3. Requiere experiencia en ciencias de la computación con sólidas habilidades comunicativas Se convoca a candidatos para un puesto postdoctoral en los ámbitos de la lógica, la verificación de software y la teoría de tipos en el Instituto IMDEA Software de Madrid, España, con inicio inmediato. ### **¿Quién debe presentar su candidatura?** El candidato debe poseer un doctorado en Ciencias de la Computación, preferiblemente con experiencia en uno de los ámbitos mencionados anteriormente. Son esenciales buenas habilidades de trabajo en equipo y comunicación, incluido un excelente dominio oral y escrito del inglés. La investigación se llevará a cabo bajo la supervisión de Aleks Nanevski. Se anima a los candidatos interesados a contactarlo personalmente. ### **¿Cómo presentar la candidatura?** Los candidatos interesados en el puesto deben enviar su solicitud en https://careers.software.imdea.org/ Por favor, seleccione la opción **Investigador postdoctoral** y especifique el código de referencia **2026\-06\-postdoc\-linearizability**. La fecha límite para presentar solicitudes es el **4 de julio de 2026**. El proceso de contratación cumplirá con la Política OTM\-R (Contratación Abierta, Transparente y Basada en el Mérito) del Instituto IMDEA Software.