Kuponiada
Aceasta oferta a fost publicata acum 40 zile...
0

aplicanti

Full-time Membru in echipa de cercetare

la Institutul de Matematica "Simion Stoilow" al Academiei Romane in Bucuresti

Post vacant: Membru in echipa de cercetare
Data limita pentru depunerea dosarului: 20.05.2013

Descriere: Institutul de Matematica \Simion Stoilow" al Academiei Romane (imar.ro) anunta scoaterea la concurs a unei pozitii vacante de cercetare, in cadrul proiectu-lui http://sites.google.com/site/te201130122 \Sinteza de programe optimizate din demonstratii"(PN-II-RU-TE-2011-3-0122), director de proiect Dr. Mircea-Dan Hernest (http://cs.au.dk/~danher).

Pozitia este disponibila incepand cu 01.06.2013, pe o perioada de 4 luni, cu posibili-tatea de prelungire pentru alte 11 luni (in cadrul aceluiashi proiect de cercetare).

Candidatul selectat va angajat cu norma partiala de 10 ore/saptamana si va lucra in domeniul \sinteza automatizata de programe functionale", spre exemplu in cadrul plat-formei de sinteza de program MinLog, http://minlog-system.de.

Cerinte: Candidatul trebuie sa aiba cunostinte solide de Logica. Candidatul trebuie sa fi e licentziat (sau in curs de obtzinere a licentzei) intr-unul din subdomeniile Matematica, Informatica, Automatica, Litere, Filozo e.

Aplicatie: Candidatii sunt rugati sa trimita CV-ul la adresa danhernest@gmail.com pana la data de 20.05.2013.

Date de contact:
Dr. Mircea-Dan Hernest
Institutul de Matematica "Simion Stoilow" al Academiei Romane
Adresa e-mail: danhernest@gmail.com
Sursa: ancs.ro


« Inapoi la categorii
Este aceasta oferta un fals ? Raporteaza!   
Recomanda unui prieten
Publicata la 02-04-2013
Vizualizat de: 995 ori
SiteUptime Web Site Monitoring Service