Lunds universitet grundades 1666 och rankas återkommande som ett av världens främsta lärosäten. Här finns omkring 47 000 studenter och mer än 8 800 medarbetare i Lund, Helsingborg och Malmö. Vi förenas i vår strävan att förstå, förklara och förbättra vår värld och människors villkor.
Lunds universitet välkomnar sökande med olika bakgrund och erfarenheter. Jämställdhet, lika villkor och mångfald är grundläggande principer för alla delar av vår verksamhet.
Institutionen för datavetenskap rekryterar en biträdande universitetslektor i datavetenskapens grunder med fokus på logik och automatisk deduktion
Den biträdande lektorn kommer att arbeta på institutionen för datavetenskap där forskning inom datavetenskapens grunder bedrivs av Susanna de Rezende och Jakob Nordström. Jakob Nordström leder forskargruppen Mathematical Insights into Algorithms for Optimization (MIAO) (http://www.jakobnordstrom.se/miao-group/) som även är aktiv på Köpenhamns universitet. Verksamheten har en unik profil på så sätt att forskning bedrivs om både de matematiska grundvalarna för effektiva beräkningar och tillämpade algoritmer för logiska och kombinatoriska problem. Detta skapar en mycket speciell miljö, där forskningsprojekten inte bara går djupt in i separata teoretiska eller tillämpade spörsmål, utan där olika projekt korsbefruktar varandra och oväntade och spännande synergier ofta uppstår. Mycket av forskningen handlar om kraftfulla algoritmiska paradigmer som SAT-lösning, Gröbnerbasberäkningar, heltalsprogrammering och villkorsprogrammering. Detta leder till klassiska frågor inom beräkningsvetenskap – men ofta med nya, intressanta infallsvinklar – men också till utmaningen att konstruera smarta algoritmer som kan utnyttja sådana metoder i praktiken.
Ämne
Datavetenskapens grunder med fokus på logik och automatisk deduktion.
Särskild ämnesbeskrivning
Det övergripande ämnet för anställningen är algoritmer för grundläggande problem inom logik, automatisk deduktion och kombinatorisk optimering. Detta inkluderar design och implementering av algoritmer för beräkningsproblem inom satslogisk lösning (SAT solving), villkorsprogrammering (constraint programming), blandad heltalsprogrammering (mixed integer linear programming) och/eller satisfierbarhet modulo teorier (SMT solving). Förutom algoritmkonstruktion omfattas även utveckling av vetenskaplig förståelse av praktiska prestanda för algoritmer för automatisk deduktion och undersökning av samband mellan empiriska observationer och teoretiska resultat i algoritmanalys och komplexitetsteori. Ett annat relaterat område är metoder för att säkerställa att algoritmer ger bevisbart korrekta resultat, vilket kan användas för att utveckla tillförlitliga algoritmer för automatisk deduktion och kombinatorisk optimering.
Arbetsuppgifter
Anställning som biträdande lektor är en meriteringsanställning och syftar till att innehavaren ska utveckla sin självständighet som forskare och pedagog. I arbetsuppgifterna ingår huvudsakligen forskning och undervisning. Inom ramen för anställningen ska det ges möjlighet till fem veckors högskolepedagogisk utbildning.
Arbetsuppgifterna innefattar:
Behörighet
Behörig att anställas som biträdande universitetslektor är den som har avlagt doktorsexamen eller uppnått motsvarande vetenskaplig kompetens.
Främst bör den komma ifråga som har avlagt doktorsexamen eller har uppnått motsvarande kompetens högst fem år före ansökningstidens utgång. Även den som har avlagt doktorsexamen eller har uppnått motsvarande kompetens tidigare kan dock komma i fråga om det finns särskilda skäl. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet eller andra liknande omständigheter.
Bedömningsgrunder
Vid anställning som biträdande universitetslektor ska följande utgöra grund för bedömning av behörighet:
Övriga krav
Övriga meriter
Hänsyn kommer också att tas till hur den sökande genom sin erfarenhet och kompetens bedöms komplettera och stärka pågående forskning, grundutbildning och innovation inom institutionen samt bidra till dess framtida utveckling.
Om anställningen
Anställningen är tidsbegränsad till 6 år och avser heltid. Anställningen tidsbegränsas enligt 4 kap 12a § HF. Syftet med anställningen är att läraren ska ges möjlighet att utveckla sin självständighet som forskare och meritera sig såväl vetenskapligt som pedagogiskt för att uppfylla kraven på behörighet för en anställning som lektor.
Vi erbjuder
Lunds universitet är en statlig myndighet vilket innebär att du får särskilda förmåner, generös semester och en förmånlig tjänstepension.
Läs mer på universitetets webbplats om att vara anställd hos oss: https://www.lu.se/om-universitetet/jobba-hos-oss.
Instruktioner för ansökan
Ansökan ska skrivas på engelska. Redovisa dina meriter enligt LTHs akademiska meritportfölj, se länk nedan. Ladda upp som PDF-filer i rekryteringssystemet. Läs mer här:
http://www.lth.se/jobb/sokalararanstallning/
*****************************************************************
Befordran till universitetslektor i datavetenskapens grunder med fokus på logik och automatisk deduktion
Den biträdande universitetslektorn kan under anställningsperioden ansöka om att bli befordrad till en fast anställning som universitetslektor. Bedömningen görs mot kraven nedan. Om dessa uppfylls och personen bedöms lämplig ska befordran ske. Ansökan får bara göras en gång.
Behörighet
Behörig att anställas som universitetslektor är den som har:
Bedömningsgrunder
Bedömningsgrunderna specificerar vad som ska beaktas och vilken nivå som ska uppnås, för att behörighetskraven ska anses uppfyllda. Följande bedömnings-grunder ska vara uppfyllda för anställning som universitetslektor:
Övriga krav
Anställningsform | Tidsbegränsad anställning |
---|---|
Anställningens omfattning | Heltid |
Tillträde | Snarast |
Löneform | Månadslön |
Antal lediga befattningar | 1 |
Sysselsättningsgrad | 100 % |
Ort | Lund |
Län | Skåne län |
Land | Sverige |
Referensnummer | PA2024/3210 |
Facklig företrädare |
|
Publicerat | 2024-11-06 |
Sista ansökningsdag | 2025-01-08 |