18 sep
|
IMDEA Software Institute
|
Pozuelo de Alarcón
18 sep
IMDEA Software Institute
Pozuelo de Alarcón
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). xugodme A continuación se detalla todo lo que necesita saber sobre lo que implica esta posibilidad, así como lo que se espera de los solicitantes.
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.
📌 Research Programmer, Abstract Interpretation & Verification (Pozuelo de Alarcón)
🏢 IMDEA Software Institute
📍 Pozuelo de Alarcón