The IMDEA Software Institute invites applications for one intern position to work on the implementation of fraud proof games for Layer 2 optimistic rollup blockchains. In L2 optimistic rollups servers...
Reactive synthesis is the problem of automatically creating a system from a temporal logic specification. The overall goal of the project is to extend temporal logic reactive synthesis modulo theories...
Candidates are invited to apply for an internship at the IMDEA Software Institute in Madrid, Spain, under the supervision of Dr. Srdjan Matic and Dr. Juan Caballero.Selected candidates will work on th...
Applications are invited to apply for an exciting research internship on satellite security at the IMDEA Software Institute, located in Madrid, Spain under the supervision of Dr. Juan Caballero.The in...
Applications are invited for PhD student positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Alexey Gotsman on the design, verifica...
Applications are now open for an exciting PhD position in software systems and security at the IMDEA Software Institute, located in Madrid, Spain.Under the guidance of Dr. Georgios Portokalidis, the s...
Applications are invited for a PhD position at the IMDEA Software Institute, Madrid, Spain.The selected candidate will work under the supervision of Niki Vazou on theory and implementation of refineme...
Applications are now open for an exciting internship position in software systems and security at the IMDEA Software Institute, located in Madrid, Spain.Under the supervision of Dr. Georgios Portokali...
Applications are invited for a research internship at the IMDEA Software Institute, located in Madrid (Spain).Selected candidates will work under the supervision of Dr. Marco Guarnieri.The internship ...
Applications are invited to apply for a post-doctoral researcher position at the IMDEA Software Institute, Madrid, Spain under the supervision of Dr. Antonio Fernández. The applicant will work on the ...