The IMDEA Software Institute, Madrid, Spain invites applications for up to two postdoc positions starting in September, 2019. The general topic of the research project is to improve the software reliability of modern on-board satellite software. Selected candidates will collaborate with Cesar Sanchez, Alessandra Gorla and Jose F. Morales and a team of researchers at the IMDEA Software Institute with specialists in formal methods, runtime verification, program analysis, software engineering and automated testing. Real satellite software will be provided by industrial partners in the 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 skills as well as experience in software engineering, program analysis or formal methods. Expertise in model based engineering (Matlab/Simulink) and implementation of program analysis infrastructures (LLVM, etc) will be highly valued as well. ** 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 ** The position is intended for a minumum of 1 year and for up to 3 years. The ideal starting period is September 2019. ** How to apply? ** Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2019-06-postdoc-flight. Review of applications will begin immediately and close when positions are filled. For enquiries about the position, please contact: cesar.sanchez (at) imdea.org, alessandra.gorla (at) imdea.org or josef.morales (at) imdea.org
Master of Science in Informatics at Grenoble (MOSIG 2016-2020)
