apply.old_ad
0
applicants
Membru in echipa de cercetare
at 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
jobs.published_at
jobs.viewed
jobs.viewed