Trei pozitii de cercetare sunt disponibile la Institutul eAustria
(http://www.ieat.ro), in cadrul proiectului „Phase transitions in
Computational Complexity and Formal Verification: Towards Generic and
Realistic Approaches”. Doua din pozitii sunt la nivel de
stundent/masterand, a treia pozitie (full time) la nivel de doctorand/postdoctorand.

Proiectul are o durata totala de 24 de luni, si este finantat de Uniunea
Europeana, printr-un grant Marie Curie de reintegrare internationala.
Textul proiectului poate fi consultat de pe pagina web http://phasetrans.ieat.ro.

Pozitiile sunt disponibile incepand cu luna aprilie.

CONTACT: Pentru informatii suplimentare (salariu, alte informatii),
adresati-va conducatorului de proiect, Gabriel Istrate (gabrieli@ieat.ro).

Directia de cercetare caruia ii apartine proiectului este cea a aplicarii
unor idei/metode din Fizica Statistica problemelor de optimizare
combinatoriala. Pentru o introducere in domeniu poate fi consultat un
articol publicat de Brian Hayes in revista „American Scientist”,
disponibil online la
http://www.c3.lanl.gov/~percus/Research/RIPS/hayes.pdf

(Lucrul in cadrul proiectul nu necesita cunostinte prealabile de fizica)

Scopul proiectului (pe scurt):

1. De a dezvolta suita de aplicatii ale tranzitiilor de faza in probleme
combinatoriale intr-o teorie sistematica.
2. De a investiga aplicabilitatea practica a acestui tip de idei/metode la
probleme de verificare formala.

ABILITATI/CERINTE:

Nu sunt necesare cunostinte prealabile in domeniul tranzitiilor de faza in
probleme combinatoriale, ele urmand a fi dobandite in cadrul proiectului.

1. primul tip de pozitie in cadrul proiectului va presupune dezvoltarea si
evaluarea experimentala de algoritmi inspirati din metodele fizicii
statistice, precum si implementarea unor generatoare de instante pentru
acesti algoritmi. Pozitiile (doua) sunt adecvate studentilor/masteranzilor
cu interese in dezvoltarea, implementarea si evaluarea
algoritmilor/euristicilor. Pozitia necesita abilitati de programare
(cunoasterea unui limbaj precum C/C++), scripting (bash,perl). Cunostinte
practice de statistica sunt utile (pozitia va presupune folosirea unor
programe de analiza statistica, cel mai probabil R). Adaptabilitatea si
dorinta de a invata lucruri noi intr-un timp relativ scurt sunt mai
importante decat cunostintele preexistente.

2. al doilea tip de pozitie va presupune in primul rand investigarea
teoretica (matematica) a unor probleme din domeniu. Profilul candidatului
ideal pentru aceasta pozitie este cel al unui
masterand/doctorand/cercetator in matematica/informatica teoretica, cu
deprinderi de a citi si intelege demonstratii matematice, si
interes/potential de a obtine/demonstra rezultate noi in informatica
teoretica. O familiaritate cu domeniul combinatorica/matematici discrete e
dorita. Cunostinte/interes in domeniul complexitatii calculului, logicii,
metodelor de verificare formala
(model checking), sau alt domeniu din informatica teoretica sunt utile.

Alternativ, pozitia este potrivita unui doctorand/postdoctorand/cercetator
in fizica, cu interese/cunostinte in domeniul fizicii statistice (spin
glasses) si interes in aplicarea acestui tip de metode problemelor de
optimizare combinatorie. Adaptabilitatea si dorinta de a invata lucruri
noi intr-un timp relativ scurt sunt mai importante decat cunostintele
preexistente.