Sort by
Refine Your Search
-
-financed by Component 5 - Capitalization and Business Innovation, integrated in the Resilience Dimension of the Recovery and Resilience Plan within the scope of the Recovery and Resilience Mechanism (MRR
-
reference 56 Co-financed by Component 5 - Capitalization and Business Innovation, integrated in the Resilience Dimension of the Recovery and Resilience Plan within the scope of the Recovery and Resilience
-
:; 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
-
Component 5 - Capitalization and Business Innovation, integrated in the Resilience Dimension of the Recovery and Resilience Plan within the scope of the Recovery and Resilience Mechanism (MRR
-
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
-
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
-
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
-
Component 5 - Capitalization and Business Innovation, integrated in the Resilience Dimension of the Recovery and Resilience Plan within the scope of the Recovery and Resilience Mechanism (MRR