PhD i pålitelig KI og kunnskapsverifisering

Baifan Zhou; Oslo fylke; On-site; NOK 496,000 - 606,000; Full time

Benefits offered by this job

Låne- og pensjonsbetingelser i SPK

Arbeidsplass i Oslo sentrum

Job summary

OsloMet søker en stipendiat i informatikk til et PhD-prosjekt som fokuserer på pålitelig KI og verifikasjon av kunnskap. Prosjektet involverer utvikling av et nevro-symbolsk verifikasjonsrammeverk og samarbeid med instituttet og akademiske partnere, inkludert KIT.

Stillingen innebærer 3 år med 100% forskning eller 4 år med 75% forskning og 25% annen karriereutvikling, med mål om fullføring innen rammeverket. Lønn og fordeler følger statlige tariffavtaler for stipendiater og OsloMet.

Qualifications

• Gode programmeringsferdigheter, spesielt i Python.
• Sterke analytiske evner og matematisk fundament.
• Kunnskap om kunnskapsrepresentasjon og formell logikk.

Responsibilities

• Designe og implementere et nevro-symbolsk verifikasjonsrammeverk.
• Utvikle resonneringsalgoritmer og validere dem.

Skills

Python

Analytiske evner

Kunnskapsgrafer

Formell logikk

Education

Mastergrad i informatikk

Job description

OsloMet søker en stipendiat i informatikk til et PhD-prosjekt som fokuserer på pålitelig KI og verifikasjon av kunnskap. Prosjektet involverer utvikling av et nevro-symbolsk verifikasjonsrammeverk og samarbeid med instituttet og akademiske partnere, inkludert KIT.

Stillingen innebærer 3 år med 100% forskning eller 4 år med 75% forskning og 25% annen karriereutvikling, med mål om fullføring innen rammeverket. Lønn og fordeler følger statlige tariffavtaler for stipendiater og OsloMet.