Applications are invited for a research intern position at the IMDEA Software Institute, Madrid, Spain.
The selected candidates will work under the supervision of Manuel Hermenegildo, Manuel Carro, Pedro López, José Francisco Morales.
The topic of the internship will be determined based on the common interests of the candidate and the supervisor(s), within the priority area of development of tools for static or combined static/dynamic analysis and verification of (non-functional) properties such as gas and storage consumption in smart contracts.
Intern candidates should be completing an MSc or BSc degree in computer science, mathematics, or a related discipline, with an interest in the above areas, and a strong commitment to research. Solid background in logic, theoretical computer science, mathematics and formal methods will be highly valued, as well as proven programming skills. Good teamwork and communication skills, including excellent spoken and written English are also required.
The position is based in Madrid, Spain where the IMDEA Software Institute is located. Salaries are internationally competitive and include attractive conditions such as access to an excellent public healthcare system. The working language at the institute is English. Knowledge of Spanish is not required.
The IMDEA Software Institute is ranked among the best European research institutes in the areas of Programming Languages and Verification. Located in Madrid, within the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting-edge research in an truly inspiring working environment.
The institute provides internationally competitive salaries, access to an excellent public health care system, unemployment benefits, retirement benefits, and support for research related travel. The working language at the institute is English. Knowledge of Spanish is not required.
The internship duration is intended to be for 6 months, although other arrangements can be made. The ideal starting period is Summer 2020.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ selecting option Intern and reference code 2020-06-intern-clip-blockchain. Deadline for applications is June 29, 2020. Review of applications will begin immediately.
For any questions about these positions please contact Manuel Hermenegildo directly ().
