Förste forskningsingenjör inom datalogi

Kunniga och engagerade medarbetare med goda förutsättningar är en av de absolut viktigaste framgångsfaktorerna för Linköpings universitet. Lärare och forskare är vår kärnkompetens, men ett framgångsrikt universitet behöver erfarna och motiverade medarbetare inom många områden. Alla roller är viktiga.Vi har ett stort rekryteringsbehov bland annat tack vare en forskningsverksamhet i expansion. Du behövs här. Välkommen att söka jobb hos oss!

Institutionen för datavetenskap (IDA) grundades 1983 men våra rötter går tillbaka till tidigt 1970-tal. Det är en av de största datavetenskapliga institutionerna i norra Europa.

Vår forskning täcker ett brett spektrum av områden, från grundläggande datavetenskap till tillämpade områden. Den omfattande forskningen påverkar även vår grund- och forskarutbildning, vilket leder till att vi ger kurser inom flertalet civil- och högskoleingenjörsprogram, samt programmen inom innovativ programmering, kognitionsvetenskap och statistik.
Läs mer: https://liu.se/organisation/liu/ida

Vi söker nu en Förste forskningsingenjör inom Datalogi till Institutionen för datavetenskap.

Dina framtida arbetsuppgifter
Dina arbetsuppgifter kommer bestå i att

• bedriva forskning inom ekvations-baserade objektorienterade programspråk för modellering och simulering av cyber-fysikaliska system. Speciellt inom felsökning, verifiering och verktygsintegration.
• implementera och integrera forskningsresultat i kompilatorn och utvecklingsomgivningen för OpenModelica.
• handleda doktorander och examensarbetare som använder OpenModelica i sin forskning.
• delta i forskningssamarbeten med användare på företag och upprätthålla en strategi för vidareutveckling av OpenModelica.
• aktivt delta i att söka finansiering av forskning, både tillämpad och teoretisk.
• utveckla och leda utbildning inom Modell-baserad systemutveckling.

Din framtida arbetsplats
Du kommer arbeta på Laboratoriet för Programvaruteknik (PELAB) vid Institution för Datavetenskap. På PELAB har vi forskat sedan 80-talet, bl. a. inom kompilatorteknik, automatisk felsökning och ekvations-baserade objektorienterade språk för modellering av cyber-fysiska system. Forskningen är både teoretisk och tillämpad i samarbete med företag och universitet inom Europa och övriga världen.

Dina kvalifikationer
Vi söker någon som har doktorsexamen i datalogi eller motsvarande och visad förmåga att leda stora internationella öppen-källkodprojekt. Kunskaper och mångårig erfarenhet inom kompilatorteknik, felsökningsverktyg för modeller samt skicklighet i avancerad programmering inklusive implementation av kompilatorer är nödvändigt. Vi kräver även mångårig erfarenhet av programvaruutveckling i ekvations-baserade, objektorienterade språk som MetaModelica och Modelica, men även konventionella språk som C++, Python och Julia. Du är väl etablerad inom forskningsområdet med ett eget kontaktnätverk.

Anställningens omfattning
60% visstidsanställning i 24 månader

Tillträde
2020-12-01

Lön
Universitetet tillämpar individuell lönesättning. Ange löneanspråk i ansökan.

Fackliga kontaktpersoner
Information om fackliga kontaktpersoner, se Hjälp för sökande.

Ansökan
Välkommen att skicka in din ansökan med CV och personligt brev senast den 20 november, 2020. Du söker denna anställning genom att klicka på knappen "Ansök" här nedan. Ansökan som inkommer efter sista ansökningsdag kommer inte att beaktas.

Lika villkor
Flertalet av våra förste forskningsingenjörer inom Institutionen för datavetenskap är män, därför ges kvinnor företräde vid tillsättning av denna anställning, vid i huvudsak lika meriter i övrigt.

Linköpings universitet ska fortsätta att utvecklas som en attraktiv och kreativ arbetsplats som präglas av lika villkor och arbetar därför aktivt för jämställdhet och mångfald.

Välkommen med din ansökan!

Linköpings universitet har upphandlade avtal och undanber oss direktkontakt från bemannings- och rekryteringsföretag samt försäljare av platsannonser.