Research Programmer In Abstract Interpretation Systems

Research Programmer in Abstract Interpretation SystemsApplications are invited for a research programmer position at theIMDEA Software Institute, Madrid, Spain.The main objective is to perform a number of research support tasksfocused on improving the usability, maturity, and competitiveness ofthe Ciao abstract interpretation-based tools, and the related systemsbeing developed and maintained at the Institute.The aim is both toimprove our research infrastructure and to increase the impact ofthese tools.The systems involved includea) the CiaoPPanalyzer/verifier as well as the Ciao Prolog language and libraries,andb) other tools that are based on Ciao and CiaoPP, such as s(CASP).Who should apply?Candidates should have earned a Bachelor, Master’s, or PhD degree inComputer Science, Computer Engineering, or Mathematics, with interestand expertise in at least some of the following areas: Program analysis and verification Abstract interpretation (Constraint) logic programming Compilers Logic and formal methods Testing Solid programming skills will be highly valued.The position requiresgood teamwork and communication skills, including excellent spoken andwritten English.Working at IMDEA SoftwareThe IMDEA Software Institute is ranked among the best European researchinstitutes in the areas of Programming Languages and Verification.Located inMadrid, within the Montegancedo Science and Technology Park, it perfectlycombines the sunny and vibrant city of Madrid with cutting-edge research in antruly inspiring working environment.The Institute provides internationally competitive salaries, access to anexcellent public health care system, unemployment benefits, retirementbenefits, and support for research related travel.The working language at theInstitute is English.Knowledge of Spanish is not required.DatesThe duration of the position is renewable for three years.Thestarting period can be immediately after the position is resolved,although there is flexibility for individual circumstances.Deadline for applications is September 30th, **.Review of applications will begin immediately and continue untilthe positions are filled.The recruitment process will comply with the IMDEA Software Institute’sOTM-R Policy (Open, Transparent and Merit-based Recruitment).#J-***-Ljbffr

Candidates should have earned a Bachelor, Master’s, or PhD degree inComputer Science, Computer Engineering, or Mathematics, with interestand expertise in at least some of the following areas: Program analysis and verification Abstract interpretation (Constraint) logic programming Compilers Logic and formal methods Testing Solid programming skills will be highly valued. The position requiresgood teamwork and communication skills, including excellent spoken andwritten English. Working at IMDEA Software

The IMDEA Software Institute is ranked among the best European researchinstitutes in the areas of Programming Languages and Verification. Located inMadrid, within the Montegancedo Science and Technology Park, it perfectlycombines the sunny and vibrant city of Madrid with cutting-edge research in antruly inspiring working environment. The Institute provides internationally competitive salaries, access to anexcellent public health care system, unemployment benefits, retirementbenefits, and support for research related travel. The working language at theInstitute is English. Knowledge of Spanish is not required. Dates The duration of the position is renewable for three years. Thestarting period can be immediately after the position is resolved,although there is flexibility for individual circumstances. Deadline for applications is September 30th, **.Review of applications will begin immediately and continue untilthe positions are filled. The recruitment process will comply with the IMDEA Software Institute’sOTM-R Policy (Open, Transparent and Merit-based Recruitment). #J-***-Ljbffr