{"data":{"id":159737,"slug":"postdoktor-i-typteori-och-programsprak","type":"job","title":"Postdoctoral Researcher in Type Theory and Programming Languages","description":"University of Gothenburg meets society's challenges with diverse knowledge. 58,000 students and 6,800 employees make the university a large and inspiring workplace. Strong research and attractive education programs attract researchers and students from around the world. With new knowledge and new perspectives, University of Gothenburg contributes to a better future.\nThe Department of Computer Science and Engineering has an international character with approximately 300 employees from over 50 different countries. The department is an integrated institution with both University of Gothenburg and Chalmers University of Technology as principal stakeholders. The Department of Computer Science and Engineering is now seeking a postdoctoral researcher. The position is located at the Logic and Types unit, the Computing Science division of the department, with University of Gothenburg as the employer.\nSubject: Type Theory and Programming Languages\nSubject Description\nThe project concerns the compilation of cubical type theory: the construction of a compiler that translates from cubical type theory to (hopefully efficient) executable code. This includes proving that the compiler is correct. The compiler may also support the elimination of code that is not needed for program execution.\nDuties\nThe position is a two-year full-time position within the Logic and Types research group at the Department of Computer Science and Engineering. You are expected to conduct high-quality research and publish your results in leading international journals and conference proceedings. You should be able to work both independently and as part of a team and communicate results orally and in writing.\nThe position may include teaching at the department, including supervision of bachelor's and master's theses. Teaching would then constitute at most 20% of working time. You may also serve as a co-advisor for doctoral students.\nQualifications\nQualifications for employment as a researcher are regulated in Chapter 4 of the Higher Education Ordinance and University of Gothenburg's employment regulations. Those eligible for employment as a postdoctoral researcher are those who have completed a doctoral degree in a relevant subject area, for example within computer science, or who have a foreign degree deemed equivalent to a doctoral degree. The doctoral degree must be completed no later than the start date when the employment decision is made. Priority should be given to those who completed their degree no more than three years before the application deadline. Those who completed their degree earlier should also be considered as priority candidates if there are special reasons. Special reasons include leave due to illness, parental leave, positions of trust within trade union organizations, service in total defense, or other similar circumstances, as well as clinical service or service\/assignments relevant to the subject area.\nEvaluation Criteria\nCompetitive candidates are expected to have a strong research background, experience working with cubical type theory, and preferably also experience with programming language implementation\/compilation. However, we also welcome candidates working in related areas. Experience in supervising doctoral and master's students as well as teaching advanced courses will be considered as merits. The applicant should be able to work both independently and as part of a team. The ability to collaborate and take own initiatives are important qualities, as are thoroughness and interest in research. In evaluating applicants, particular emphasis will be placed on the ability to conduct research within the relevant research area. Both Swedish and English are used in basic teaching, while English is the working language for research at the Department of Computer Science and Engineering. Therefore, both oral and written proficiency in English is mandatory.\nEmployment\nEmployment type: Fixed-term employment, 24 months, central collective agreement\nScope: 100%, full-time\nPlacement: Department of Computer Science and Engineering, Computing Science division, Logic and Types research group\nStart date: 2026-11-05 or by agreement\nContact Information for the Position\nInformation about the project is provided by Nils Anders Danielsson (email: mailto:nad@cse.gu.se).\nInformation about the employment is provided by Richard Torkar (email: mailto:richard.torkar@gu.se).\nQuestions about the recruitment process can be directed to Jenny Lind (email: mailto:jenny.lind@cse.gu.se).\nTrade Union Representatives\nTrade union representatives at University of Gothenburg can be found here: https:\/\/www.gu.se\/jobba-hos-oss\/sa-blir-du-en-av-oss\nApplication\nYou apply for the position through University of Gothenburg's recruitment portal by clicking the \"Apply\" button. As an applicant, you are responsible for ensuring that your application is complete in accordance with the announcement and that it reaches the university no later than the final application deadline. The application should be written in English.\nThe department aims to actively improve our gender balance and we work extensively with equality projects. Equality and diversity are an essential basis for all activities at the university and the department. We therefore welcome a diversity of applicants with different backgrounds and experiences.\nYour application should contain the following parts:\nCV: (Please name the document as: CV, surname, reference number) including:\nCV, include complete publication list;\nPrevious teaching and pedagogical experience;\nTwo references that we can contact.\n\nCover Letter: (Please name the document as: Cover letter, surname, reference number), 1-3 pages where you:\nIntroduce yourself;\nDescribe your previous research areas and most important research results;\nDescribe your future goals and future research focus.\n\nOther Documents:\nCertified copies of completed education, grades, and other certificates.\n\nApplication deadline: 2026-09-29\nThe university actively works for a workplace with equal conditions and values the qualities that diversity brings to its operations. The university applies individual salary setting. According to the regulations of the National Archives, the university is obliged to preserve application documents for two years after the employment decision is made. If you as an applicant specifically request the return of your documents, they will be returned after the two years have elapsed; otherwise, they will be discarded. To staffing and recruitment companies and to you as a job ad seller: University of Gothenburg uses contracted advertising agencies in connection with recruitment of personnel. We kindly but firmly decline direct contact from staffing and recruitment companies as well as sellers of job advertisements.","language":"sv","is_translated":true,"title_original":"Postdoktor i Typteori och programspr\u00e5k","description_original":"G\u00f6teborgs universitet m\u00f6ter samh\u00e4llets utmaningar med m\u00e5ngsidig kunskap. 58 000 studenter och 6800 medarbetare g\u00f6r universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter fr\u00e5n hela v\u00e4rlden. Med ny kunskap och nya perspektiv bidrar G\u00f6teborgs universitet till en b\u00e4ttre framtid.\nInstitutionen f\u00f6r data- och informationsteknik har en internationell pr\u00e4gel med cirka 300 anst\u00e4llda fr\u00e5n \u00f6ver 50 olika l\u00e4nder. Institutionen \u00e4r en integrerad institution med b\u00e5de G\u00f6teborgs universitet och Chalmers tekniska h\u00f6gskola som huvudm\u00e4n. Institutionen f\u00f6r data- och informationsteknik s\u00f6ker nu en postdoktor. Anst\u00e4llningen \u00e4r placerad vid enheten Logik och typer, avdelningen f\u00f6r Computing science vid institutionen, med G\u00f6teborgs universitet som arbetsgivare.\n\u00c4mne: Typteori och programspr\u00e5k\n\u00c4mnesbeskrivning\nProjektet handlar om kompilering av kubisk typteori: konstruktion av en kompilator som \u00f6vers\u00e4tter fr\u00e5n kubisk typteori till (f\u00f6rhoppningsvis effektiv) k\u00f6rbar kod. H\u00e4r ing\u00e5r att bevisa att kompilatorn \u00e4r korrekt. Kompilatorn f\u00e5r g\u00e4rna ocks\u00e5 ha st\u00f6d f\u00f6r radering av kod som inte beh\u00f6vs f\u00f6r exekvering av program.\nArbetsuppgifter\nPositionen \u00e4r en tv\u00e5\u00e5rig heltidstj\u00e4nst inom forskargruppen i Logik och typer vid institutionen f\u00f6r data- och informationsteknik. Du f\u00f6rv\u00e4ntas bedriva forskning av h\u00f6g kvalitet och publicera dina resultat i ledande internationella tidskrifter och konferensproceedings. Du ska kunna arbeta b\u00e5de sj\u00e4lvst\u00e4ndigt och som en del av ett team och kommunicera resultaten muntligt och skriftligt.\nTj\u00e4nsten kan omfatta undervisning vid institutionen, inklusive handledning av kandidat- och masterarbeten. Undervisningen utg\u00f6r i s\u00e5 fall h\u00f6gst 20 % av arbetstiden. Du kan \u00e4ven komma att medverka som bihandledare f\u00f6r doktorander.\nBeh\u00f6righet\nBeh\u00f6righet f\u00f6r anst\u00e4llning som l\u00e4rare regleras i H\u00f6gskolef\u00f6rordningen 4 Kap och G\u00f6teborgs universitets anst\u00e4llningsordning. Beh\u00f6rig att anst\u00e4llas som postdoktor \u00e4r den som har avlagt doktorsexamen i relevant \u00e4mnesomr\u00e5de, till exempel inom datavetenskap eller som har en utl\u00e4ndsk examen som bed\u00f6ms motsvara doktorsexamen. Doktorsexamen ska vara avlagd senast vid startpunkten d\u00e5 anst\u00e4llningsbeslutet fattas. I f\u00f6rsta hand b\u00f6r den komma i fr\u00e5ga som har avlagt examen h\u00f6gst tre \u00e5r f\u00f6re ans\u00f6kningstidens utg\u00e5ng. \u00c4ven den som avlagt examen tidigare b\u00f6r komma i fr\u00e5ga i f\u00f6rsta hand, om det finns s\u00e4rskilda sk\u00e4l. Med s\u00e4rskilda sk\u00e4l avses ledighet p\u00e5 grund av sjukdom, f\u00f6r\u00e4ldraledighet, f\u00f6rtroendeuppdrag inom fackliga organisationer, tj\u00e4nstg\u00f6ring inom totalf\u00f6rsvaret, eller andra liknande omst\u00e4ndigheter samt klinisk tj\u00e4nstg\u00f6ring eller f\u00f6r \u00e4mnesomr\u00e5det relevant tj\u00e4nstg\u00f6ring\/uppdrag.\nBed\u00f6mningsgrund\nKonkurrenskraftiga kandidater f\u00f6rv\u00e4ntas ha en stark forskningsbakgrund, erfarenhet av att arbeta med kubisk typteori, och helst ocks\u00e5 erfarenhet av programspr\u00e5ksimplementation\/kompilering. Vi v\u00e4lkomnar dock ocks\u00e5 kandidater som arbetar inom n\u00e4rliggande omr\u00e5den. Erfarenhet av handledning av doktorander, mastersstudenter och \u00e4ven undervisning i avancerade kurser kommer att betraktas som meriter. Den s\u00f6kande ska kunna arbeta b\u00e5de sj\u00e4lvst\u00e4ndigt och som en del av ett team. F\u00f6rm\u00e5gan att samarbeta och ta egna initiativ \u00e4r viktiga egenskaper och s\u00e5 \u00e4r \u00e4ven noggrannhet och intresse f\u00f6r forskning. Vid utv\u00e4rderingen av de s\u00f6kande kommer s\u00e4rskild tonvikt att l\u00e4ggas p\u00e5 f\u00f6rm\u00e5gan att bedriva forskning inom det relevanta forskningsomr\u00e5det. B\u00e5de svenska och engelska anv\u00e4nds inom grundl\u00e4ggande undervisning medan engelska \u00e4r arbetsspr\u00e5ket f\u00f6r forskningen vid institutionen f\u00f6r data- och informationsteknik. S\u00e5ledes \u00e4r b\u00e5de muntliga och skriftliga kunskaper i engelska obligatoriska.\nAnst\u00e4llning\nAnst\u00e4llningsform: Tidsbegr\u00e4nsadanst\u00e4llning, 24 m\u00e5nader, centralt kollektivavtal\nOmfattning: 100%, fulltid\nPlacering: Data- och informationsteknik, avdelningen f\u00f6r Computing science, forskargruppen i logik och typer\nTilltr\u00e4de: 2026-11-05 eller enligt \u00f6verenskommelse\nKontaktuppgifter f\u00f6r anst\u00e4llningen\nUpplysningar om projektet l\u00e4mnas av Nils Anders Danielsson (e-mail: mailto:nad@cse.gu.se).\nUpplysningar om anst\u00e4llningen l\u00e4mnas av Richard Torkar (e-mail: mailto:richard.torkar@gu.se).\nFr\u00e5gor om anst\u00e4llningsf\u00f6rfarandet kan st\u00e4llas till Jenny Lind (e-mail: mailto:jenny.lind@cse.gu.se).\nFackliga organisationer\nFackliga f\u00f6retr\u00e4dare vid G\u00f6teborgs universitet hittar du h\u00e4r: https:\/\/www.gu.se\/jobba-hos-oss\/sa-blir-du-en-av-oss\nAns\u00f6kan\nDu s\u00f6ker anst\u00e4llningen via G\u00f6teborgs universitets rekryteringsportal genom att klicka p\u00e5 knappen \"Ans\u00f6k\". Du som s\u00f6kande ansvarar f\u00f6r att ans\u00f6kan \u00e4r komplett i enlighet med annonsen och att den \u00e4r universitetet tillhanda senast sista ans\u00f6kningsdag. Ans\u00f6kan ska skrivas p\u00e5 engelska.\nInstitutionen har som m\u00e5l att aktivt f\u00f6rb\u00e4ttra v\u00e5r k\u00f6nsf\u00f6rdelning och vi arbetar brett med j\u00e4mst\u00e4lldhetsprojekt. J\u00e4mst\u00e4lldhet och m\u00e5ngfald \u00e4r en v\u00e4sentlig grund i all verksamhet vid universitetet och institutionen. Vi v\u00e4lkomnar d\u00e4rf\u00f6r en m\u00e5ngfald av s\u00f6kande med olika bakgrund och erfarenheter.\nDin ans\u00f6kan ska inneh\u00e5lla f\u00f6ljande delar:\nCV: (V\u00e4nligen namnge dokumentet som: CV, efternamn, referensnummer) inklusive:\nCV, inkludera fullst\u00e4ndig publikationslista;\nTidigare undervisning och pedagogiska erfarenheter;\nTv\u00e5 referenser som vi kan kontakta.\n\nPersonligt brev: (V\u00e4nligen namnge dokumentet som: Personligt brev, efternamn, referensnummer), 1-3 sidor d\u00e4r du:\nIntroducera dig sj\u00e4lv;\nBeskriv dina tidigare forskningsomr\u00e5den och viktigaste forskningsresultat;\nBeskriv dina framtida m\u00e5l och framtida forskningsfokus.\n\nAndra dokument:\nAttesterade kopior av avslutad utbildning, betyg och andra certifikat.\n\nAns\u00f6kan ska vara inkommen senast: 2026-09-29\nUniversitetet arbetar aktivt f\u00f6r en arbetsmilj\u00f6 med j\u00e4mst\u00e4llda f\u00f6rh\u00e5llanden och s\u00e4tter v\u00e4rde p\u00e5 de kvalit\u00e9er m\u00e5ngfald tillf\u00f6r verksamheten. Universitetet till\u00e4mpar individuell l\u00f6nes\u00e4ttning. Enligt Riksarkivets f\u00f6reskrifter \u00e4r universitetet skyldigt att f\u00f6rvara ans\u00f6kningshandlingar i tv\u00e5 \u00e5r efter tills\u00e4ttningsbeslutet. Om du som s\u00f6kande till en anst\u00e4llning s\u00e4rskilt beg\u00e4r tillbaka dina handlingar \u00e5ters\u00e4nds de n\u00e4r de tv\u00e5 \u00e5ren har f\u00f6rflutit, i annat fall kommer de att gallras ut. Till bemannings- och rekryteringsf\u00f6retag och till dig som \u00e4r f\u00f6rs\u00e4ljare: G\u00f6teborgs universitet anlitar upphandlad annonsbyr\u00e5 i samband med rekrytering av personal. Vi undanber oss v\u00e4nligen men best\u00e4mt direktkontakt med bemannings- och rekryteringsf\u00f6retag samt f\u00f6rs\u00e4ljare av jobbannonser.","price":null,"currency":"SEK","status":"active","noindex":false,"location":{"address":null,"full_address":null,"city":"G\u00f6teborg","country":"SE","latitude":57.7119231,"longitude":11.9822532},"metadata":{"region":"V\u00e4stra G\u00f6talands l\u00e4n","duration":"6 m\u00e5nader eller l\u00e4ngre","employer":"G\u00d6TEBORGS UNIVERSITET","postcode":"41296","positions":1,"profession":"Postdoktor\/Postdoc","salary_type":"Fast m\u00e5nads- vecko- eller timl\u00f6n","employer_url":"https:\/\/www.gu.se\/","scope_of_work":"100\u2013100 %","working_hours":"Heltid","employment_type":"Vanlig anst\u00e4llning","occupation_field":"Pedagogik","employer_workplace":"G\u00f6teborgs Universitet (GU)","translation_status":"done","experience_required":true},"user_id":null,"is_sponsored":false,"views_count":0,"ai_views_count":1,"ai_vendor_counts":{"anthropic":1},"visibility":"public","submission_source":null,"submission_ai_name":null,"has_owner_email":true,"can_contact_owner":true,"phone":null,"owner_email":"nad@cse.gu.se","images":[],"published_at":"2026-08-18T09:09:36+00:00","expires_at":"2026-09-29T23:59:59+00:00","created_at":"2026-08-19T03:11:58+00:00","updated_at":"2026-08-19T04:00:36+00:00"}}