Open Position

GOLEM - LISBOA-01-0247-FEDER-045917 - BI| 2022/302

Type of Position: Research Fellowship (Bolsa de Investigação)

Type of Contract: Research grant

Duration: 7 Months

Closed at: 2022-Jun-28


Description

The selected candidate will be a member of the research project GOLEM, which aims to automate programming and revolutionize the software development experience, ultimately allowing citizens or non-expert business professionals to develop their own apps. The project will advance the state-of-the-art AI applied to code, program synthesis, and automated programming techniques. It is often the case that programmers know how to structure the program that they intend to write, but they do not immediately know how to write certain sub-expressions (i.e., how to write sub-programs that are part of the main program). With this in mind, we are interested in exploring the use of program synthesis to aid the programmer in filing these unknown sub-programs. The expectation is that this will increase productivity and reduce the presence of bugs. We will focus on a functional programming setting, so that we can leverage recent developments on "typed holes". The selected candidate will: 1) Investigate approaches to fill in "typed holes" in functional programs with results obtained from existing program synthesizers 2) Investigate the limitations of the program synthesizers identified in 1) and suggest extensions that could improve the productivity of programmers 3) Produce a technical report with all the research findings

Contacts

João Fernando Peixoto Ferreira

Email: rh@inesc-id.pt

URL: https://euraxess.ec.europa.eu/jobs/797029

Phone Number: