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/.
