Postdoktor i logik, en eller flera

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 56 000 studenter och 6 600 medarbetare gör universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter från hela världen. Med ny kunskap och nya perspektiv bidrar Göteborgs universitet till en bättre framtid.Institutionen för filosofi, lingvistik och vetenskapsteori (FLoV) vid humanistiska fakulteten har omkring 100 anställda och en undervisningsvolym som omfattar cirka 350 helårsstudenter. Här pågår många stora nationella och internationella forskningsprojekt. Vi utbildar filosofer, logiker, lingvister, språkteknologer, vetenskapsteoretiker, filosofihistoriker, filologer och lärare i filosofi. Institutionen bedriver även forskarutbildning och utvecklingsarbete inom sina områden.

Logikgruppen vid institutionen för filosofi, lingvistik och vetenskapsteori använder formella metoder för att besvara frågor från matematik, filosofi, datavetenskap och lingvistik. Gruppens intresseområden spänner bland annat över matematikens fundament och modallogik. I synnerhet finns det expertis inom bevis- och modellteori för aritmetik, mängdlära och sanningsteori, samt inom typteori, mu-kalkyl och beroendelogik. Mer information om logikgruppen hittas här: https://www.gu.se/en/flov/our-research/research-areas/research-in-logic-and-mathematical-methodology

Institutionen för filosofi, lingvistik och vetenskapsteori söker en eller flera välkvalificerade postdoktorer i logik för att ansluta sig till Graham Leighs forskningsprojekt Taming Jörmungandr: The Logical Foundations of Circularity finansierat av Knut och Alice Wallenbergs Stiftelse. Huvudsyftet med projektet är att utveckla nya tekniker för logisk analys av cykliska fenomen i matematiska, filosofiska och beräkningsmässiga sammanhang. Mer information om projektet hittas här: https://www.gu.se/en/research/taming-jormungandr-the-logical-foundations-of-circularity-0

 
Ämne 
Logik

 

Ämnesbeskrivning 
Matematisk logik och beräkningslogik

 

Arbetsuppgifter 
Postdoktorn förväntas bidra till projektets mål. Vi är särskilt intresserade av sökande som kan stärka den befintliga forskargruppen genom forskning om bevisteoretiska samspel mellan induktion, rekursion och cirkulära resonemang och dess kopplingar till begreppen sanning, bevis och beräkning. Förutom att bedriva självständig forskning inom områden av relevans för projektet, förväntas postdoktorn vara aktivt involverad i forskargruppens verksamhet, inklusive möten, seminarier, workshops och konferenser; både som arrangör och som deltagare. Postdoktorn förväntas också hjälpa till med att skriva framtida forskningsansökningar och samförfattande av artiklar med andra medlemmar i forskargruppen uppmuntras starkt. Möjligheter till undervisning eller administration kan erbjudas efter institutionens behov och innehavarens kompetensområde, men får inte överstiga 20% av heltid. Innehavaren av anställningen förväntas bedriva sin forskning i Göteborg. Den sökande förväntas ha goda kunskaper i engelska eftersom detta är projektgruppens arbetsspråk.

 

Behörighet 
För att anställas med stöd av Avtal om tidsbegränsad anställning som postdoktor (https://www.arbetsgivarverket.se/avtal--skrifter/avtal/avtal-om-tidsbegransad-anstallning-som-postdoktor/) krävs avlagd doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen. Doktorsexamens ämnesområde bör ha relevant anknytning till ämnesbeskrivningen ovan. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. För att anställas med stöd av detta avtal bör främst den komma ifråga som har avlagt doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen 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, tjänstgöring inom totalförsvaret, eller andra liknande omständigheter samt klinisk tjänstgöring eller för ämnesområdet relevant tjänstgöring/uppdrag.

Anställningen som postdoktor beskrivs närmare i Göteborgs universitets anställningsordning för lärare: https://medarbetarportalen.gu.se/digitalAssets/1803/1803130_anstallningsordning-for-larare---gu-2022-38.pdf

 

Bedömningsgrunder 
Vetenskaplig skicklighet är det viktigaste kriteriet för bedömning och särskild vikt kommer att ägnas den sökandes doktorsavhandling och andra publikationer samt hans/hennes forskningsplan. Vikt kommer även läggas vid forskningsplan och tidigare arbete som stärker forskargruppen och projektet totalt sett. Dokumenterad god samarbetsförmåga, god förmåga att planera och organisera forskning, erfarenhet av att arbeta i forskargrupp samt goda kunskaper i att förmedla forskning är också meriterande.

Rekryteringsprocessen kan komma att innefatta intervjuer och referenstagning.

Bedömningsgrunder vid anställning som lärare finns angivna i Göteborgs universitets anställningsordning, se ovan.

 

För övrig information och för att söka tjänsten se den fullständiga annonsen på www.gu.se 

 

Ansökan ska vara inkommen senast: 2023-02-28

 

Universitetet arbetar aktivt för en arbetsmiljö med jämställda förhållanden och sätter värde på de kvalitéer mångfald tillför verksamheten.

Universitetet tillämpar individuell lönesättning.

Enligt Riksarkivets föreskrifter är universitetet skyldigt att förvara ansökningshandlingar i två år efter tillsättningsbeslutet. Om du som sökande till en anställning särskilt begär tillbaka dina handlingar återsänds de när de två åren har förflutit, i annat fall kommer de att gallras ut.

Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.