-
insurance, supported by INESC TEC. 2. OBJECTIVES: - broaden knowledge of the state of the art in the specific scientific area of the scholarship - identify and select the appropriate methods for the study in
-
SCIENCE Scientific subarea: Informatics Grant duration: 12 months, starting on 2026-02-16 , with the possibility of being renewed for a maximum term of four years, in the cases of students enrolled in a PhD
-
epileptic patients to the analysis of microscope images. This position aims to research and develop biomedical image processing methods for the subsequent application of artificial intelligence methods
-
. OBJECTIVES: The selected candidate will be a member of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular
-
. OBJECTIVES: - Integration of hardware and software modules, including the implementation and validation of use cases within the CONVERGE project toolset.; - Identify and select suitable methods to develop
-
of the state of the art in machine learning for generation of artificial data; - identify and select the appropriate methods for the study in question; - develop the research capacity through the application
-
appropriate methods for the target study; - develop research capability through the application of the selected methods; - exercise critical thinking in evaluating the research process and the results obtained
-
the state of the art in the fields of smart buildings, digital twins, and the development of building energy optimisation algorithms; Use of methods and tools for energy systems modelling and optimization.; 3
-
. OBJECTIVES: - broaden knowledge of the state of the art in the specific scientific area of the scholarship; - identify, select, and implement the appropriate methods for the studies to be carried out
-
results); Implementation of the hardware interface between the RISC-V core and CGRA, either in hardware (via HLS or HDL) or via a co-simulation system ; Contribute to or use a binary generation method for