Postdoktor inom probabilistisk programmering för evolutionsbiologi

Arbetsuppgifter Projektet går ut på att utveckla metoder, algoritmer och programvara för probabilistisk inferens av fylogenetiska träd inom evolutionsbiologi. Projektet utvecklas inom ramverken Miking https://miking.org/ och TreePPL https://treeppl.org/, med fokus på funktionell programmering. Arbetsuppgifterna och forskningsproblemen ligger inom områdena kompilatorkonstruktion och Bayesiansk inferens. Kvalifikationer Krav - Avlagd doktorsexamen eller utländsk examen som bedöms motsvara en doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. - Dokumenterat mycket goda kunskaper inom programspråksteori och kompilatorkonstruktion. - God kunskap inom Bayesiansk inferens och probabilistisk programmering. - Mycket goda kunskaper inom funktionell programmering. - Mycket god förmåga att både arbeta självständigt och i grupp. Meriterande - Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades. - Det är meriterande med grundläggande kunskaper inom fylogenetik. - Det är även meriterande med dokumenterad pedagogisk förmåga. - Vetenskaplig skicklighet. - Medvetenhet om mångfalds- och likabehandlingsfrågor med särskilt fokus på jämställdhet. Vi kommer att lägga stor vikt vid personliga egenskaper. Bli en del av KTH   KTH formar framtiden genom utbildning, forskning och innovation. Som ett ledande internationellt tekniskt universitet spelar vi en aktiv roll i att driva och medverka i omställningen till ett hållbart samhälle. Här erbjuds du möjligheten att växa och utvecklas på en kreativ och dynamisk arbetsplats med goda arbetsvillkor och förmåner. Jämställdhet, mångfald och lika villkor är en kvalitetsfråga och en självklar del av KTH:s värdegrund som universitet och statlig myndighet. https://www.kth.se/om/jobba-pa-kth Fackliga representanter Kontaktuppgifter till https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898 Ansökan Du ansöker via KTH:s rekryteringssystem. Du som sökande har huvudansvaret för att din ansökan är komplett när den skickas in. Ansökan ska innehålla:  - CV inklusive relevant yrkeserfarenhet och kunskap. - Kopia av examensbevis och betyg från dina tidigare universitetsstudier. Översättningar till engelska eller svenska om de ursprungliga dokumenten inte utfärdas på något av dessa språk. - Kortfattad redogörelse för varför du vill bedriva forskning, dina akademiska intressen och hur de relaterar till dina tidigare studier och framtida mål. max 2 sidor lång.  Ansökan ska vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (Central European Time/Central European Summer Time). Om anställningen Anställningen gäller tillsvidare, dock längst två år En https://www.arbetsgivarverket.se/globalassets/arbetsgivarverket/avtal-och-skrifter/avtal/avtal-om-tidsbegransad-anstallning-som-postdoktor/avtal-om-tidsbegransad-anstallning-som-postdoktor-2021-11-19.pdf är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation. Övrigt För https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898 i samband med rekrytering. Det kan förekomma att en anställning hos KTH är placerad i säkerhetsklass. Om så är fallet för just denna anställning görs en säkerhetsprövning av sökande i enlighet med säkerhetsskyddslagen (2018:585) efter samtycke. I dessa fall är en förutsättning för anställning att sökande blir godkänd efter säkerhetsprövning. Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.