Publiceringsdatum: 2024-10-29
Letar du efter en chans att arbeta som doktorand på Uppsala Universitet? Nu är det möjligt. Uppsala Universitet behöver någon som vill arbeta heltid. Om du är tillgänglig för 6 månader eller längre, ta en titt på denna jobbannons. Att bo i närheten av Uppsala kan vara en fördel för denna position, så om du redan bor i området bör du överväga att söka jobbet.
Företaget Uppsala Universitet erbjuder just nu spännande karriärmöjligheter. Om du vill jobba som doktorand har de nu ett ledigt jobb - kolla in annonsen för att se om du har rätt erfarenhet. Du har fortfarande tid att söka jobbet som doktorand hos Uppsala Universitet om du sickar in din ansökan senast sista ansökningsdag som är måndag den andra december 2024.
<p>Vill du arbeta med automatiserad programverifiering och/eller mjukvaruutveckling, med stöd av kompetenta kollegor i en ledande internationell miljö? Vill du ha en arbetsgivare som satsar på ett hållbart medarbetarskap och erbjuder trygga, förmånliga arbetsvillkor? Välkommen att söka anställning som doktorand på Uppsala universitet.
<p>Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Vi är idag Uppsala universitets tredje största institution och har i dag drygt 350 anställda varav 120 är lärare och 120 är doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på <a href="https://www.uu.se/institution/informationsteknologi" target="_blank" rel="noopener noreferrer">institutionen för informationsteknologis webbplats</a>.
<p>Doktorandtjänsten är på avdelningen för datalogi, specifikt inom programspråksgruppen som för närvarande består av 8 seniora forskare och 8 doktorander som arbetar med olika aspekter av programspråksdesign, verifiering och mjukvaruutveckling. Utöver tekniska samarbeten träffas gruppen regelbundet och erbjuder en engagerande och stödjande miljö.
Doktorsavhandlingsprojekt är tillgängliga som en del av ERC Starting grant-projektet HORNET som syftar till att utveckla praktiskt användbara automatiserade verifierings- och felsökningstekniker för numeriska program. Dessa program används i stor utsträckning i säkerhetskritiska system, dataanalys, väderprognoser, fysik, teknik med mera, men att verifiera och felsöka deras noggrannhet och tillförlitlighet idag är utmanande på grund av avrundningsfel och begränsningar hos nuvarande verktyg. En aspekt som detta projekt fokuserar på är noggrannheten hos program med ändlig precision med avseende på en programspecifikation som använder reella tal (och som därmed är felfri). Möjliga examensarbeten kan utforska en mängd olika riktningar såsom automatiserad programverifiering, specifikationsinferens, fellokalisering, praktisk användbarhet, etc. i samband med numeriska program med ändlig precision. Sådana projekt kommer vanligtvis att innehålla både en teoretisk del, utveckling av nya tekniker och tillvägagångssätt, såväl som implementationer som kan användas praktiskt.
Doktoranden kommer främst ägna sig åt den egna forskarutbildningen. Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete, kan ingå inom ramen för anställningen (max 20%).
Behörig till utbildning på forskarnivå är den som har
Vi söker kandidater med:
Erfarenhet och kurser inom ett eller flera ämnen är meriterande: statisk programanalys, dynamisk analys eller testning, programverifiering, programlogik, avancerad kompilatorkonstruktion, mjukvaruutveckling, programfelsökning.
Ansökan ska innehålla:
<p>Lovande sökande kommer att bjudas in till en intervju på plats innan de anställs.
<p>Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i <a href="https://regler.uu.se/?languageId=3" target="_blank" rel="noopener noreferrer">universitetets regler och riktlinjer</a>.
Anställningen är tidsbegränsad, enligt HF 5 kap § 7. Omfattningen är heltid. Tillträde 1 mars 2025 eller enligt överenskommelse. Placeringsort: Uppsala
<p>Upplysningar om anställningen lämnas av: Universitetslektor Eva Darulova, e-mail: <a href="mailto:eva.darulova@it.uu.se" target="_blank" rel="noopener noreferrer">eva.darulova@it.uu.se</a>.
Välkommen med din ansökan senast den 2 december 2024, UFV-PA 2024/3663.
<p>Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Det yttersta målet är att bedriva utbildning och forskning av högsta kvalitet och relevans för att göra skillnad i samhället. Vår viktigaste tillgång är alla 7 600 anställda och 53 000 studenter som med nyfikenhet och engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser.
<p>Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet
<a href="https://uu.se/om-uu/jobba-hos-oss/">https://uu.se/om-uu/jobba-hos-oss/</a>
<p>Anställningen kan komma att säkerhetsprövas. Vid säkerhetsprövning är en förutsättning för anställning att sökande blir godkänd.
<p>Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.
<p>Ansökan tas emot i Uppsala universitets rekryteringssystem.
Antal tjänster | 1 |
---|---|
Arbetstid | Heltid |
Företagsnamn | Uppsala Universitet |
Lön | Fast månads- vecko- eller timlön |
Omfattning | 6 månader eller längre |
Organisationsnummer | 2021002932 |
Typ av anställning | Vanlig anställning |
Yrke | Doktorand |
Yrkesområde | Pedagogik |
Uppsala Universitet söker en person till denna tjänst som doktorand med placerings i Uppsala. Om det låter intressant att arbeta som doktorand hos Uppsala Universitet skickar du in din ansökan senast 2024-12-02.
Källa: Arbetsförmedlingen
Luleå Tekniska Universitet söker en person till tjänsten som doktorand i Piteå.
2024-10-16
Mer infoLinköpings Universitet söker en person till tjänsten som doktorand i Linköping.
2024-08-29
Mer infoLinköpings Universitet söker tre personer till tjänsten som doktorand i Linköping.
2024-10-28
Mer info