32 proof-checking-postdoc-computerscience Fellowship positions at INESC TEC in Portugal
Sort by
Refine Your Search
-
Listed
-
Field
-
institutions); 3. Certificate or diploma degree; 4. Proof of enrollment in a degree awarding study cycle or in a non degree awarding Higher Education program. - The proof of enrollment may be presented just
-
, their type, beginning and end dates, funding entities and host institutions); 3. Certificate or diploma degree; 4. Proof of enrollment in a degree awarding study cycle or in a non degree awarding Higher
-
for Cloud, Cloud Computing, and Automated Deployment of Complex Applications to the Cloud; - Study, experiment with, and develop proofs of concept and prototypes of architectures that are economical and self
-
for tabular data, focusing on fairness and attribute consistency.; Try LLMs – Use open-source LLMs with prompts adapted for generating tables.; Compare quality – Check how well the synthetic data matches real
-
, their type, beginning and end dates, funding entities and host institutions); 3. Certificate or diploma degree; 4. Proof of enrollment in a degree awarding study cycle or in a non degree awarding Higher
-
. Specifically, the work to be developed should propose a new design and implement a proof-of-concept prototype for an efficient and persistent write-ahead logging system for key-value stores. The proposed
-
propose a new design and implement a proof of concept for a tiering-based storage system that leverages multiple hierarchical storage devices, such as persistent memory, NVMe SSDs, and CXL, and that enables
-
the average performance of algorithms is not enough to develop trust in an AI system. Reliability assessment approaches such as local fit and density principles try to address the problem of uncertainty in deep
-
or diploma degree; 4. Proof of enrollment in a degree awarding study cycle or in a non degree awarding Higher Education program. - The proof of enrollment may be presented just during the grant hiring stage. 5
-
institutions); 3. Certificate or diploma degree; 4. Proof of enrollment in a degree awarding study cycle or in a non degree awarding Higher Education program. - The proof of enrollment may be presented just