Sort by
Refine Your Search
-
Listed
-
Field
-
focus on Dafny. The selected candidate will: - Contribute to the software development, implementation, and validation of methods and tools in the VeriFixer project. 3. BRIEF PRESENTATION OF THE WORK
-
. 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
-
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
-
with Linux, Docker, MongoDB, PostgreSQL, and Opal technologies; - Experience with CI/CD methodologies and technologies; - Software development experience based on JavaScript (ReactJS, NodeJS) and Python
-
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
-
technologies; - Experience with CI/CD methodologies and technologies Minimum requirements: - Knowledge of Software Engineering; - Knowledge of Computer Networks; - Knowledge of Distributed Systems; - Proven
-
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
-
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