IMDEA Software Institute in Madrid invites applications for a Research Programmer position focused on improving the usability, maturity, and competitiveness of the Ciao abstract interpretation–based tools and related systems such as CiaoPP and s(CASP).Candidates should hold a Bachelor, Master’s, or PhD in Computer Science, Computer Engineering, or Mathematics, with interest in program analysis, abstract interpretation, logic programming, and related areas.#J-18808-Ljbffr
📌 Research Programmer, Abstract Interpretation & Verification (Madrid)
🏢 IMDEA Software Institute
📍 Madrid
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.