Intern in Program Verification and Type Theory

hace 8 meses


Getafe, España IMDEA Software Institute A tiempo completo

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

**Dates**:
**How to apply?**:
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.



  • Getafe, Madrid, España Bertrandt Ag A tiempo completo

    Company OverviewBertrandt is a leading provider of development solutions for the international automotive, aerospace, and mechanical engineering sectors.We have over 40 years of experience in delivering innovative technological solutions across various industries. Our team ensures extensive know-how, sustainable project solutions, and high customer...


  • Getafe, España Airbus Defence and Space SAU A tiempo completo

    Core Tasks & Responsibilities - Management of the corresponding work packages according to time, cost and quality requirements, including planning integration, cost control, progress control, risk & opportunity management, documentation and reporting - Overarching alignment, orchestration and transversal management of Business needs - Ensure DDMS project’s...


  • Getafe, España Airbus Defence and Space SAU A tiempo completo

    A vacancy for a Reliability, Maintainability and Testability (RMT) Engineer has arisen within Airbus Defence & Space in Getafe. Reliability, Maintainability and Testability (RMT) is a major core process of Support Engineering and Integrated Logistic Support. The RMT process is fully integrated with design, development and verification processes. One of the...

  • Antenna Systems

    hace 2 meses


    Getafe, España Airbus Defence and Space SAU A tiempo completo

    A position as Antenna System & CEM Engineer has arisen within Airbus Defence and Space in Getafe (Madrid). The successfull applicant will join EME, Antenna Systems and Signatures SP department. **Tasks** As a Antenna System & CEM Engineer, you will develop the following challenging tasks and activities: - Specification, selection, qualification and...


  • Getafe, Madrid, España Bertrandt A tiempo completo

    At Bertrandt, we are seeking a highly skilled Verification and Validation Engineer to work on an international project in the Aerospace industry.Job DescriptionWe are looking for a talented professional with experience in conducting tests in test benches, implementing automation scripts in Python, and generating evidence and documentation.The ideal candidate...


  • Getafe, España Airbus A tiempo completo

    Embedded Software Engineer Apply locations: Getafe Area Time type: Full time Posted on: Posted Yesterday Job requisition id: JR10244909 Job Description: An opportunity for an Embedded Software Engineer has arisen within Airbus Defence and Space, Getafe (Madrid).Mission: Within the Embedded Software Engineering department, the candidate will be involved in...


  • Getafe, España Airbus Group A tiempo completo

    An opportunity for an Embedded Software Engineer has arisen within Airbus Defence and Space, Getafe (Madrid). Mission: Within Embedded Sw Engineering department, the candidate will be involved in software development & verification for high integrity airborne Real-Time systems. The candidate will be involved in the complete life-cycle of the embedded...


  • Getafe, España Airbus A tiempo completo

    .Embedded Software Engineer Apply locations: Getafe Area Time type: Full time Posted on: Posted Yesterday Job requisition id: JR10244909 Job Description: An opportunity for an Embedded Software Engineer has arisen within Airbus Defence and Space, Getafe (Madrid). Mission: Within the Embedded Software Engineering department, the candidate will be involved in...


  • Getafe, España Airbus A tiempo completo

    .Embedded Software Engineer Apply locations: Getafe AreaTime type: Full timePosted on: Posted YesterdayJob requisition id: JR10244909Job Description:An opportunity for an Embedded Software Engineer has arisen within Airbus Defence and Space, Getafe (Madrid).Mission:Within the Embedded Software Engineering department, the candidate will be involved in...


  • Getafe, España Airbus A tiempo completo

    Embedded Software EngineerApply locations: Getafe AreaTime type: Full timePosted on: Posted YesterdayJob requisition id: JR10244909Job Description: An opportunity for an Embedded Software Engineer has arisen within Airbus Defence and Space, Getafe (Madrid).Mission: Within the Embedded Software Engineering department, the candidate will be involved in...


  • Getafe, España Airbus Group A tiempo completo

    An opportunity for an Embedded Software Engineer has arisen within Airbus Defence and Space, Getafe (Madrid).Mission: Within Embedded Sw Engineering department, the candidate will be involved in software development & verification for high integrity airborne Real-Time systems. The candidate will be involved in the complete life-cycle of the embedded software...

  • Engineering Intern

    hace 4 meses


    Getafe, España AWS EMEA SARL (Spain Branch) - G84 A tiempo completo

    Eligible to complete a full-time internship of 3-6 months. - Highly proficient in English and Spanish (Common European Framework of Reference C1). - Microsoft Office proficient, including strong proficiency in Excel **LOCATION**: please note this role is available across Figueres, Barcelona, Illescas, Zaragoza, Getafe. **START DATE**: flexible between...


  • Getafe, España Airbus Defence and Space SAU A tiempo completo

    For the MRTT Programme and the Customers of the fleet portfolio (France, Moonraker, MMF, GOS, RSAF, AEA,...) under his/her responsibility, the job holder: - Leads Performance - based logistics contracts for specific customers - Ensures fulfilment of Materiel Support customer requirements and Manage In Service Support contracts in reference to spares and...


  • Getafe, España Airbus A tiempo completo

    **A vacancy for a Flight Test Instrumentation System Engineer and Operations has arisen within Airbus Defence & Space in Getafe.** **To support the **Flight Test Instrumentation System Engineer and Operations **team in Getafe, we are looking for a System Engineer who will ensure that Flight test means systems are designed, developed, operated and maintained...

  • Test Engineer

    hace 4 semanas


    Getafe, España Airbus Defence and Space SAU A tiempo completo

    A vacancy for a Test Engineer has arisen within Airbus Defense & Space in Getafe Spain. The successful applicant will join the Integration Test & Analysis department - Flight Physics **Mission of the department and skill group** At Integration Test & Analysis - Flight Physics we are at the heart of aircraft development, and the value it delivers to our...


  • Getafe, Madrid, España Amazon Road Transport Spain, S.L.U. - J27 A tiempo completo

    About the RoleWe are seeking a Health and Safety Program Manager to join our team at Amazon Road Transport Spain, S.L.U. - J27. This is a critical role that plays an integral part in keeping our employees safe and well at work.Key ResponsibilitiesMonitor site performance against set KPIs and develop plans to improve processesEstablish workplace health and...


  • Getafe, España Bright Horizons A tiempo completo

    Job Description:An opportunity for an Embedded Software Engineerhas arisen within Airbus Defence and Space, Getafe (Madrid). Mission: Within Embedded Sw Engineering department, the candidate will be involved in software development & verification for high integrity airborne Real-Time systems. Candidate will be involved in the complete life-cycle of the...


  • Getafe, España Airbus Defence and Space SAU A tiempo completo

    Job Description: 1. Job description A vacancy for a “Stress Methods – FEM and Structural Analyst” (d/f/m) has arisen within Airbus Defence and Space in the Airframe Engineering. The successful applicant will join “TADAP-TL3 – Stress Methods and Optimisation”.Disabled applicants with equal qualifications will be given special consideration.2....


  • Getafe, España Airbus Defence and Space SAU A tiempo completo

    Job Description: 1. Job description A vacancy for a “Stress Methods – FEM and Structural Analyst” (d/f/m) has arisen within Airbus Defence and Space in the Airframe Engineering. The successful applicant will join “TADAP-TL3 – Stress Methods and Optimisation”.Disabled applicants with equal qualifications will be given special consideration.2....


  • Getafe, España Airbus Defence and Space SAU A tiempo completo

    Job Description: 1. Job description A vacancy for a “Stress Methods – FEM and Structural Analyst” (d/f/m) has arisen within Airbus Defence and Space in the Airframe Engineering. The successful applicant will join “TADAP-TL3 – Stress Methods and Optimisation”. Disabled applicants with equal qualifications will be given special consideration....