Sort by
Refine Your Search
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA | Italy | 20 days ago
Description The research project aims to investigate computational methods for the study of complex systems characterised by emergent dynamics, with particular attention to the micro–macro relationship in
-
Planning in combination with Formal Methods Information regarding the Research Unit is available at https://pso.fbk.eu/ . Job Description The purpose of FBK’s Tenure Track program is to offer high-level
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
-
for technical-scientific domains that do not correspond exactly to this call. Job Description FBK is looking for candidates to fill one position in Deep Learning methods applied to projects within the DSIP unit
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the