Ver oferta completa

PHD POSITION IN ANALYSIS AND VERIFICATION OF NUMERIC ERRORS

Descripción de la oferta de empleo

PhD position in analysis and verification of numeric errors Applications are invited to apply for one PhD student position at the IMDEA Software Institute, Madrid, Spain.
Selected candidates will work under the supervision of Manuel Hermenegildo, José Francisco Morales and Alessandra Gorla.
The candidate will perform research related to the development of techniques and prototypes for the combined static and dynamic program analysis and verification of numerical errors in code of industrial interest based on the approach of abstract interpretation, including advances in the basic abstract interpretation techniques and prototypes.
Who should apply? Ideal candidates have earned (or are in their last year of) a Master's degree in Computer Science, Computer Engineering, or Mathematics.
Solid programming skills, and experience in testing aerospace software will be highly valued.
The position requires good teamwork and communication skills, including excellent spoken and written English.
Working at IMDEA Software The position is 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.
The working language at the institute is English.
Knowledge of Spanish is not required.
Dates The ideal starting period is from mid-October and the deadline for applications is September 30.
How to apply? Applicants interested in the position should submit their application at https.
// careers.
oftware.
mdea.
rg/ using reference code -phd- analysis.
Ver oferta completa
No me interesa

Detalles de la oferta

Empresa
  • Intranet IMDEA Software Institute
Localidad
  • En toda España
Dirección
  • Sin especificar - Sin especificar
Tipo de Contrato
  • Sin especificar
Salario
  • Sin especificar
Fecha de publicación
  • 22/09/2021
Fecha de expiración
  • 21/12/2021
PhD Student Thermal Properties of Nanoscale Materials
INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

The mission of the catalan institute of nanoscience and nanotechnology (icn2) is to achieve the highest level of scientific and technological excellence in nanoscience and nanotechnology... icn2 comprises 19 research groups, 7 technical development and support units and facilities, and 2 research platforms......

PhD Student Theoretical and Computational Nanoscience Group
INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

The mission of the catalan institute of nanoscience and nanotechnology (icn2) is to achieve the highest level of scientific and technological excellence in nanoscience and nanotechnology... icn2 comprises 19 research groups, 7 technical development and support units and facilities, and 2 research platforms......

Project Coordinator
RWS

Quality focus and detail oriented... ability to understand, apply and use personal computers and software applications (e... fluent communication skills of written and verbal english ability to report work orally and in writing as required... ability to maintain confidentiality of information regarding......

PhD Student Atomic Manipulation and Spectroscopy Group
INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

The project will tackle the synthesis of the hybrid nanoarchitectures, the characterization of the atomic and electronic structure, and the realization and characterization of gate-modulated devices... the mission of the catalan institute of nanoscience and nanotechnology (icn2) is to achieve the highest......

PhD student Supramolecular Nanochemistry and Materials Group
INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

The mission of the catalan institute of nanoscience and nanotechnology (icn2) is to achieve the highest level of scientific and technological excellence in nanoscience and nanotechnology... icn2 comprises 19 research groups, 7 technical development and support units and facilities, and 2 research platforms......

Assistant Admissions Coordinator
Berklee Valencia

This position is maternity leave cover (minimum of six months)... work environment:actively strives to foster and maintain a workplace climate that is supportive of all employees regardless of their identity, respectful of difference and genuinely open to multiple perspectives......

Executive Assistant
Natexo

Project management and coordination: follow-up of the implementation of the strategic projects and coordination of international teamsevents and communication: organization of company events, management of social medias... french, spanish and english fluent... the group is made up of 2 companies: natexo......

Executive Assistant
Natexo

Project management and coordination: follow-up of the implementation of the strategic projects and coordination of international teamsevents and communication: organization of company events, management of social medias... french, spanish and english fluent... the group is made up of 2 companies: natexo......

Executive Assistant
Berklee Valencia

Institutional events and coordination of campus visits... fluency in spanish and english, oral and written... essential functions / primary duties and responsibilities: communications management, including writing documents and letters, preparing presentations, and formatting documents and proposals......

Postdoc:Phononic and Photonic Nanostructures Group
INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

Icn2 is a member of the barcelona institute of science and technology and the catalonian network of excellence cerca... the technology breakthrough will result from the combination of the properties of photonic crystals (on iii-v, and si semiconductors) with unique topological structures for confining......