Examensarbete: Assess trade-offs between different machine learning models when the ability to argue for safety and correctness is important i Linköping

På Saab blickar vi ständigt framåt och utmanar gränserna för vad som är tekniskt möjligt. Vi samarbetar med kollegor runt om i världen som alla delar vår utmaning – att göra världen till en säkrare plats.

Aeronautics, ett affärsområde inom Saab, erbjuder flygrelaterade delsystem, obemannade flygsystem, flygplansstruktur och service till försvarskunder och civil flygindustri över hela världen. Aeronautics ansvarar också för utveckling, produktion, marknadsföring, försäljning och support av Gripensystemet.

Sektionen Software Process, Architechture and Modelling inom affärsområdet Aeronautics är idag en grupp på ca 15 medarbetare som ansvarar för grundläggande arbetssätt och arkitektur inom mjukvaruutveckling.

När det gäller Saabs produkter jobbar vi primärt med nyutvecklingen inom Gripen E och sektionen ansvarar för att vi har effektiva utvecklingsmetoder och processer.

Nya framsteg inom machine learning appliceras nu på säkerhetskritiska system där fel i mjukvaran kan orsaka allvarlig skada på människor och miljö.

Att deklarera denna typ av system säkra kan vara problematiskt på grund av människans oförmåga att förstå mjukvaran och därför inte klarar av att identifiera de scenarios i vilka mjukvaran behöver testas.

Målet med examensarbetet är att utvärdera skillnaderna mellan olika machine learning-modeller när säkerhet är en viktig aspekt.
En prototyp till ett flygburet antikollisionssystem, implementerat som ett neuralt nätverk, tillhandahålls tillsammans med formella krav som måste verifieras för att få sätta ett sådant system i drift.

Exjobbet innehåller följande milstolpar:

·         Översätt det neurala nätverket till beslutsträd med hjälp av en nyligen publicerad policy extraction technique

·         Verifiera det neurala närverket, beslutsträden och ”random forests” med hjälp av existerande verktyg.

·         Jämför runtime-prestanda och förfluten tid under verifieringen for de olika modellerna. 

Vi söker en student som vill genomföra ett 30 ECTS examensarbete. Du är initiativrik, analytisk och har lätt för att samarbeta såväl inom och utanför den egna gruppen. Din bakgrund är blivande civilingenjör inom mjukvara.
Eftersom vi arbetar i flera internationella samarbetsprojekt är det en förutsättning att du behärskar engelska i tal och skrift.

Välkommen med din ansökan!

Jonas Mattsson, Rekryterande chef

Tel. nr: +46 102168373

John Törnblom, kontaktperson

Tel.nr: +46 13 180314

Saab är ett globalt försvars- och säkerhetsföretag verksamt inom flyg-, land- och
marinförsvar, civil säkerhet och kommersiell flygteknik. Vi är 15 500 medarbetare och har verksamhet på alla kontinenter. Tekniskt är vi ledande inom många områden och en femtedel av våra intäkter går till forskning och utveckling.
Saab är också ett möjligheternas företag. Ett företag där vi ser mångfald som en tillgång och där du som medarbetare får stort ansvar och goda utvecklingsmöjligheter. Men också ett företag som respekterar varje människas behov av ett liv utanför arbetet.