Doctoral Researcher in Logical Reasoning and Machine Learning - Helsingin yliopisto - Helsingfors, Finland

Vi rekryterar en doktorand som är intresserad av att kombinera logiskt resonemang och maskininlärning. Forskningen fokuserar på induktiv logikprogrammering, som lär sig logiska regler från data. Vi använder främst automatiserade resonemangstekniker, såsom SAT/ASP/SMT/MaxSAT-lösare. Som doktorand kommer du att utveckla nya algoritmer, genomföra experiment, skriva artiklar och presentera på konferenser. Du kommer att träffa regelbundet Andrew Cropper och resten av gruppen för logik och lärande. Läs mer om att arbeta med oss här. Startdatum före september 2026 är idealiskt men flexibelt. Ansökningsfristen är den 15 juni 2026 (kl. 23:59 UTC +3). Krav - En magisterexamen i datavetenskap eller ett relaterat ämne - Tidigare erfarenhet av logik är önskvärt - Utmärkta engelska kunskaper Vi erbjuder - Möjlighet att bedriva grundforskning - 4-årigt heltidskontrakt - En startlön på ca 2700 euro/månad. Lönen utvecklas i takt med studierna och är 3600-3800 euro/månad vid kontraktets slut. - Yrkeshälsovård och andra sociala förmåner - Stöd för internationellt rekryterade anställda vid övergång till arbete och boende i Finland - En chans att bo i Helsingfors och Finland, känt för hög livskvalitet, tjänster och balans mellan arbete och fritid. Enligt systemet vid Helsingfors universitet tillhör alla doktorander ett doktorandsprogram. Den framgångsrika kandidaten bör ansöka till Doktorandprogrammet i vetenskap och få studiebehörighet inom sex månader efter anställningens början. Kontrollera antagningsperioder och behörighetskriterier på https://helsinki.fi/en/admissions-and-education/apply-doctoral-programmes/how-apply-doctoral-programmes. Ansökningsinstruktioner Ansökningar ska lämnas in via Helsingfors universitets rekryteringssystem och inkludera följande dokument: - CV - Betygsutdrag från tidigare examina - En motivationsbrev (max 2 sidor) - Kontaktuppgifter till två referenser för referensbrev vid förfrågan. Extern sökande, vänligen skicka in din ansökan via knappen Ansök nu. Interna sökande, som har ett helsinki.fi-användarnamn och ett giltigt anställnings-/bidrags-/besökskontrakt, vänligen skicka in din ansökan via knappen Anställd login. Ytterligare information För mer information om tjänsten och gruppen för logik och lärande (LOL), kontakta docent Andrew Cropper (andrew.cropper@helsinki.fi). För tekniska frågor om rekryteringssystemet, kontakta rekrytering@helsinki.fi. Datavetenskapliga institutionen är en ledande enhet i Finland inom sitt område och ansvarar för undervisning och forskning i datavetenskap vid Helsingfors universitet. De huvudsakliga forskningsområdena är artificiell intelligens, big data-ramverk, bioinformatik, dataanalys, datavetenskap, diskreta och maskininlärningsalgoritmer, distribuerade, intelligenta och interaktiva system, nätverk, säkerhet samt programvaru- och databassystem. Institutionen har omfattande internationellt samarbete med företag och universitet. Inom undervisningen ansvarar fakultetens professorer och personal för kandidatoch magisterprogrammen i datavetenskap samt det separata magisterprogrammet i datavetenskap, där även andra institutioner deltar.