Doktorand i autonoma cyber-fysiska system

Autonoma cyber-fysiska system (ACPS) har stor potential att förbättra våra liv, öka mobiliteten, sänka kostnader och rädda liv. Med tanke på komplexiteten i de miljöer där dessa system verkar, förlitar sig ACPS alltmer på datadrivna, lärande komponenter för att utföra en mängd utmanande beslutsfattande uppgifter. Även om lärande komponenter är oumbärliga för autonomi, är de oförutsägbara; exempelvis kan oväntade förändringar i ACPS:s miljö få ett neuralt nätverk att producera felaktiga resultat som kan äventyra systemets säkerhet. För att säkerställa säker och pålitlig drift av ACPS behöver vi ha en omfattande förståelse för beteendet hos de underliggande komponenterna och fånga de förhållanden i miljön där dessa komponenter kan litas på att bete sig korrekt.

Projektbeskrivning

Målet med detta doktorandprojekt är att utveckla tekniker för design och verifiering av säkerställda ACPS med fokus på runtime-säkerhet. Du kommer att utveckla teori och verktyg för konstruktion av runtime-monitorer som fångar under vilka förhållanden en ACPS garanteras att upprätthålla säkerhet. En nyckelutmaning i utvecklingen av sådana monitorer är att hantera bullriga, saknade eller fördröjda data. Särskilt intressant är undersökningen av kompositionella metoder för att konstruera runtime-monitorer. Kandidaten kommer att bygga på de senaste framstegen inom formella metoder och lärande teori för att utveckla metoder som möjliggör byggande av monitorer med formella garantier om deras korrekthet och tillförlitlighet.

Information om avdelningen och institutionen

CSE-avdelningen är en gemensam avdelning vid Chalmers tekniska högskola och Göteborgs universitet, med verksamhet på två campus i Göteborg. Avdelningen är indelad i fyra divisioner och sysselsätter cirka 270 personer från över 30 länder. Forskningen inom avdelningen spänner över ett brett område, från teoretiska grunder till tillämpad systemutveckling. Vi erbjuder högkvalitativ utbildning på kandidat-, master- och forskarnivå, med över 120 kurser varje år. Vi har också omfattande nationella och internationella samarbeten med akademi, industri och samhälle.

Denne position finansieras av WASP-programmet, och som sådan kommer den med spännande karriärutvecklingsmöjligheter (https://wasp-sweden.org/ (https://wasp-sweden.org/)).

Vårt mål är att aktivt förbättra vår könsbalans både i vår avdelning och division. Jämställdhet och mångfald är grundläggande i all verksamhet vid Chalmers. Som anställd vid Chalmers och CSE-avdelningen får studenter möjlighet att bidra till vårt aktiva arbete inom området jämställdhet och mångfald.

Huvudsakliga ansvarsområden

Anställningen är en tidsbegränsad position som är begränsad till högst fem år, fyra år av studier och upp till ett år av avdelningsarbete, fördelat över hela anställningsperioden. De huvudsakliga ansvarsområdena för en doktorandposition inom divisionen inkluderar att genomföra doktorandforskning och kursarbete. I slutet av doktorandutbildningen kommer studenter att kunna identifiera nya forskningsriktningar och utforma lämpliga beräkningsexperiment för att besvara centrala forskningsfrågor. Studenter förväntas effektivt kommunicera resultaten av sin forskning både muntligt och skriftligt, och kommer att få specifik träning för att bygga dessa färdigheter. Denna position inkluderar också undervisning på Chalmers grundutbildningsnivå, eller utförande av andra undervisnings- och avdelningsuppgifter motsvarande 20% av arbetstiden.

Läs mer om doktorandstudier vid Chalmers här (#).

Kvalifikationer

För att uppfylla de allmänna antagningskraven för ett doktorandprogram vid Chalmers måste studenten ha avlagt en examen på andra cykelnivå, det vill säga en masterexamen (mastersexamen) på 120 högskolepoäng eller en masterexamen (magisterexamen) på 60 högskolepoäng. Motsvarande krav gäller för personer med utbildning som erhållits utanför Sverige, till exempel accepteras en 4-årig kandidatexamen. Tidigare kursarbete inom cyber-fysiska system, formell verifiering, beräkningslogik, AI eller statistiska metoder skulle vara fördelaktigt men inte nödvändigt. Sökande bör ha en stark bakgrund inom matematiska grunder för datavetenskap och erfarenhet av Python-programmering. Tidigare erfarenhet av djupinlärning, förstärkningsinlärning eller förklarlig AI är en merit, men inte ett krav.

Positionen kräver utmärkta muntliga och skriftliga kommunikationsfärdigheter på engelska. Om du inte är bekant med svenska, uppmuntras du, men det är inte ett krav, att lära dig det under din anställning. Chalmers erbjuder svenska kurser.

Anställningsvillkor

Heltidsanställning på tidsbegränsad basis. Positionen är begränsad till högst fem år.

Vi erbjuder

Chalmers erbjuder en stimulerande och inspirerande arbetsmiljö i den kustnära staden Göteborg.

Läs mer om att arbeta på Chalmers och våra förmåner för anställda.

Chalmers strävar efter att aktivt förbättra vår könsbalans. Vi arbetar brett med jämställdhetsprojekt, till exempel GENIE-initiativet för jämställdhet för excellens. Jämställdhet och mångfald är grundläggande i all verksamhet vid Chalmers.

För information om ansökningsförfarandet och mer, vänligen klicka här (#) för att besöka Chalmers webbplats.

Ansökningsfrist: 25 maj 2025

För frågor, vänligen kontakta:

Adjunkt, Hazem Torfah, Computing Science Division,
[email protected]