Forskningsingenjör för kodöversättning och differentiell testning

Mälardalens universitet (MDU) är Sveriges nyaste universitet. Med vår vision, att vara ett progressivt och samverkande universitet där vi tillsammans formar en hållbar framtid, vill vi göra verklig skillnad.

Vill du vara med och bidra till vår utveckling?

Tillsammans bidrar vi till en mer hållbar framtid genom kunskap och innovation. Vi anser att ny kunskap och nya perspektiv bäst skapas och uppnås i samverkan med andra - kollegor, studenter, näringsliv och offentlig sektor såväl nationellt som internationellt.

På akademin för innovation, design och teknik läser våra studenter bland annat till datavetare, innovatörer, entreprenörer, informationsdesigners, nätverkstekniker och ingenjörer. Hos oss finns fem forskningsinriktningar med olika forskningsprofiler och forskarskolor. Vi har ett stort antal internationella samarbeten både inom forskning och utbildning, samt i samverkan och i strategiska avtal med företag, organisationer och myndigheter i regionen. 
 
Anställningsinformation
Anställningsform: Tidsbegränsad anställning 5 månader
Omfattning: Heltid
Antal anställningar: 1
Sista ansökningsdag: 2024-12-11
Stationeringsort: Västerås
Akademi/enhet/sektion: Akademin för innovation, design och teknik (IDT)

Arbetsuppgifter
Vi söker nu en forskningingenjör för kodöversättning och differentiell testning med hjälp av LLM:er till ett projekt på avdelningen Datavetenskap och programvaruteknik.

I den här anställningen kommer dina huvudsakliga arbetsuppgifter att vara:


• Använda LLM:er för att utföra noggrann översättning mellan två språk: Lingua Franca (LF) och Rebeca.
• Designa och implementera ett LLM-baserat verktyg för att översätta ett Rebeca-program (Prog-R) till ett LF-program (Prog-L).
• Använda LLM:er för att förklara varför Prog-R och Prog-L har samma semantik samt för att generera tester som avslöjar skillnader (DETs) som upptäcker semantiska skillnader mellan två givna program.
• Sätta upp pipeline för kodöversättning, anpassa översättningstekniken enligt preliminära resultat, kurera en dataset och genomföra experiment samt skriva slutrapporten.

Som forskningsingenjör förväntas du ta eget ansvar för att planera och genomföra ditt arbete, ta egna initiativ för att utveckla dina idéer och kunskaper samt att kunna samverka med andra både inom och utanför akademin. 

Kvalifikationer
Vi söker dig som har en magister i datavetenskap eller mjukvaruteknik. Förkunskaper om reaktiva och aktörsbaserade språk samt stora språkmodeller och språköversättning med hjälp av LLM:er är obligatoriska. Du Du har gedigen erfarenhet av att läsa och skriva komplexa vetenskapliga artiklar, att hålla presentationer inför stora grupper. Tjänsten kräver en stark motivation för forskning, goda muntliga och skriftliga kommunikationsfärdigheter på engelska.

Meriterande
För den här anställningen är det meriterande med en doktorsexamen i Datavetenskap eller mjukvaruteknik.  Ytterligare kunskap om Chain-of-thought (CoT) och Self-consistency-strategier vid arbete med LLM:er är fördelaktigt. 

Personliga förmågor
Vid en samlad bedömning av lämplighet läggs även vikt vid personliga förmågor. Alla anställda vid MDU förväntas samarbeta och bemöta kollegor och studenter med respekt, ta ansvar för verksamheten och de egna arbetsuppgifterna samt bidra till en god arbetsmiljö. För att lyckas i rollen har du förmåga att samarbeta med andra forskare, förmåga att ta initiativ samt förmåga att arbeta självständigt såväl som i team. 

Vi värdesätter de kvaliteter som en jämn ålders- och könsfördelning samt etnisk och kulturell mångfald tillför.

Ansökan
Gör din ansökan genom att klicka på knappen ”Ansök” nedan.

Den sökande ansvarar för att ansökan är komplett i enlighet med annonsen och universitetet tillhanda senast sista ansökningsdag.

Välkommen med din ansökan!

Fackliga representanter:

Saco-S saco-s@mdu.se

Susanne Meijer ST-OFR/S, tel: 021-10 14 89

Vi undanber oss all kontakt med försäljare av annonser. Vi har gjort våra strategiska val för denna rekrytering.