Programmeerimiskeelte teadur

Tartu Ülikool on üle 4 500 töötaja ja 15 000 üliõpilasega Eesti suurim ning vanim akadeemilise elu keskus. Ülikoolilinna miljöö ja hea töö- ning elukeskkond on meelitanud siia tippteadlasi ja -spetsialiste ligi 400 aastat.

• Uurimistöö programmeerimiskeelte aluste valdkonnas, keskendudes konkurentsete programmide verifitseerimisele, sealhulgas sellistele teemadele nagu abstraktne interpretatsioon, tüübisüsteemid, programmiloogikad või denotatsiooniline semantika.
• Teadusprojektide ettevalmistamine ja täitmine kogenumate kolleegide juhendamisel.
• Magistrantide ja doktorantide juhendamine.

• Rahvusvahelisel tasemel erialane teadustöö programmeerimiskeelte aluste valdkonnas, mille maht on võrreldav vähemalt ühe doktoritöö mahuga.
• Soovitav on magistrantide ja doktorantide juhendamise kogemus.

1. Avaldus rektori nimele.
2. Elulookirjeldus.
3. Teadustööde loetelu.
4. Nõutavat kvalifikatsiooni tõendava dokumendi ja selle lisade koopiad (koos ametliku tõlkega eesti, inglise või vene keelde juhul, kui dokumendi originaal ei ole eesti, inglise, vene, soome, rootsi, prantsuse, itaalia, ukraina või valgevene keeles). Kandidaadilt on õigus nõuda kvalifikatsiooni tõendava dokumendi ja selle lisade originaale või kinnitatud ärakirju. Kui kõrgharidus on omandatud välismaal, on õigus kandidaadilt nõuda akadeemilise tunnustamise infokeskuse (Eesti ENIC/NARIC Keskus) hinnangut kandidaadi kvalifikatsiooni vastavuse kohta ametikohal nõutavale kvalifikatsioonile.
5. Konkursist osavõtja poolt oluliseks peetavad muud materjalid (materjalide nimekiri esitada avalduses või avalduse lisana).
6. Teadustöö visioon.

Tähtajaline leping kolmeks aastaks, võimalusega seda pikendada. Lepingu algus 1.06.2025. Tähtajaline leping on seotud projektipõhise rahastamisega.

Lisainformatsiooni annavad kaasprofessor Vesal Vojdani, vesal.vojdani@ut.ee ja kaasprofessor Danel Ahman, danel.ahman@ut.ee. 

Ametijuhend, sh kandidaadile esitatavad nõuded.

Palgaeeskiri.

Rohkem infot kandideerimiseks vajalike dokumentide kohta.

Hindame oma organisatsiooni töötajaskonna mitmekesisust ning julgustame kandideerima ametikohtadele kõiki inimesi, sõltumata nende erinevustest või eripäradest. Meie jaoks on oluline kaasava töökeskkonna loomine ja võrdse kohtlemise edendamine.

Loe lähemalt, mida oleme mitmekesisuse edendamiseks teinud.