Empleos de IMDEA Software Institute en España

A research internship at the IMDEA Software Institute in Madrid (Spain) is available for final year bachelor/master students with an interest in security of agentic systems. · ...

The IMDEA Software Institute invites applications for a Software Engineer to join its cryptography research team. · ...

The IMDEA Software Institute is seeking a Senior Network Engineer to join our stable team in charge of supporting, managing, and planning new deployments in REDIMadrid and an emerging quantum communication infrastructure (MadQCI). · ...

Applications are invited for an exciting PhD position in systems security with the MadriSec group at the IMDEA Software Institute. · ...

We are looking for a motivated PhD student in the area of formal methods and control systems to work with Kaushik Mallik at the IMDEA Software Institute. · ...

We are inviting applications for an exciting research internship in software systems and security with the MadriSec group at the IMDEA Software Institute. · The selected candidate will work closely with Prof. Georgios Portokalidis on a C++ binary analysis framework. · ...

The IMDEA Software Institute invites applications for a research internship in cryptography. · ...

The internship will focus on the development of example-based synthesis approaches for the construction of program-level models of speculative leaks. · ...

The selected candidate will work closely with Prof Georgios Portokalidis on a system that automatically derives sound system call-filtering policies for Docker containers. · ...

This research internship in software systems and security involves building a toolchain that translates C code into safe Rust at IMDEA Software Institute. · Enhancing the tool itself. · Introducing new translation rules. · Developing static analyses to C code. · ...