Biträdande forskare
Göteborgs universitet / Datajobb / Göteborg
2025-06-03
Visa alla datajobb i Göteborg,
Mölndal,
Partille,
Kungälv,
Lerum eller i
hela Sverige Visa alla jobb hos Göteborgs universitet i Göteborg,
Partille,
Lysekil,
Uddevalla,
Vänersborg eller i
hela Sverige Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 56 000 studenter och 6 600 medarbetare gör universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter från hela världen. Med ny kunskap och nya perspektiv bidrar Göteborgs universitet till en bättre framtid.Institutionen för datavetenskap och teknik är starkt internationell, med cirka 300 anställda från över 30 länder. Institutionen är en integrerad institution med Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Institutionen för data- och informationsteknik söker nu två biträdande forskare. Tjänsterna är placerade i forskargruppen Formella metoder vid avdelningen Computing Science vid institutionen.
Enheten och avdelningen är livliga miljöer med roliga interaktioner mellan forskningsområden som formell verifiering, funktionell programmering, typteori, informationssäkerhet med mera.
Var med och utveckla nya verktyg för korrekta designtekniker för autonoma system i SynTM forskningsprojekt
Denna tjänst är en del av ett anslag, kallat SynTM (från Vetenskapsrådet), om automatisk syntes av program för autonoma system. Tidiga resultat har presenterats vid forskningsinstitut som AAMAS, ACC, JAAMAS etc. Vårt mål är att bygga korrekta designbaserade tekniker för autonoma system.
Du kommer att arbeta med Dr. Yehia Abd Alrahman (PI) och hans postdoktor Dr. Adina Aniculaesei. Du kommer att ha möjlighet att testa dina verktyg på verkliga robotar.
Vår forskning involverar utveckling av tekniker för formell verifiering av autonoma system, t.ex. regulatorsyntes, planering, körtidsverifiering, modellkontroll etc. Dessutom är vi öppna för tekniker som utnyttjar användningen av formell verifiering inom maskininlärning.
För närvarande utvecklar vi aktivt specialiserade verktyg för omkonfigurerbara parallella system (ReCiPe- formalismen, R-CHECK Model-Checker och SynTM -syntesmotorn ). Du förväntas utveckla verktyg i det robotstyrda operativsystemet ROS2, för att utveckla fallstudier som visar verktygens praktiska inverkan. Det kan dock finnas möjligheter att bredda verksamhetens räckvidd baserat på gemensamma intressen.
Arbetsuppgifter
Den sökande förväntas utveckla verktyg i operativsystemet ROS2. Den sökande bör kunna arbeta både självständigt och som en del av ett team med programmeringsrelaterade uppgifter i linje med projektets mål, och kommunicera resultaten muntligt och skriftligt.
Kvalifikationer
För att vara behörig att anställas som biträdande forskare krävs att den sökande har en kandidatexamen inom ett relevant område, till exempel datavetenskap eller reglerteknik, eller en utländsk examen som bedöms motsvara en kandidatexamen. Detta behörighetskrav måste vara uppfyllt innan anställningsbeslut fattas.
Konkurrenskraftiga kandidater förväntas ha gedigen erfarenhet av att arbeta med:
• ROS2-utveckling, Python-programmering.
• Kunskap om verifiering och modellgranskning är meriterande men inte ett krav.
Vi välkomnar dock även kandidater som arbetar i närliggande områden och som skulle vara intresserade av att arbeta inom området.
Sökande bör kunna arbeta både självständigt och i team. Förmåga att samarbeta och ta egna initiativ är viktiga egenskaper.
Vid utvärderingen av de sökande kommer särskild vikt att läggas vid programmeringskunskaper inom relevant område.
Engelska är arbetsspråket för oss på institutionen, därför är både muntlig och skriftlig flytande engelska obligatoriskt.
Anställning
Anställningsform: Visstidsanställning på 3 månader, centralt kollektivavtal
Omfattning: 100% av heltid
Placering: Institutionen för data- och informationsteknik, avdelning Computing Science, forskargruppen i Formella metoder
Startdatum: 2025-08-01 eller enligt överenskommelse
Kontaktuppgifter för anställningen
Har du frågor om projektet är du välkommen att kontakta Yehia Abd Alrahman
yehiaa@chalmers.seHar du frågor om anställningen är du välkommen att kontakta Carl-Johan Seger
secarl@chalmers.seHar du frågor om anställningsförfarandet är du välkommen att kontakta Sanna Staf
sanna.staf@cse.gu.seFackliga organisationer
Fackliga företrädare vid Göteborgs universitet hittar du här:
https://www.gu.se/om-universitetet/jobba-hos-oss/hjalp-for-sokande Ansökan
Du söker anställningen via Göteborgs universitets rekryteringsportal genom att klicka på knappen "Ansök". Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag.
Ansökan ska vara skriven på engelska och ska innehålla:
CV inklusive:
• CV, inkludera en fullständig lista över dina programmeringsuppgifter.
• Information om din examen och betygsutdrag.
Personligt brev 1-3 sidor där du:
• Presenterar dig själv;
• Beskriver dina tidigare projekt och dina bidrag.
• Beskriver dina mål och framtida fokus.
Andra dokument:
• Bestyrkta kopior av avslutad utbildning, betyg och andra intyg.
Ansökan ska vara inkommen senast: 2025-07-06
Universitetet arbetar aktivt för en arbetsmiljö med jämställda förhållanden och sätter värde på de kvalitéer mångfald tillför verksamheten.
Universitetet tillämpar individuell lönesättning.
Enligt Riksarkivets föreskrifter är universitetet skyldigt att förvara ansökningshandlingar i två år efter tillsättningsbeslutet. Om du som sökande till en anställning särskilt begär tillbaka dina handlingar återsänds de när de två åren har förflutit, i annat fall kommer de att gallras ut.
Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.
Ersättning Enligt lokalt kollektivavtal
Så ansöker du Sista dag att ansöka är 2025-07-06
Klicka på denna länk för att göra din ansökan Omfattning Detta är ett heltidsjobb.
Arbetsgivare Göteborgs Universitet (org.nr 202100-3153),
http://www.gu.se/ Arbetsplats Göteborgs universitet
Jobbnummer 9371161