
Postdoktor inom praktiskt användbar verifiering för numerisk kod
6 days ago
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å https://www.uu.se/institution/informationsteknologi.
Postdoc-tjänsten är på avdelningen för datalogi, specifikt inom programspråksgruppen som för närvarande består av 7 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ö.
Projektbeskrivning och arbetsuppgifter
Tjänsten är en del av ERC Starting grant-projektet HORNET om 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 konkreta forskningsinriktningar som postdoktorn kan vara involverad i inkluderar automatiserad programverifiering, specifikationsinferens, fellokalisering, praktisk användbarhet etc. i samband med numeriska program med ändlig precision. Projekten omfattar vanligtvis både utveckling av nya tekniker, såväl som implementationer som kan användas praktiskt. Postdoc-kandidaten förväntas arbeta både självständigt och i samarbete med andra gruppmedlemmar och externa samarbetspartners.
Rollen inkluderar även forskningsadministration, deltagande i projektmöten och kan innefatta upp till 20 % undervisning inom institutionens kursutbud (beroende på kandidatens intressen och kurstillgänglighet). Vi uppmuntrar alla intresserade kandidater som uppfyller kvalifikationskraven att söka, även om deras tidigare erfarenhet inte är exakt i linje med detta projekts ämne. Vi granskar alla ansökningar noggrant och söker kandidater som kan bidra till projektets mål.
Kvalifikationskrav
Doktorsexamen i datavetenskap inom ett för tjänsten relevant område såsom programverifiering, programvaruteknik eller programmeringsspråk eller en utländsk examen som bedöms motsvara doktorsexamen i datavetenskap inom ett för tjänsten relevant område såsom programverifiering, programvaruteknik eller programmeringsspråk. Examen ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. Främst bör den komma ifråga som har avlagt examen för högst tre år sedan. Vid beräkning av ramtiden om tre år är utgångspunkten sista ansökningsdag. Om det finns särskilda skäl kan sådan examen ha avlagts tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, etc.
Flytande engelska i både skrift och tal, samt goda programmeringskunskaper är också ett krav.
Önskvärt/meriterande i övrigt
Vi söker en postdoc-kandidat som är ansvarstagande, självgående och som har visat självständighet i forskningen och som samtidigt fungerar väl i en forskargrupp. Tonvikt kommer också att läggas vid förmågan att publicera vetenskapligt arbete i högkvalitativa tidsskrifter eller konferenser och att hålla presentationer vid konferenser och vetenskapliga möten.
Ansökningsförfarande
Ansökan ska innehålla:
- ett personligt brev som kortfattat beskriver din motivation för att söka denna tjänst och detta projekt samt anger det tidigaste möjliga anställningsdatumet (max 1 sida);
- ett curriculum vitae (CV);
- en kopia av relevanta examina och betyg (översatta till svenska eller engelska, t.ex. enligt ditt universitet);
- en lista över publikationer (kan ingå i CV);
- en forskningsbeskrivning som beskriver din tidigare forskningserfarenhet och aktuella forskningsintressen (max två sidor);
- kontaktinformation till minst två referenser (inkludera inte referensbrev).
Om anställningen
Anställningen är tidsbegränsad i två år enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde 1 september 2025 eller enligt överenskommelse. Placeringsort: Uppsala
Upplysningar om anställningen lämnas av: Universitetslektor Eva Darulova, e-mail: eva.darulova@it.uu.se.
Välkommen med din ansökan senast den 22 april 2025 UFV-PA 2025/659
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.
Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet
https://uu.se/om-uu/jobba-hos-oss/
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.
Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.
Ansökan tas emot i Uppsala universitets rekryteringssystem.
-
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeOm du är intresserad av att bli en del av vårt team på Uppsala universitet och bidra till utvecklingen av nya verifieringsmetoder, så rekommenderar vi dig att söka anställningen som postdoktor i praktisk användbar kodverifiering.Här kan du ta chansen att jobba med spännande frågor inom datavetenskap, arbeta med engagerade kollegor och få...
-
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeUppsala universitet är ett av Sveriges ledande högskolor med stark internationell ställning. Vi söker nu en erfaren postdoktor inom datavetenskap som kan bidra till vårt pågående ERC Starting grant-projekt HORNET om praktiskt användbara automatiserade verifierings- och felsökningstekniker för numeriska program.För att vara framgångsrik i denna...
-
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeFöretagsbeskrivningUppsala 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.Lärande miljöVår viktigaste tillgång är alla 7 600 anställda och 53 000 studenter som med nyfikenhet och...
-
Doktorand i datalogi
1 week ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeDoktorand i datalogi med fokus på praktiskt användbar verifiering för numerisk kodVill 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?...
-
Uppsala, Uppsala, Sweden Uppsala Universitet Full time2 postdoktorer inom hydrotermal omvandling av vulkaniska systemVill du arbeta med vulkaniska faror kopplade till hydrotermisk omvandling av vulkaniska bergarter med stöd av kompetenta och trevliga kollegor i en internationell miljö? För att ytterligare utöka våra insatser inom detta område bjuder vi nu in sökande att ansluta sig till vår växande...
-
Postdoktor
7 days ago
Uppsala, Uppsala, Sweden Sveriges Lantbruksuniversitet Full timeInstitutionen för molekylära vetenskaperPostdoktor inom Plant Catabolism Laboratories för att studera biomolekylära kondensatEn tvåårig postdoktoranställning utlyses vid Institutionen för molekylära vetenskaper, SLU, Uppsala. Institutionen består av cirka 110 medarbetare och samarbetar med tre andra institutioner för att skapa en inspirerande...
-
Postdoktor inom datorarkitektur
2 weeks ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timePostdoktor inom datorarkitektur: Att använda bred kontextuell information för bättre grenpredikteringÄr du entusiastisk över att utforska nya koncept inom processorers grenprediktering med stöd av vänlig, kunnig och passionerad kollegial uppbackning? Vill du arbeta i en internationell forskningsmiljö som värdesätter hållbart och kollegialt...
-
Postdoktor inom materialfysik
1 week ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeVill du arbeta med mjuka material, med stöd av kompetenta och trevliga kollegor i en 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 postdoktor på Uppsala universitet.Uppsala universitet är ett brett forskningsuniversitet...
-
Postdoktor inom fasta tillståndets fysik
1 week ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timePostdoktor inom fasta tillståndets fysik med inriktning mot kromogena filmer för smarta fönsterTidsbegränsad heltidsanställning 2 år med tillträde snarast möjligtBli en av ossArbetsuppgifterSyntes av termokroma och fotokroma tunnfilmer med hjälp av magnetronförstoftning inom det europeiska projektet SmartPV.Utveckling av deponeringsprocesser för...
-
Postdoktor i Maskininlärning för 6G-Nätverk
6 days ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeUppsala universitet, en ledande institution inom elektroteknik och teknik, söker en Postdoktor inom området hierarkisk federerad inlärning för 6G-kantberäkningar. Den som utnämns till denna tjänst kommer att arbeta tillsammans med en internationell forskargrupp som fokuserar på att utveckla effektiva lösningar för IoT-applikationer.För att kunna...
-
Postdoktor inom energimaterialens fysik
3 weeks ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timePostdoktor inom energimaterialens fysik, modellering av processer i solcellerInstitutionen för fysik och astronomi är en av Uppsala universitets största med närmare 400 anställda.Institutionen bedriver forskning och utbildning i världsklass inom såväl teoretisk som experimentell fysik. Runt 2 500 studenter läser varje år kurser på grund- och...
-
Postdoktor inom markvetenskap
6 days ago
Uppsala, Uppsala, Sweden Sveriges Lantbruksuniversitet Full timeInstitutionen för mark och miljöInstitutionen för mark och miljö söker en post-doktor i markvetenskap. Tjänsten passar dig som vill utvecklas vidare som forskare i markvetenskap efter avslutad doktorandutbildning.Om jobbetDen sökande som får tjänsten ska bedriva forskning som syftar till att förbättra precision och korrekthet i skattningar av...
-
Postdoktor i beräkningsmagnetism
7 days ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeVi söker en postdoktor med stark bakgrund i teoretisk elektronisk struktur och magnetism för att arbeta med ab initio-modellering av magnetiska faser. Projektet omfattar simuleringar av första principer och förutsägande av magnetiska materials egenskaper.Företrädesvis ska den kommande postdoktoranden ha erfarenhet av att hantera ab initio metoder (DFT...
-
Postdoktor inom beräkningsmaterialdesign
7 days ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeInstitutionen bedriver forskning och utbildning i världsklass inom såväl teoretisk som experimentell fysik och har en omfattande samverkan med omvärlden.Forskningen genomförs vid 10 forskningsavdelningar och berör allt från det ofattbart lilla till det stora inom till exempel energiförsörjning, klimatutveckling, nya material och universum. Hela...
-
Postdoktor inom stokastisk kontrollteori
2 days ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeVill du arbeta med stokastisk kontrollteori, med stöd av kompetenta och trevliga kollegor i en 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 postdoktor på Uppsala universitet.Matematiska institutionen bedriver forskning och...
-
Postdoktor i agrarhistoria
2 weeks ago
Uppsala, Uppsala, Sweden Sveriges Lantbruksuniversitet Full timeInstitutionen för stad och landProjektet "Forest and settlement fires in Fennoscandia, 1600–1800" har erhållit bidrag från Vetenskapsrådet i en utlysning för internationell postdoc. Projektets syfte är att bättre förstå hur skogs- och bebyggelsebränder har påverkat rurala samhällen i det tidigmoderna Sverige, Finland och Norge. Dess mål är...
-
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeKort presentation:Vi letar efter en erfaren postdoktor som vill arbeta med oss på Uppsala universitet. Du kommer att ingå i en grupp som består av flera välkända experter inom området IoT-beräkningar och kantberäkningar. Som postdoktor kommer du att ha stor frihet att planera din forskning och forskningsgruppen ser gärna att du vill leda projekt och...
-
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeVår ForskningsgruppVår forskningsgrupp består av erfarna forskare och studenter som arbetar tillsammans för att utveckla och karakterisera kolbaserade elektror för användning i nästa generations batterier.ProjektbeskrivningVi strävar efter att utforska den komplexa strukturen av oordnat kol genom experimentella data. Dessutom ska vi identifiera...
-
Forskare inom geofysik
1 day ago
Uppsala, Uppsala, Sweden Uppsala Universitet Full timeArbetsbeskrivningInom Uppsala universitet söker vi en postdoktor med expertis inom distribuerad akustisk sensoring (DAS) för att arbeta med innovativa prospekteringsmetoder. Som postdoktor kommer du att ingå i ett större forskningsprojekt som syftar till att utveckla seismiska lösningar med hjälp av DAS-teknik.Vår institution är Sveriges största och...
-
Uppsala, Uppsala, Sweden Sveriges Lantbruksuniversitet Full timeInstitutionen för mark och miljöVi söker en självständig och motiverad postdoktor för att bedriva experimentella och modellbaserade studier i ett nytt projekt: Vattenlagrande-bevattningssystem för att minska negativ påverkan av klimatförändringar i jordbrukslandskap.Om jobbetMålen för arbetet inkluderar:1) Att bestämma hur förändringar i...