2014 - Incarico presso il Dipartimento di Ingegneria dell'Informazione "Progetto ed implementazione di un linguaggio eDSL (embedded Domain Specific Language) in spazio utente e delle relative primitive di computazione monadiche a livello kernel"
Scadenza: 11 luglio 2014
Requisiti:
-Laurea (v.o. con percorso di 5 anni), Laurea Specialistica o Laurea Magistrale in Ingegneria delle Telecomunicazioni;
-Conoscenza di Programmazione nei linguaggi C, C++11, e Haskell. Padronanza nell¿uso delle monadi nella programmazione funzionale. Design ed implementazione di linguaggi eDSL in C++ e Haskell. Capacità di sviluppo di applicazioni multi-thread a livello utente e a livello kernel in ambiente Linux. Conoscenza del motore di cattura e distribuzione PFQ;
- Esperienza consolidata nello sviluppo di applicazioni multi-thread in linguaggio C/C++ ed Haskell ottimizzate per architetture multi-core;
-conoscenza della lingua Inglese;
