Empleos: imdea software

Study small-model property for the GCD fragment of the problem. - Study proof calculi for the normalisation procedure. - Improve bounds on the normalisation procedure. - Look at lower-bounds for the normalisation procedure. - Study optimisation variant of the problem. **Who should apply?**: **Working at IMDEA Software**: The position is based in Madrid,...

Applications are invited for one postdoctoral position at the IMDEA Software Institute (Madrid, Spain). **Who should apply?**: - Computer security - Computer architectures - Program analysis and verification - Formal methods - Logics Solid programming skills will be highly valued. The position requires good teamwork and communication skills, including...

Applications are invited for one PhD student position in at the IMDEA Software Institute, Madrid, Spain. **Who should apply?**: - Linear algebra - Discrete mathematics - Combinatorics - Mathematical logics Good programming skills as well as ability to understand and develop algorithms are required. Familiarity with SMT solvers is appreciated, but not...

The internship will explore data collection and data analysis approaches for open source threat intelligence. Potential topics for the internship are on theat report analysis, deep Web, brand protection, and malware/cybercrime analysis. The internship will combine data collection, data analysis, and evaluation of the proposed approaches. **Who should...

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

The proposed internship consists in studying properties of a new class of finite state automata based on the class of residual automata, a subclass of non-deterministic automata with good learnability properties. **Who should apply?**: Applicants should be B.Sc. or M.Sc. in computer science, mathematics or a related discipline. Basic knowledge of automata...

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

The overall goal of the project is the formal implementation of novel rich languages for the specification of highly critical software. Industrial requirements for critical systems are often modeled in an adaptation of temporal logic that is amenable for specification and has clean semantics. The main goal of this part will be to implement the formal...

Empresa: Fundación IMDEA Energía - Nº de Plazas: 1 - Referencia: 24.31AS5 POD - Publicada el 19/4/2024 - Publicada hasta el 31/05/2024 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Móstoles - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL: jobs.energy.imdea.org/es/offer/255 - Nível...

Empresa: Fundación IMDEA Networks - Referencia: PhD Student positions [2023]_04R - Publicada el 18/4/2023 - Publicada hasta el 30/04/2023 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Leganés - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL:...

Función: Colaborar en la gestión de los proyectos de I+D+i de la línea de investigación "Ensayos clínicos en Nutrición de Precisión y Salud": proyecto GENYAL (y sus subproyectos) - Empresa: IMDEA ALIMENTACIÓN - Nº de Plazas: 1 - Referencia: TG2024-003-Gestor/a proyectos ID-i - Publicada el 22/2/2024 - Publicada hasta el 08/03/2024 - Tipo de...

IMDEA Materials Institute is a public research organization founded in 2007 by Madrid’s regional government to carry out research of excellence in Material Science and Engineering by attracting talent from all over the world to work in an international and multidisciplinary environment. IMDEA Materials has grown rapidly since its foundation and currently...

IMDEA Materials Institute is a public research organization founded in 2007 by Madrid’s regional government to carry out research of excellence in Material Science and Engineering by attracting talent from all over the world to work in an international and multidisciplinary environment. IMDEA Materials has grown rapidly since its foundation and currently...

**OTHER DETAILS** **Ref. num.** 2024-FS-R1 R2-134**Research engineer for X-ray Computed Tomography (XCT) analysis focused on data post-processing of metal additive manufacturing samples**: IMDEA Materials Institute is a public research organization founded in 2007 by Madrid’s regional government to carry out research of excellence in Material Science and...

Empresa: Fundación IMDEA Networks - Referencia: [Senior Researcher] [2023] - Publicada el 18/4/2023 - Publicada hasta el 25/04/2023 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Leganés - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL: networks.imdea.org/job/senior-researcher-2/ - Nível...

Empresa: Fundación IMDEA Networks - Referencia: [Research Assistant Professor] [ cybersecurity Group] [BOCM] [2023] - Publicada el 13/02/2023 - Publicada hasta el 28/02/2023 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Leganés - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL:...

Empresa: Fundación IMDEA Networks - Referencia: [Research Associate Professor] [networks data science Group] [BOCM] [2023] - Publicada el 13/2/2023 - Publicada hasta el 28/02/2023 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Leganés - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL:...

Empresa: Fundación IMDEA Networks - Referencia: INVESTIGO_IAG-JP-RA - Publicada el 20/4/2023 - Publicada hasta el 31/05/2023 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Leganés - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL:...

**DESCRIPTION**: **REQUIREMENTS**: Fluent in English. A PhD degree in material science, chemistry, physics, computer science, applied mathematics, electrical engineering or a related field. Track record of the development of scientific software (e.g. supported by recommendation from the previous supervisor and/or publications). Working knowledge of at...

Empresa: Fundación IMDEA Networks - Referencia: Professor: [Research Professor] [2024] - Publicada el 29/1/2024 - Publicada hasta el 31/01/2024 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Leganés - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL:...