Forskare i Homotopi - Typteori

vid Matematiska institutionen. Sista ansökningsdag: 2021-04-09.

Matematiska institutionen vid Stockholms universitet har 38 lektorer och professorer, indelade i tre avdelningar: Matematik, Matematisk statistik och Beräkningsmatematik. På avdelningen för matematik bedrivs forskning i en mängd olika grenar av ren matematik, såsom algebra, analys, kombinatorik, geometri, logik och topologi.

Logikgruppen arbetar i flera områden inom ämnet, inklusive konstruktiv typteori, konstruktiv matematik och kategorisk logik.

Projektbeskrivning
Denna forskaranställning tillhör projektet Typteori för matematik och informatik med huvudforskaren Thierry Coquand (Göteborg) och forskaren Peter LeFanu Lumsdaine (Stockholm), med bidrag från Knut och Alice Wallenbergs Stiftelse. Projektet omfattar forskning om beroende typteori i allmänheten, och mer specifikt inom homotopi-typteori och relaterade ämnen.

Arbetsuppgifter
Den huvudsakliga arbetsuppgiften är att forska. Anställningen omfattar också undervisning (upp till 20%) som kan inkludera handledning. Den anställde förväntas delta i institutionens verksamheter, specifikt genom att delta och hålla föredrag i institutionens regelbundna seminarier

Behörighetskrav
En forskare anställs i huvudsak för forskning och ska ha avlagt doktorsexamen eller har en utländsk examen som bedöms motsvara doktorsexamen.

Bedömningsgrunder
Vid tillsättningen kommer särskild vikt att fästas vid vetenskaplig skicklighet, och kompatibilitet med projektet i homotopi-typteori. Kandidaten behöver ingen tidigare forskningserfarenhet inom homotopi-typteori, men ska ha stark bakgrund i relaterade ämnen för att möjliggöra övergång till forskning inom projektet. Vikt läggs dessutom på kandidatens möjlighet för samarbete med andra inom institutionen.

Anställningsvillkor
Anställningen avser heltid och gäller tills vidare, dock längst två år. Tillträde 2021-09-01 eller enligt överenskommelse.

Stockholms universitet strävar efter att vara en arbetsplats som är fri från diskriminering och ger lika möjligheter för alla.

Kontakt
Upplysningar om anställningen lämnas av Peter LeFanu Lumsdaine, p.l.lumsdaine@math.su.se.

Allmänna frågor kan också besvaras av avdelningsföreståndaren, Jonas Bergström, jonasb@math.su.se. 

Fackliga företrädare
Ingrid Lander (Saco-S), tfn 0708-16 26 64, saco@saco.su.se, Alejandra Pizarro Carrasco (Fackförbundet ST/Lärarförbundet), tfn 08-16 34 89, alejandra@st.su.se, samt seko@seko.su.se (SEKO).

Ansökan
Du söker anställningen via Stockholms universitets rekryteringssystem. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag.

När du ansöker ber vi dig att fylla i följande uppgifter


• dina kontakt- och personuppgifter
• din högsta examen
• dina språkkunskaper
• kontaktinformation för 2–3 referenspersoner

och att bifoga följande dokument


• personligt brev
• CV – examina och övriga utbildningar, arbetslivserfarenhet och publikationsförteckning
• projektplan/forskningsplan (bör ej överstiga 3 sidor) som beskriver:
- din vetenskapliga bakgrund, forskningsmeriter, samt dina forskningsplaner,
  med hänsyn till hur du och din planerade forskning passar för det aktuella projektet
• kopia av bevis på doktorsexamen
• eventuella rekommendationsbrev (max 3 filer)
• egna publikationer som du önskar åberopa (max 3 filer).

Anvisningar för sökande finns på webbsidan: att söka en anställning.

Välkommen med din ansökan!


Stockholms universitet bidrar till det hållbara demokratiska samhällets utveckling genom kunskap, upplysning och sanningssökande.