The IMDEA Software Institute invites applications to apply for a PhD position in formal methods at the IMDEA Software Institute, Madrid, Spain. The position will be funded by a FPI fellowship from the Spanish national government through the DECO project.
Selected candidates will work with Prof. César Sánchez on the design, implementation, and evaluation of novel techniques for improving the reliability, correctness and security of smart contracts particularly executed on Layer 2 optimistic rollups. The research will include developing and adapting runtime verification techniques to this setting as well as distributed algorithms for improving Layer 2 solutions.
The PhD research will involve a combination of design and proving algorithms as well prototype development and empirical evaluations.
Excellent skills in theoretical computer science and formal methods, and Good programming and tool building skills are required. Good command of English both spoken and written is also required.
Ideal candidates have earned (or are in their last year of) a Master’s degree in Computer Science or Computer Engineering, have a strong commitment to research, are passionate about formal methods, enjoy programming, and have some experience and interest in the research area.
The IMDEA Software Institute is ranked among the best European research institutes in the area of Programming Languages and Formal Methods. Located in the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting edge research and an inspiring working environment.
The institute provides an internationally competitive stipend, 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 position will cover the whole duration of the doctoral studies. The ideal starting period is November 2023 with some flexibility.
Deadline for applications is October 6, 2023. Review of applications will begin immediately, and continue until the positions are filled.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/
For any questions about these positions, please contact directly Cesar Sanchez ().
