Research Programmer, Abstract Interpretation & Verification

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-*****-Ljbffr

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-*****-Ljbffr