Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
:; The selected candidates will be members of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular focus on Dafny
-
TEC. 2. OBJECTIVES: - Expand knowledge in the grant-specific scientific area.; - Identify and select appropriate methods for the target study.; - Develop research capability through the application
-
months, starting on 2025-12-01 , with the possibility of being renewed for a maximum term of four years, in the cases of students enrolled in a PhD. Scientific advisor: Diogo Neves Workplace: INESC TEC
-
select the appropriate methods for the study; - Develop the research capacity through the application of the selected methods; - Apply a critical spirit in the evaluation of the research process and the
-
TEC. 2. OBJECTIVES: - expand the knowledge of the state of the art in the grant specific scientific domain; - identify and select the appropriate methods for the study; - develop the research capacity
-
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
-
decarbonization objectives in end sectors c) scientific dissemination. REQUIRED PROFILE National, foreigner and stateless candidates holding a PhD degree in PhD in Nationals, foreigners, and stateless persons
-
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
-
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
-
of the art in the area of antenna characterization systems; - Identification and selection of the most adequate optimization methods to address the proposed workplan: ; - Develop the research skills through