Open Position

PROJECT GOLEM (45917) CALL 04/SI/2019
PROJECTO GOLEM (45917) CALL 04/SI/2019

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

Type of Contract: Research grant

Duration: 12 Months

Limit to reply: 2020-Dec-15


2 research grants with reference number BI|2020/85 and BI|2020/86 are now available under the scope of project GOLEM (45917) CALL 04/SI/2019, funded by FEDER, PORLISBOA, ANI and FCT .

BI|2020/85 – Activity a) The main goal is to extend the tool FOREST, an interactive multi-tree synthesizer for regular expressions.

BI|2020/86 – Activity b) The main goal is to extend the tool CUBES, a parallel program synthesis tool, to exhibit a deterministic behaviour.


Maria Inês Camarate de Campos Lynce de Faria



Phone Number: