Research Internship in Software Systems TITLE Security

hace 2 días

Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

Applications are invited for an exciting research internship in software systems and security with the MadriSec group (GitHub) at the IMDEA Software Institute. The selected candidate will work closely with Prof. Georgios Portokalidis on a system that automatically derives sound system call-filtering policies for Docker containers.

The intern will work at the intersection of operating systems, binary analysis, Python application introspection, and security, building analyses and tools with real-world impact. The internship has a minimum duration of 6 months, and outstanding interns will be encouraged to apply for a fully funded PhD position.

Responsibilities include enhancing the current tools, extending them to correctly support containers hosting Python applications, and experimentally evaluating them with real containers.

Who should apply?

Applicants must possess:

  • strong, demonstrable programming and tool-building skills (we ask that you provide links to repos, tools, compilers, projects, etc.).
  • experience in three or more of:
  • the Docker ecosystem (containerisation, images, runtimes).
  • binary analysis tools (e.g., Angr, IDA, Egalito, Binary Ninja, etc.)
  • Python (application analysis, instrumentation, or packaging).
  • Linux syscall filtering (e.g., seccomp, eBPF, LSM).
  • a genuine passion for software security and systems research.
  • a BSc or MSc degree in Computer Science (or related) completed within the last three years (two years for non-EU citizens).

For students that are currently enrolled in an MSc program, the internship topic can serve as your Master's thesis (with advisor coordination).

Why IMDEA Software?

Ranked among Europe's leading research institutes in Computer Security, IMDEA Software offers:

  • A collaborative, international environment in Madrid's Montegancedo Science & Technology Park.
  • Competitive salary, excellent public healthcare, unemployment and retirement benefits.
  • Travel support for research.
  • English as the working language (no Spanish required).
Dates

Start date: asap.

Application deadline: 13 February 2026.

Applications are reviewed immediately and until the position is filled.

How to apply?

Submit your application at Choose option Intern and use reference code intern-dockerfilter.

The recruitment process follows IMDEA Software Institute's OTM-R Policy (Open, Transparent and Merit-based Recruitment).

Questions?

Contact Georgios Portokalidis: .

  • Research Internship in Software Systems TITLE Security

    hace 2 días

    Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

    Applications are invited for an exciting research internship in software systems and security with the MadriSec group (GitHub) at the IMDEA Software Institute. The selected candidate will work closely with Prof. Georgios Portokalidis on a C++ binary analysis framework, extending its analysis and reverse-engineering capabilities. This framework has already...

  • Research Internship in Software Systems TITLE Security

    hace 2 días

    Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

    Applications are invited for an exciting research internship in software systems and security with the MadriSec group (GitHub) at the IMDEA Software Institute. The selected candidate will work closely with Prof. Georgios Portokalidis on building a toolchain that translates C code into safe Rust.The intern will work at the intersection of compilers, systems,...

  • PhD in Software Systems TITLE Security

    hace 2 días

    Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

    Applications are invited for an exciting PhD position in systems security with the MadriSec group (GitHub) at the IMDEA Software Institute. The selected candidate will work closely with Prof. Georgios Portokalidis on securing operating systems and systems software.The PhD researcher will work at the intersection of operating systems, compilers, software...

  • Systems Technician

    hace 2 semanas

    Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

    IMDEA Software Institute (Madrid Institute for Advanced Studies in Software Development Technologies) is a non-profit research institute promoted by the Regional Government of Madrid, Spain. The Institute's goal is to perform the research of excellence required to devise methods that enable the cost-effective development of software products with...

  • Research Manager

    hace 5 días

    Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

    The IMDEA Software Institute (Madrid Institute for Advanced Studies in Software Development Technologies) is a non-profit research institute promoted by the Regional Government of Madrid, Spain. The Institute's goal is to perform the research of excellence required to devise methods that enable the cost-effective development of software products with...

  • Cloud-Edge Systems Engineering Advisor

    hace 2 semanas

    Pozuelo de Alarcón, Madrid, España OpenNebula Systems A tiempo completo

    Publication Date: 12 December 2025 Closing Date: 8 January 2026, 06:00 PM CETApplication GuidelinesCandidates should upload a completed and signed PDF version of the Tender Offer Form (using the "Additional Files" field), and their CV in Europass PDF format (using the "CV" field) to demonstrate the eligibility and evaluation criteria.IntroductionFor over a...

  • PhD in safe and verified cyber-physical systems

    hace 2 días

    Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

    Applications are invited to apply for one phd position at the IMDEA Software Institute, Madrid, Spain.The selected candidate will work with Kaushik Mallik: I am looking for a motivated PhD student in the area of formal methods and control systems. The exact PhD topic will be decided based on mutual interests, but needs to be broadly related to the...

  • PhD student in logical foundation for programming with side-effects

    hace 2 días

    Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completo

    Applications are invited for a PhD position in the area of logic, model theory, programming language design, software verification, and type theory at IMDEA Software Institute in Madrid, Spain, starting immediately.Who should apply?The candidate must have a M.Sc. degree in Computer Science, preferably with expertise in one of the above fields. Good teamwork...

  • Senior Systems Engineer

    hace 7 días

    Pozuelo de Alarcón, Madrid, España Verisure A tiempo completo

    Verisureis a leading global provider of professionally monitored security solutions. We are an international company with a start-up mindset, fast, agile, and lean, high performance and value driven.We are currently seeking aLinux/OS Senior Systems Engineerto join our experienced technical team. This role is essential to ensuring availability, security and...

  • HPC Platform Engineer

    hace 5 días

    Pozuelo de Alarcón, Madrid, España Fsas Technologies – a Fujitsu company A tiempo completo

    We are looking for an experiencedHPC & Quantum Computing Platform Engineerto design, deploy, operate, and evolve next-generation computing platforms.This role requires strong expertise in distributed systems, automation, high-performance networking, and hardware acceleration, combined with the ability to work in research-driven and production environments....