Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 58 000 studenter och 6800 medarbetare gör universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter från hela världen. Med ny kunskap och nya perspektiv bidrar Göteborgs universitet till en bättre framtid.Institutionen för data- och informationsteknik har en internationell prägel med cirka 300 anställda från över 40 olika länder. Institutionen är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Forskartjänsten är placerad vid avdelningen Data Science and AI, med Göteborgs universitet som arbetsgivare.Information om projektet:Vi söker en forskare till ERC-projektet NextReason, med fokus på områden såsom AI och resonemang, bevisande, autoformalisering och generering av antaganden. Tjänsten kommer att fokusera på utveckling av neuro-symboliska metoder som integrerar lärande, resonemang, antaganden och teoriutforskning.ArbetsuppgifterTjänsten är en heltidsanställning under 360 dagar vid institutionen för data- och informationsteknik.Den framgångsrika kandidaten kommer att bedriva självständig och samarbetande forskning inom NextReason inom det valda området. Arbetsuppgifterna omfattar utveckling av nya AI/ATP/ITP/formaliseringsmetoder, publicering av resultat på lämpliga konferenser och i tidskrifter, bidrag till programvara och datamängder och handledning av studenter.KvalifikationerFör att vara behörig att anställas som forskare krävs att den sökande har en doktorsexamen inom ett relevant område enligt den specifika tjänsten som anges i annonsen, exempelvis datavetenskap eller matematik, eller en utländsk examen som bedöms motsvara en doktorsexamen.Vid bedömningen av de sökand…

Forskare inom automatiskt bevisande och AI