Postdoktor i verktyg för programanalys

Lunds universitet grundades 1666 och rankas återkommande som ett av världens 100 främsta lärosäten. Här finns cirka 44 000 studenter och mer än 8 000 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.




Beskrivning av arbetsplatsen
Postdoktorn kommer att ingå i https://sde.

cs.lth.se/ vid https://cs.lth.se/. Gruppen utforskar nya verktyg, språk och metoder för att stödja mjukvaruutveckling och bedriver forskning inom en mängd olika områden, t.ex. kompilatorkonstruktion, deklarativa specifikationsspråk, distribuerade utvecklingsmiljöer, säkerhetsövervakning för autonoma system och analys av kodgranskningsprocesser med hjälp av ögonrörelsemätning. Gruppen har livaktigt samarbete både lokalt inom Lunds universitet, internationellt och även med näringslivet, t.ex. ABB och Ericsson. Gruppen har medlemmar från tio olika länder, och organiserar regelbundna gruppaktiviteter för att stimulera samarbeten och en god arbetsmiljö.

Gruppen utvecklar flera system för programanalys. Speciellt kan nämnas metakompilatorn https://jastadd.cs.lth.se/web, ramverket https://github.com/lu-cs-sde/metadl för deklarativ programanalys och http://extendj.org/, vår modulära Java-kompilator. Projektet finansieras av Wallenberg Autonomous Systems and Software Program (WASP), och kommer att ingå i https://wasp-sweden.org/research/research-arenas/wara-sw/, som leds av samma forskargrupp.

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å universitets webbplats om att https://www.lu.se/om-universitetet/jobba-hos-oss.

Särskild ämnesbeskrivning
Ämnesområdet för tjänsten är verktyg för programanalys. Specifikt omfattas konstruktion av verktyg för statisk och dynamisk programanalys, användning och utveckling av deklarativa specifikationsspråk, samt storskaliga tillämpningar av verktygen.

Arbetsuppgifter
I arbetsuppgifterna som postdoktor ingår främst att bedriva forskning inom ämnesområdet. Även undervisning kan ingå i arbetsuppgifterna, dock högst en femtedel av arbetstiden. Inom ramen för anställningen ges det möjlighet till tre veckors högskolepedagogisk utbildning. Syftet med anställningen är att utveckla sin självständighet som forskare samt skapa förutsättningar för vidare meritering.

Arbetet kommer att ske i samarbete med forskargruppen och anpassas efter postdoktorns bakgrund och intressen.

Arbetsuppgifterna innefattar:

- Forskning inom ämnesområdet.
- Akademiskt-industriellt samarbete inom "WARA for Software". Detta kan innefatta t.ex. organisation av workshop, nätverkande med medlemmar i WASP (både akademi och näringsliv), och deltagande i forskningssamarbeten.
- Resor till konferenser, deltagande i nätverkande med akademi och näringsliv inom WASP, t.ex. via WASP-konferenser.
- Handledning av doktorander och examensarbetare inom ämnesområdet.
- Hjälpa till med att skriva forskningsansökningar.
- Samarbete med industrin och externa forskare.
- Arbete med administration kopplat till dessa arbetsuppgifter.

Behörighet
Behörig att anställas som postdoktor är den som har avlagt doktorsexamen, eller en utländsk examen som bedöms motsvara doktorsexamen, inom anställningens ämnesområde. Bevis om att behörighetskravet är uppfyllt ska ha inkommit senast vid tidpunkten då anställningsbeslut fattas. Främst kommer den sökande i fråga som avlagt examen högst tre år före sista ansökningsdag. Om det finns särskilda skäl kan doktorsexamen ha avlagts tidigare.

Övriga krav:

- Publikationer inom programvaruteknik vid välrenommerade internationella konferenser
- Djup kunskap om konstruktion av antingen kompilatorer eller verktyg för statisk programanalys
- Djup kunskap om åtminstone två av följande områden: - Objektorienterad programmering
- Funktionell programmering, logikprogrammering, eller programmering med attribut-grammatiker
- Teoretiska ramverk för programanalys


- Mycket goda programmeringsfärdigheter, visas t.ex. som erfarenhet av mjukvaruutveckling i industrin eller i projekt med öppen källkod
- God samarbetsförmåga
- Eget driv samt god förmåga att arbeta självständigt
- Mycket goda kunskaper i engelska, i tal och skrift.

Bedömningsgrunder
Detta är en meriteringsanställning främst inriktad på forskning. Anställningen är tänkt som ett inledande steg i karriären och bedömningen av de sökande kommer i första hand att baseras på deras vetenskapliga meriter och potential som forskare. Särskild vikt kommer att fästas vid vetenskaplig förmåga inom ämnesområdet.

Vid anställning av postdoktor ska följande utgöra grund för bedömning:

- God förmåga att utveckla och genomföra forskning av god kvalitet
- Pedagogisk förmåga

Övriga meriter:
Erfarenhet av och kunskaper inom:

- Utveckling och implementering av domänspecifika språk
- Mjukvarusäkerhet och upptäckt av sårbarheter i programvara
- Empirisk evaluering av programvaruverktyg
- Transformering av källkod
- Akademisk utåtriktad verksamhet (outreach) till utvecklare
- Användarstudier
- Robotik
- Maskinlärning

Hänsyn kommer att tas till hur den sökande genom sin erfarenhet och kompetens bedöms komplettera och stärka forskningen inom forskargruppen samt bidra till dess framtida utveckling.

Övrigt
Anställningen är tidsbegränsad till två år och avser heltid. Anställningen tidsbegränsas enligt kollektivavtal, “Avtal om tidsbegränsad anställning som postdoktor”.

Så här söker du
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 (inkl. kopia av doktorsexamen). Läs mer här: http://www.lth.se/jobb/sokalararanstallning/

Välkommen med din ansökan!

Lunds Tekniska Högskola, LTH, är en teknisk fakultet inom Lunds universitet med forskning av hög internationell klass och stora satsningar på pedagogisk mångfald.

Vi undanber oss alla kontakter från annonsförsäljare, rekryterings- och bemanningsföretag på grund av statliga upphandlingsregler.