18 sep
|
IMDEA Software Institute
|
Madrid
18 sep
IMDEA Software Institute
Madrid
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