2 formal-methods Postdoctoral positions at INESC ID

Sort by

listed

Refine Your Search

Listed
- Last-3-days 1
- Last-30-days 1
Field
- Computer Science 2
- Economics 1

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods positions

Public notice for an uncertain-term work contract for a Researcher reference 2025.017.CTTRI ACHILLES Agreement 101189689 funded by the European Union Application submission from August 27, to September 10, of 2025

INESC ID | Portugal | 1 day ago

months to two years, or per longer period. 1. OBJECTIVES | FUNCTIONS Development of techniques aimed at enhancing the efficiency of complex ML pipelines, with emphasis on methods aimed at predicting
Public notice for one Post-Doctoral Research Grant - Refª BPD|2025/748 Project VERSACOMP – Refª 2023.18110.ICDT / LISBOA2030-FEDER-00869000 funded by operation nº 15038, Balcão dos Fundos, FEDER and FCT Application submission from 21Aug to 15Sept, 2025

INESC ID | Portugal | 8 days ago

accelerators, and of applications exhibiting these patterns in performance-critical hotspots; Development of methods to streamline programming AI-enhanced systems, taking into account partitioning / mapping and

Searches related to formal methods

Enter an email to receive alerts for formal-methods positions