[fg-arc] Post-doc openings at the IMDEA Software Institute

[Cesar Sanchez]

From: Cesar Sanchez <cesar.sanchez at imdea.org>
To: fg-arc at lists.uni-paderborn.de
Cc:
Bcc: Cesar Sanchez <cesar.sanchez at imdea.org>
Subject: Post-doc openings at the IMDEA Software Institute
Reply-To:

The IMDEA Software Institute, Madrid, Spain invites applications for a
postdoc position starting in August, 2020 on program analysis and
software testing.

Selected candidates will work in an exciting project building program
analysis techniques for actual aerospace on-board embedded software,
together with a team of researchers from IMDEA, including Alessandra
Gorla, Jose Francisco Morales, Cesar Sanchez and Fernando Macías.

The goal of the project is:
- to improve automated and semi-automated unit testing, applying
  techniques from program analysis to directed, random and concolic
  testing, etc
- to design specification languages for describing test oracles and their
  integration within the testing infrastructure
- the empirical evaluation against existing mission software

Real software is provided by the industrial partners in the project,
who will also validate the techniques and artifacts produced.  This
project is in the context of the project "Madrid Flight on Chip"
(MFOC) https://flightonchip.es/


project to support the development and assess our research techniques.

** Who should apply? **

Applicants should have a PhD in computer science with proven top
programming and problem solving skills. We will value experience in
the following fields: software engineering; program analysis, design
and implementation; formal methods; model-based engineering.


** 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. The working spirit IMDEA Software Institute and
the research group provide a flexible working environment which allows
to accommodate local and remote working possibilities.

** Dates **

The position is intended for a minimum of 2 years. The ideal starting
period is August 2020.

** How to apply? **

Applicants interested in the position should submit their application
at https://software.imdea.org/open_positions/2020-04-postdoc-flight.html

Review of applications will begin immediately
and close when positions are filled or on June 15, 2020.

For enquiries about the position, please contact:
cesar.sanchez (at) imdea.org