Researcher for automatic validation

Applications are invited for one Researcher position at the IMDEA Software Institute, Madrid, Spain.

Selected candidates will work under the supervision of Manuel Hermenegildo.

The Madrid-Flight-On-Chip (MFOC) Project, in collaboration with SENER and several SMEs / Start-ups and Technology Centers (UC3M and IMDEA Software), focuses on the application of “Model-based Systems Engineering” (MBSE) methodology to address the development of complex Space Systems with Multiprocessor System On Chip (MPSoC) technology.

An essential part of this methodology is the automatic validation of software, where the IMDEA Software Institute will contribute with technical proposals in the area of acceleration of full life cycle through Automatic Testing. Specifically, it has been identified that the use of high-level symbolic languages with support for constraints, and program analysis methods based on abstract interpretation is a very powerful basis for the formalization and effective development of these techniques.

The selected candidate will design and develop techniques for:

1. Test case generation systems combining abstract interpretation and other methods for symbolic reasoning.
2. Generation of logical models (as Horn clauses) that represent the semantics of the software subject to the tests (either from Verilog models or low level C code, generated manually or automatically).
3. Integration with other complementary external techniques (such as checking coding standards).

All these tasks will be performed on the integrated logic programming system and Ciao/CiaoPP.

Who should apply?

Ideal candidates have earned a PhD in Computer Science, with experience in at the following areas:

• Abstract interpretation
• Horn clause based analysis
• Automatic validation
• Compilers and logic programming system implementation

The position requires excellent spoken and written English.

How to apply?

If you are interested in the position, please apply on our on-line platform at https://careers.software.imdea.org/. To submit, choose Other and enter reference code 2019-12-researcher-mfoc on our Careers website. Only applications submitted with the correct reference code will be considered.

Deadline for applications is December 20th, 2019. Review of applications will begin immediately.

For enquiries about the position, please contact Manuel Hermenegildo directly ().

About the IMDEA Software Institute

The IMDEA Software Institute provides a stimulating and collaborative research environment, together with competitive salaries and close ties to industry. The institute is located in the Montegancedo Science and Technology Park in the outskirts of the vibrant city of Madrid, Spain.