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). xqbhyrx
Por favor, asegúrese de leer completamente el resumen y los requisitos de esta posibilidad de empleo que se detallan a continuación.
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 (Pozuelo de Alarcón)
🏢 IMDEA Software Institute
📍 Pozuelo de Alarcón