Vedere l'offerta completa

SPECIFICATION AND VERIFICATION OF COLLECTIVE ADAPTIVE SYSTEMS

Descrizione dell'offerta di lavoro

Profile The candidate should have some experience in modeling collective adaptive systems and on using verification tools for verifying their properties.
The candidate should also have strong mathematical background and experience with process description languages and process algebras.
Activity The successful candidate will work with the team involved in the PRIN IT-Matters project and collaborate with experiments on the specification and verification of large-scale collective adaptive systems, and will continue the line of research pursued with  the above mentioned project whose funding has just come to an end.
Formal requirements master's degree in Computer Science, Mathematics, Physics, Computer Engineering; Specific requirements a good knowledge of written and spoken english.
Duration 6 mesi Gross amount € Project PRIN IT-Matters, codice UGOV.
P; Codice MUR.
FTXR7S_001; CUP.
D68D Application Applications must be submit through PICA website only using the link at the bottom of this page.
Please note that for the submission of applications on PICA website, login via SPID IS NOT AVAILABLE at the moment - Please register using the alternative methods.
Si segnala che per la presentazione delle candidature sul sito PICA al momento NON E' DISPONIBILE il login tramite SPID - Si prega di effettuare la registrazione secondo le modalità alternative.
Job Research Unit.
SysMA Job Contract Type.
Borsa a progetto - Project fellowship Full call -rpg-collective_adaptive_systems_prin-sysma-full_call-it.
df Selection Committee -rpg-collective_prin-sysma-selection_commitee_call-it.
df Criteria -rpg-collective-criteria-it.
df Final decree -rpg-collective-final_decree-it.
df Durata del procedimento (giorni).
48 Application Apply ONLINE only.
Guidelines for applying through the PICA platform (Italian | English).
Before filling in the application form, please read thoroughly the full call and collect all the files you may need.
Info Personal info and contact info (compulsory); University degree (compulsory); PhD (compulsory only if stated in the full call).
Attachments The scanned copy of a valid identity document (Passport or Identity Card - compulsory); Your CV (compulsory).
Contacts.
Vedere l'offerta completa

Dettagli dell'offerta

Azienda
  • Imprecisato
Località
  • Tutta l'Italia
Indirizzo
  • Imprecisato - Imprecisato
Data di pubblicazione
  • 23/04/2024
Data di scadenza
  • 22/07/2024
Embedded C Developer and Electronic Engineer
Sensichips srl

Professional growth and development opportunities... ability to work independently and as part of a team... required knowledge of the c language for microcontrollers and cross-platform for optimized development and implementation of artificial intelligence algorithms 'tiny machine learning (tinyml)'......

ERP BUSINESS ANALYST
Run4job srl

Manages risks and issues... · ensures the fulfillment of end user requests for finance systems... apply functional knowledge to design and customization of workflow systems that provide seamless integration for client/server applications... • decision making – identifies and understands issues, problems......

Production and Planning Manager macchine operatrici (M/F)
Baumann sideloaders srl

Per la sede di cavaion veronese cerchiamo un/a: production and planning manager macchine operatrici (m/f) principali responsabilità: gestione delle attività produttive e logistiche; coordinamento delle risorse, organizzazione dei carichi di lavoro, monitoraggio delle tempistiche per ciascuna commessa......

Consulenti Health and Nutrition
Nutrirsi Meglio

Ricerchiamo 3 persone serie e motivate da inserire nel ruolo di consulenti health and nutrition... formazione aziendale gratuita, ottime prospettive di sviluppo professionale... il consulente avrà mansioni di distribuzione, gestione di un gruppo di consumatori, assistenza diretta al consumatore......

CONTROL SYSTEMS SPECIALIST
365 gradi srl

Per prestigioso gruppo metalmeccanico di respiro internazionale nel settore degli impianti, siamo alla ricerca di un/a control systems specialist... compiti e responsabilità: sviluppo e programmazione di software che consentano il controllo e l’ottimizzazione degli impianti di refrigerazione e condizionamento......

Sales representative- purchase of wood
Les-wood s.r.o.

Mzda 4000€/mesiac v čistom, koncoročné odmeny, služobné auto, aj úroveň c1... miesto výkonu práce - región amaro, lecco, trento, belluno... firma les-wood ponúka prácu obchodného zástupcu-výkup dreva... lesnícke vzdelanie výhodou... životopis posielajte na email *****@*****......

Mechanical and Civil Supervisor
Adami & associati selezione del personale

Luogo di lavoro: italia principali mansioni: la risorsa sarà responsabile della supervisione meccanica e civile delle attività relative alla realizzazione di un parco fotovoltaico e si occuperà delle seguenti mansioni: supervisionare tutte le attività civili e meccaniche relative allimpianto fotovoltaico......

Impiegato/a Assicurativo Property and Casualty
Effetto domino srl

Competente, efficace e predisposto a collaborare con un team di commerciali, è veloce e puntuale nelle scadenze... se hai scelto questo settore e sei alla ricerca di un’azienda sana, in crescita e sviluppo, tutta made in italy, inviaci il tuo cv con rif... sede di lavoro roma nord......

German Solution Coach for Majorel Italy
Majorel Italy srl

You will do this by motivating and coaching, developing effective measures of supervision and training, regarding the development of your staff... responsibilities• support the performance of audits and monitoring of csrs to ensure compliance with previously established service quality criteria......

German Trainer for Majorel Italy
Majorel Italy srl

•provide specific training of new products and prepare csrs... as a trainer, you will support the training and quality department in all of its functions to obtain the maximum levels of quality required by the client and the company... •attend and participate in training plans that are established in......