Iniciativa IMDEA

Inicio > Empleo

Ofertas de Empleo

Código Descripción Fecha límite
2019-03-intern-timedwqo Research intern in Automata Theory 22 de marzo de 2019
2019-03-phd-liquidtypes PhD student in Liquid Haskell 28 de marzo de 2019
2019-02-intern-RV Research intern in Runtime Verification 30 de marzo de 2019
2019-02-phd-mathador PhD student in types, verification, and proofs for concurrency 31 de marzo de 2019
2019-02-postdoc-mathador Post-doctoral researcher in types, verification, and proofs for concurrency 31 de marzo de 2019
2019-02-programmer-mathador Programmer in types, verification, and proofs for concurrency 31 de marzo de 2019
2019-02-phd-liquidtypes PhD student in Refinement Types and Theorem Proving 31 de marzo de 2019
2019-02-intern-liquidtypes Intern in Refinement Types and Theorem Proving 31 de marzo de 2019
2019-02-phd-systems PhD Student in accelerating data science with FPGAs 1 de abril de 2019
2019-02-intern-crypto Research intern in Cryptography 15 de abril de 2019
2019-04-postdoc-relationaltypes Postdoc in Liquid Relational Types 30 de abril de 2019
2019-02-intern-systems Research intern in Systems 1 de mayo de 2019
2019-03-phd-clip PhD positions at the CLIP group in program analysis, verification, optimization, language design, and parallelism 14 de mayo de 2019
2019-03-intern-clip Research internships at the CLIP group in program analysis, verification, optimization, language design and parallelism 14 de mayo de 2019

Convocatoria Abierta

El Instituto IMDEA Software tiene una convocatoria siempre abierta para internships, prácticas curriculares, estudiantes de doctorado, e investigadores postdoctorales. Se pueden enviar solicitudes para este tipo de posiciones en cualquier momento, independientemente de si existen ofertas de empleo. La solicitud estará disponible para los investigadores del Instituto y se le contactará si aparece una oferta que encaje con su perfil.

Para enviar una solicitud, visite https://careers.software.imdea.org/.