Biträdande universitetslektor i datavetenskapens grunder med fokus på logik och automatisk deduktion

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:

• 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.
• Förmåga att aktivt söka extern finansiering.