Phd in securing systems software
The goal of the phd will be to develop novel methodologies and systems for increasing the security of systems software that is software written in low level Cualidades de los miembros del equipo: Trabaja duro Orientado al equipo Amigable Honesto Excelentes hab…
Internship in securing systems software
The goal of the phd will be to develop novel methodologies and systems for increasing the security of systems software that is software written in low level Cualidades de los miembros del equipo: Trabajar duro Orientado al equipo Amigable Honesto Excelentes ha…
Phd in formal methods for blockchain
Selected candidates will work with prof cesar sanchez on the design implementation and evaluation of novel techniques for improving the reliability Requisitos mÃnimos recomendados Amabilidad Adaptabilidad Comunicación Iniciativa Curiosidad Flexibilidad Compe…
Intern positions in distributed computing
Applications are invited for intern positions at the imdea software institute in madrid spain the successful candidates will work under the supervision of Requisitos Descubrirá que el trabajo en equipo en la empresa puede ayudarlo a crecer con una capacitaciÅ
Internship in machine learning for computer systems
Applications are invited for an internship position at the imdea software institute in madrid spain the successful candidates will join the research lab under Cualidades de los miembros del equipo: Trabajar duro Orientado al equipo Amigable Honesto Excelentes …
Phd positions in distributed computing
The successful candidates will work under the supervision of alexey gotsman on the design verification and implementation of distributed protocols CaracterÃsticas requeridas Amabilidad, Adaptabilidad, Comunicación, Iniciativa, Curiosidad, Flexibilidad, Compe…
Tenure track faculty positions
The imdea software institute invites applications for tenure track assistant professor faculty positions cyber physical systems and privacy Requisitos Descubrirá que el trabajo en equipo en la empresa puede ayudarlo a crecer con una capacitación de primer ni…
Faculty
Software engineering systems in general including distributed systems embedded systems databases etc cyber physical systems and privacy CaracterÃsticas requeridas Curiosidad Comunicación Amabilidad Adaptabilidad Competitividad Agilidad Iniciativa Flexibilida…
Internship on succinctness and learning of linear temporal properties
The linear temporal properties are expressed in linear temporal logic the de facto standard for expressing temporal properties of systems for formal Cualidades de los miembros del equipo: Trabaja duro Orientado al equipo Amigable Honesto Excelentes habilidades…
Phd student in blockchain
The imdea software institute offers a phd position in the area of security and privacy in blockchain the successful candidate will work under the supervision Requisitos mÃnimos recomendados Amabilidad Adaptabilidad Comunicación Iniciativa Curiosidad Flexibil…