IMPLEMENTATION AND EVALUATION OF CONCURRENT LANGUAGES WITH ATTRIBUTE BASE COMMUNICATION
Descrizione dell'offerta di lavoro
Development of tools for the verification of programs written in AbC.
Profile The candidate should have a good knowledge of formal methods, verification techniques, and process algebras.
Moreover, he/she should have demonstrable experience in implementing interpreters and compilers and very good knowledge of the programming language Erlang and its concurrency packages.
Formal requirements Masters degree or 4-year degree in Computer Science or similar field.
Suitable scientific background for carrying out research activity and experience in the field that should be described in the curriculum vitae.
Excellent knowledge of English, both written and spoken.
Project “Second life - Second Life of the Public Services” and “WiLIFE - Tecnologie WireLess e ICT per un efFiciente e integrato sistema per la prevenzione e gestione delle situazioni di crisi e delle Emergenze" Gross amount € Duration 6 months Job Research Area.
CSSE Job Research Unit.
SysMA Full call Italiano Final decree Italiano Application Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.
Info Personal info and contact info (compulsory) Number of your Identity Document (Passport or Identity Card) (compulsory) Attachments Your CV in English (compulsory) Identity document (Passport or Identity Card) (compulsory) Contacts.
Dettagli dell'offerta
- Imprecisato
- Tutta l'Italia
- Imprecisato - Imprecisato
- 10/12/2024
- 10/03/2025
Requisiti di lavoro native knowledge of italian language and fluency in english exceptional presenting skills an enthusiastic and positive attitude with an outgoing personality must be able to maintain high energy levels for the duration of games that require a more animated performance flexibility......
Electronics design - problem-solving and communication skills... flexible working arrangements with the option of smart working... required knowledge of the c language for microcontrollers and cross-platform for optimized development and implementation of artificial intelligence algorithms 'tiny machine......
I contenuti sono: concetti fondamentali del computer; elaborazione dei testi; elaborazione dei dati; concetti base della rete... 0007303 del 22/05/2012) organizza in collaborazione con direzione lavoro group (ente promotore) un corso di formazione gratuito online rivolto a candidati a missione di......
In particolare le attività saranno le seguenti: - creazione distinte base di produzione e cicli produttivi... per potenziamento della sede di cavaion veronese stiamo cercando un/a: perito ufficio produzione & distinte base (m/f) la persona scelta sarà gradualmente responsabilizzata nelle attività gestionali......
Conoscenza di tutti i pacchetti microsoft e preferibilmente di pacchetti graficicapacità di creare contenuti e modificare immaginiconoscenza dei principi base del marketing, marketing strategico... per la nostra sede di treviso stiamo cercando un junior marketing and social media manager (candidatura......
Ricerchiamo 3 persone serie e motivate da inserire nel ruolo di consulenti health and nutrition... il consulente avrà mansioni di distribuzione, gestione di un gruppo di consumatori, assistenza diretta al consumatore... formazione aziendale gratuita, ottime prospettive di sviluppo professionale......
Agenzia per il lavoro - filiale di busto arsizio (va) - ricerca per importante azienda operante nel settore arredamento: addetto/addetta all’amministrazione – contabilita’ base la risorsa dovrà occuparsi, interfacciandosi direttamente con la direzione e la divisione amministrazione-finanza, della: gestione......
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... è richiesto un minimo di livello b2/c1 della......
L’annuncio si rivolge a coloro che desiderano lavorare presso aziende o agenzie come social media strategist, content manager, community manager o social media advertiser... il progetto prevede 500 ore di formazione in aula e 500 ore di stage, finalizzato all'inserimento lavorativo in aziende del settore......
Per azienda consolidata italiana, cantiere metalmeccanico a mittelbrunn in germania stiamo cercando 1 meccanco aiutante con lingua tedesca fluente + italiano luogo: mittelbrunn attività: compressor rebundle inizio previsto 06... 2024 per circa 2 mesi... inviare cv requisiti di lavoro lingua tedesca......
