Posztdoktor gyakorlatban használható numerikus kód verifikációja területén

Feladatok

• ▹Új automatizált programverifikációs technikák kutatása a lebegőpontos aritmetika kerekítési hibái miatt nehezen ellenőrizhető numerikus programokhoz
• ▹Specifikáció-következtetési, hibalokalizációs vagy optimalizálási módszerek kidolgozása, amelyek a verifikációs eszközöket valós kódon is használhatóvá teszik
• ▹Elméleti módszerek fejlesztése és gyakorlati megvalósítások készítése
• ▹Kutatásadminisztráció és részvétel a projektmegbeszéléken
• ▹Legfeljebb 20% oktatás a tanszék kurzuskínálatában, az érdeklődéstől és az elérhető kurzusoktól függően

Elvárások

• ▹Számítástudományi doktori fokozat releváns területen, például programozási nyelvek, programverifikáció vagy szoftvertechnika, vagy azzal egyenértékű külföldi fokozat
• ▹A fokozatot legkésőbb a felvételi döntés időpontjáig meg kell szerezni, elsősorban az lehet esélyes, aki legfeljebb három éve végzett
• ▹Folyékony angol kommunikáció, a kutatási témában haladó szintű szóbeli és írásbeli kifejezőkészség
• ▹Jó programozási ismeretek

Előny

• ▹Önállóság a kutatásban és jó együttműködés kutatócsoportban
• ▹Magas színvonalú fórumokon való publikálás és konferencia-előadások tartása

Soft skillek

Amit kínálunk

• ▹Biztos, kedvező munkafeltételek és fenntartható munkavállalói szemlélet az egyetemen
• ▹Kétéves határozott idejű, teljes munkaidős állás központi kollektív szerződés szerint

A munkáltatóról

Az Uppsalai Egyetem széles spektrumú, nemzetközileg erős kutatóegyetem. Az informatikai tanszék az egyetem harmadik legnagyobb tanszéke, a programnyelvi csoport programnyelv-tervezéssel, verifikációval és szoftvertechnikával foglalkozik.