Biträdande universitetslektor i datavetenskapens grunder med fokus på logik och automatisk deduktion - Under tillsättning eller tillsatt, ej sökbar

Institutionen för datavetenskap vid LTH, Lunds universitet, rekryterar en Biträdande universitetslektor i datavetenskapens grunder med fokus på logik och automatisk deduktion.

Beskrivning av arbetsplatsen  
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 i så motto 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
Fokus för tjänsten ä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:

• Forskning inom ämnesområdet.
• Undervisning på grundnivå, avancerad nivå och forskarnivå.
• Handledning av examensarbetare och doktorander.
• Arbete med att söka extern forskningsfinansiering.
• Samverkan med näringsliv och samhälle.
• Administration kopplat till arbetsuppgifterna ovan. 

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:

• God förmåga att utveckla och genomföra forskning av hög kvalitet.
• Pedagogisk förmåga.

Övriga krav

• Mycket goda kunskaper i engelska, i tal och skrift.
• Betydande dokumenterad forskningserfarenhet (till exempel från postdoc eller forskarutbildning) från annat lärosäte/institut eller relevant erfarenhet från näringsliv/offentlig verksamhet.
• Internationella publikationer i ledande konferenser i ämnet som AAAI, CP, IJCAI, IJCAR, SAT, SODA och liknande, eller i ledande tidskrifter som till exempel AIJ, JACM, JAIR, och SICOMP.
• God samarbetsförmåga, initiativförmåga, förmåga att lösa arbetsuppgifter självständigt samt visat intresse för ledarskap.

Övriga meriter

• Dokumenterad erfarenhet av att söka och erhålla forskningsanslag.
• Dokumenterad erfarenhet av att utveckla mjukvaruverktyg för automatisk deduktion och/eller kombinatorisk optimering.
• Visad förmåga att samverka med omgivande samhället.

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:

• Avlagt doktorsexamen eller annan motsvarande kompetens eller någon annan yrkesskicklighet av betydelse med hänsyn till anställningens ämnesinnehåll och de arbetsuppgifter som ska ingå i anställningen.
• Visad pedagogisk skicklighet, vilket även innefattar genomgången högskolepedagogisk utbildning eller på annat sätt inhämtade motsvarande kunskap om minst fem veckor, om det inte föreligger särskilda skäl.

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:

• God nationell och internationell nivå som forskare, där kravet på internationell meritering ska bedömas med hänsyn till ämnets karaktär och tradition.
• God pedagogisk förmåga, vilket innebär god förmåga att bedriva, utveckla och leda undervisning och annan pedagogisk verksamhet på olika nivåer och med varierande undervisningsmetoder.
• Förmåga att delta i handledning av doktorander i studier till doktorsexamen.
• Förmåga att samverka med det omgivande samhället och att informera om sin verksamhet.
• Förmåga i övrigt att leda och utveckla verksamhet.

Övriga krav

• God samarbetsförmåga, självständighet och driv.
• Visad förmåga att aktivt söka extern finansiering.