IMDEA Software Institute en España
35 trabajos de IMDEA Software Institute en España
-
Internship On Refinement Types and Type Theory
hace 1 semana
IMDEA Software Institute Madrid, EspañaApplications are invited for a internship position at the IMDEA Software Institute, Madrid, Spain. · **Who should apply?**: · **Working at IMDEA Software**: · The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel ...
-
Internship On Algorithms for Arithmetic Theories
hace 2 semanas
IMDEA Software Institute Madrid, EspañaStudy 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. · * ...
-
Phd Positions in Distributed Computing
hace 1 semana
IMDEA Software Institute Madrid, España**Who should apply?**: · **Duration**: · The positions are intended to last for the duration of the doctoral studies, which is usually four years. · **Working at IMDEA Software**: · The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The instit ...
-
Postdoc Position in Distributed Computing
hace 2 semanas
IMDEA Software Institute Madrid, España**Who should apply?**: · **Duration**: · Positions are initially for one year, with possibilities for extension. The starting date is negotiable. · **Working at IMDEA Software**: · The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institu ...
-
Predicate Abstraction for Smart Contracts
hace 2 semanas
IMDEA Software Institute Madrid, EspañaIn this project we aim to build a sophisticated system to analyze the execution of smart contracts to detect attacks, malicious users and their relations as well as other anomalies. · **Who should apply?**: · **Working at IMDEA Software**: · The position is based in Madrid, Spain ...
-
Phd in Computer Systems and Machine Learning
hace 3 semanas
IMDEA Software Institute Madrid, EspañaApplications are invited for a PhD position at the IMDEA Software Institute in Madrid, Spain. · - **[Machine Learning **_for_** Computer Systems]** · Integration of machine learning methods in computer systems software to improve the resource management of large data centers and ...
-
Mechanized Analysis of Specifications
hace 1 semana
IMDEA Software Institute Madrid, EspañaThe 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 cle ...
-
IMDEA Software Institute Madrid, EspañaApplications are invited for a research intern position at the IMDEA Software Institute, Madrid, Spain. · **Who should apply?**: · Experience in the following areas is a plus: · - Security · - Fuzzing · - Computer architectures · - Program analysis and verification · - Formal met ...
-
Network Engineer
hace 3 semanas
IMDEA Software Institute Azuqueca De Henares, España**Ingeniero/a de redes**: · El Instituto IMDEA Software (Instituto Madrileño de Estudios Avanzados en Desarrollo de Software) es un instituto de investigación sin ánimo de lucro promovido por la Comunidad de Madrid. El objetivo del Instituto es llevar a cabo investigación de exce ...
-
IMDEA Software Institute Getafe, EspañaApplications are invited for a PhD position at the IMDEA Software Institute in Madrid, Spain. · The project will explore existing and develop new explainable artificial intelligence methods for understanding and interpreting machine learning-based models that are used in forecast ...
-
Internship in Open Source Threat Intelligence
hace 1 semana
IMDEA Software Institute Madrid, EspañaThe 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 ...
-
IMDEA Software Institute Madrid, España**Who should apply?**: · **Working at IMDEA Software**: · The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, combining the best aspects of a research center and a university department. Its researchers can focus o ...
-
Phd Student in Performance Improvements to
hace 5 días
IMDEA Software Institute Madrid, España**Who should apply?**: · **Working at IMDEA Software**: · The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides an international environment, excellent facilities, travel expenses and an internationally competitive stipend. ...
-
IMDEA Software Institute Madrid, EspañaApplications are invited for an internship position at the IMDEA Software Institute in Madrid, Spain. · The goal of the project is to develop novel algorithms for learning linear temporal properties starting from sets of positive and negative traces representing the (im)possible ...
-
Postdoc in Automata Theory
hace 3 días
IMDEA Software Institute Madrid, España**Who should apply?**: · **Working at IMDEA Software**: · The positions are based in Madrid, Spain where the IMDEA Software Institute is situated. Salaries are internationally competitive and include attractive conditions such as access to an excellent public healthcare system. T ...
-
Intern Positions in Distributed Computing Theory
hace 1 semana
IMDEA Software Institute Madrid, España**Who should apply?**: · **Working at IMDEA Software**: · The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is Englis ...
-
Mechanized Analysis of Specifications
hace 1 semana
IMDEA Software Institute Madrid, EspañaThe 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 cle ...
-
Systems Programmer
hace 1 semana
IMDEA Software Institute Madrid, EspañaThe 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 meth ...
-
Network Engineer
hace 1 semana
IMDEA Software Institute Madrid, EspañaThe **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 ...
-
Phd Student in Algorithms for Arithmetic Theories
hace 1 semana
IMDEA Software Institute Madrid, EspañaApplications 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 d ...