Doktorand i reglerteknik med inriktning på formella metoder

KTH svarar för en tredjedel av Sveriges kapacitet av teknisk forskning och ingenjörsutbildning på högskolenivå. Utbildningen och forskningen täcker ett brett område – från naturvetenskap till alla grenar inom tekniken samt arkitektur, industriell ekonomi och samhällsplanering. Totalt finns vid KTH 12 400 helårsstudenter på grundnivå och avancerad nivå, nästan 1900 aktiva forskarstuderande och 5100 anställda.

KTH Elektro- och systemteknik bedriver forskning och utbildning inom elektroteknik, systemteknik, informations- och kommunikationsteori, rymd- och fusionsplasmafysik och elkraftteknik. I denna dynamiska miljö arbetar cirka 400 personer, varav hälften är doktorander, många med utländsk bakgrund. Våra forskningsprojekt bedrivs i nära samarbete med industripartners och med forskarkollegor i Sverige och utomlands. Skolan ansvarar för högskole- och civilingenjörsutbildningen i elektroteknik samt fem mastersprogram med högt söktryck och nära koppling till våra profilområden.



Avdelningen för reglerteknik bedriver forskning inom nätverksbaserade styrsystem, mobil robotik, transportsystem, systembiologi och systemidentifiering.

Mycket av forskningen bedrivs inom EU-projekt och inom den tvärvetenskapliga forskningsmiljön ACCESS, vars forskarskola har mer än hundra doktorander. Forskningsgruppen har framgångsrikt erhållit starkt stöd från bl. a. Knut och Alice Wallenbergs stiftelse, Vetenskapsrådet och VINNOVA.

Projektbeskrivning

Vi inbjuder ansökningar till en doktorandtjänst i formella metoder baserade planering. Den sökande kommer att ansluta sig till en forskargrupp som fokuserar på nya metoder för automatiserad planering och styrning syntes under komplexa systemspecifikationer. Tillämpningar av forskningen innefattar men är inte begränsade till planering för autonoma system och mobila robotar, eller reglering och kordinering av multi-agent system.

KTH erbjuder en attraktiv arbetsmiljö, generös lön och andra anställningsförmåner. Som doktorand på KTH har du möjlighet att delta vid konferenser, projekt och andra relevanta aktiviteter som kan utvidga ditt professionella nätverk och gynna din framtida karriär.

Kvalifikationer

Den sökande förväntas inneha eller snart ha en civilingenjörs- eller magisterexamen inom något av följande (eller liknande ämnen): datavetenskap, datateknik, teknisk fysik, eller tillämpad matematik. Specialisering inom Formella metoder och artificiell intelligens är en merit.

Den valda sökanden behöver ha en utmärkt akademisk meritlista, väl utvecklade analytiska färdigheter, samt färdigheter i problemlösning. Vi söker en starkt motiverad kandidat som kan arbeta självständigt. Goda kunskaper i engelska i tal och skrift är nödvändiga för att publicera och presentera forskningsresultat i internationella konferenser och tidskrifter. Utvärderingen kommer att baseras på hur väl de sökande kvalificerar sig med avseende på ovanstående meriter.

Fackliga representanter

Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida. 

Ansökan

Du ansöker via KTH:s rekryteringsverktyg. Du som sökande har huvudansvaret för att din ansökan är komplett när den skickas in. Din kompletta ansökan ska vara KTH tillhanda senast sista dagen för ansökningsperioden.

Ansökan ska innehålla följande:

- CV inklusive relevanta professionella erfarenheter och kunskaper.
- Kopior av examensbevis och betyg från dina tidigare universitetsstudier. Översättningar till engelska eller svenska om originaldokumenten inte är utfärdade på ett av dessa språk.  
- Kortfattad redogörelse om varför du vill bedriva forskningsstudier, om dina akademiska intressen och hur relaterar de till dina tidigare studier och framtida mål; max 2 sidor lång.
- Representativa publikationer eller tekniska rapporter: Dokument inte längre än 10 sidor vardera. För längre dokument (t.ex. avhandlingar), bifoga en sammanfattning (abstract) och en webblänk till den fullständiga texten.
- Rekommendationsbrev och kontaktinformation till två referenspersoner.
Övrigt

Anställningen är tidsbegränsad enligt föreskrifterna för doktorandanställning i Högskoleförordningen (~5 år vid 80 % forskarstudier och 20 % institutionstjänstgöring som också innebär undervisning).

Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.