Postdoktor i Software Design and Architecture in the era of AI

Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us  The https://www.chalmers.se/en/departments/cse/, a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally visible research, strong industry links and diverse environment create a collaborative setting where ideas grow into real impact.  At the https://www.chalmers.se/en/departments/cse/our-research/computing-science/, we advance secure and trustworthy software and systems, spanning foundations, programming languages, tools and practical methods that help shape dependable digital infrastructures.  You will be joining a highly collaborative and international environment spanning the Functional Programming and Formal Methods units. We conduct world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background in functional programming to join our dynamic environment. We have two rather flexible subprojects, and we want to recruit the best functional programmers and tailor the exact research focus to your unique strengths. Depending on your background and interests, you will have the opportunity to contribute to our ongoing research initiatives. These range from exploring the foundations of programming languages (such as advanced type systems and functional logic programming) to bridging the gap between ad hoc array processing and formally verified functional programming using interactive theorem provers. Who we are looking for  The following requirements are mandatory:  A doctoral degree (or equivalent foreign degree) in Computer Science, Mathematics, or a related field. This eligibility requirement must be met no later than the time the employment decision is made. Strong written and verbal communication skills in English. A solid background in functional programming. You are expected to be somewhat accustomed to teaching, and to demonstrate good potential within research and education. The following experience will strengthen your application:  We expect you to have documented expertise in one or more of the following areas: Programming language semantics and type systems Functional logic programming Property-based testing Interactive theorem proving (such as Agda, Lean, or Rocq) Domain-specific languages (for example, for hardware design or parallel programming) Array or tensor programming Applications to physical sciences, dimensional analysis, or climate impact modeling It is highly meritorious if the doctoral degree has been obtained within the last three years prior to the application deadline. What you will do As a Postdoc, you will drive independent and collaborative research to push the boundaries of functional programming and formal methods. In addition to theory development, your work will have the potential to scale algebraically-accountable architectures to high-stakes, continuous domains, encompassing foundational research, formal verification, and language design. Working closely with the core research team (Patrik Jansson, Koen Claessen, and Mary Sheeran), you will develop novel techniques, prove their properties, and co-author high-quality scientific publications. Beyond your core research, you will have the rewarding opportunity to mentor MSc or PhD students, sharing your expertise with the next generation of computer scientists. Extent: 100% employment, distributed as 80% research and 20% departmental duties (typically teaching at the BSc or MSc level). The position is meritorious for future roles in academia, industry, or the public sector. Contract terms   The position is a temporary full-time employment for two years with the possibility of a one-year extension.  The position requires physical presence throughout the entire employment. A valid residence permit must be presented by the start date, otherwise the offer may be withdrawn.  What we offer  As a postdoc at Chalmers, you are an employee and enjoy all employee benefits. Read more about  https://www.chalmers.se/en/about-chalmers/work-with-us/ and our https://www.chalmers.se/en/about-chalmers/work-with-us/chalmers-as-an-employer/benefits-and-conditions/  for employees.  A dynamic and inspiring working environment in the coastal city of https://www.goteborg.com/en.  Read more about Sweden’s generous parental leave, subsidized day care, free schools, healthcare etc at https://www.movetogothenburg.com/  Chalmers is dedicated to improving gender balance and actively works with equality projects, such as https://www.chalmers.se/en/about-chalmers/organisation-and-governance/equality/genie-gender-initiative-for-excellence/. We celebrate diversity and consider equality and inclusion as fundamental aspects of all our activities.  If Swedish is not your native language, Chalmers offers Swedish courses to help you settle in.  Application procedure  The application should be written in English be attached as PDF-files, as below. Maximum size for each file is 40 MB. Please note that the system does not support Zip files.  CV  A comprehensive CV, including a complete list of publications.  Details of previous teaching and pedagogical experience.  Personal letter  A brief introduction about yourself.  A summary of your previous research fields and key research outcomes.  An outline of your future goals and research focus. Please clearly outline your specific research interests and indicate which of the listed expertise areas align best with your background. Use the button at the foot of the page to reach the application form.       A background check may be conducted as part of the application process.     Please note: The applicant is responsible for ensuring that the application is complete. Incomplete applications and applications sent by email will not be considered. Contact details to references will be requested after the interview.    We welcome your application no later than Sunday 2026-08-16.

Umeå universitet är ett av Sveriges största lärosäten med över 41 500 studenter och cirka 4 600 anställda. Vid universitetet finns en mångfald av utbildningar av hög kvalitet och världsledande forskning inom flera vetenskapsområden, och här gjordes den banbrytande upptäckten av gensaxen CRISPR-Cas9 som tilldelats Nobelpriset i kemi. Vid Umeå universitet är allt nära. Våra sammanhållna campus gör det lätt att mötas, samarbeta och utbyta kunskap, något som gynnar en dynamisk och öppen kultur. Är du intresserad av att veta mer? Läs mer om Umeå universitet som arbetsplats. Till vår institution, som bedriver forskning på högsta internationella nivå och tillhandahåller ett flertal högkvalitativa utbildningsprogram, söker vi nu en postdoktor som ska arbeta med datasekretess metoder för datadrivna modeller. Anställningen avser heltid under två år med tillträde 8 januari 2027 eller enligt överenskommelse. Institutionen för datavetenskap vid Umeå universitet är en internationell miljö för forskning och utbildning inom ett brett spektrum av det datavetenskapliga området. Institutionen är internationellt välkänd för excellent forskning och undervisning. Läs mer på Institutionen för datavetenskap  Projektbeskrivning och arbetsuppgifter Projektet kommer att utveckla integritetsmedvetna modeller för maskininlärning (ML). Vi är intresserade av datadrivna modeller för komplexa data, inklusive temporala data. Vi är intresserade av både datadrivna modeller och modeller som bygger på syntetiska data. Inom integritet fokuserar vi på olika typer av integritetsmått och modeller (differentiell och integral integritet, k-anonymitet), samt olika scenarier (centraliserade och decentraliserade data; lokal och global integritet). För decentraliserade data beaktar vi federerad inlärning. Vi är intresserade av integritetsbevarande maskininlärning i stor skala. Forskningsgrupp Forskningsgruppen Privacy-aware transparency decisions, ledd av professor Vicenç Torra, forskar om dataintegritet för data som ska användas för maskininlärning och statistisk. Det är välkänt att data kan vara mycket känsliga och att naiv anonymisering inte är tillräckligt för att undvika avslöjande. Modeller och aggregat kan också leda till avslöjande eftersom de kan innehålla spår av de data som används vid beräkningen. Vi vill förstå de grundläggande principer som gör det möjligt för oss att bygga integritetsmedvetna AI-system och utveckla algoritmer för detta ändamål. För mer information se: umu.se/en/research/groups/nausica-privacy-aware-transparent-decisions-group-/ Postdoktorsanställningen finansieras av Wallenberg AI, Autonomous Systems and Software Program, WASP, är Sveriges största enskilda forskningsprogram i modern tid. Programmet skapar en plattform för akademisk forskning och utbildning i nära samarbete med ledande svensk teknikintensiv industri. Forskningen innefattar artificiell intelligens och autonoma system som verkar i samarbete med människor och som anpassar sig till sin omgivning med hjälp av sensorer, information och kunskap och skapar intelligenta system av system. WASPs vision är excellent forskning och kompetens inom artificiell intelligens, autonoma system och mjukvara till gagn för Sveriges industri och samhälle. Läs mer: https://wasp-sweden.org/ Kvalifikationer För att anställas med stöd av avtal om tidsbegränsad anställning som postdoktor krävs avlagd doktorsexamen eller utländsk examen som bedöms motsvara doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. För att anställas med stöd av postdoktoravtalet bör främst den komma ifråga som har avlagt examen enligt föregående stycke för högst tre år sedan. Om det finns särskilda skäl kan den komma i fråga som avlagt doktorsexamen tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, tjänstgöring inom totalförsvaret, eller andra liknande omständigheter samt klinisk tjänstgöring eller för ämnesområdet relevant tjänstgöring/uppdrag.   En kvalificerad sökande ska ha en doktorsexamen eller en utländsk examen som bedöms likvärdig inom datavetenskap eller annat ämne av relevans för projektet. Dokumenterad kunskap och beprövad forskningserfarenhet inom området design av algoritmer och metoder för dataskydd och maskininlärning krävs. Det är mycket meriterande med publikationer på ledande konferenser inom maskininlärning, säkerhet och integritet (NeurIPS, ICML, S&P, PETs, ESORICS eller liknande konferenser). En framgångsrik kandidat förväntas ha ett vetenskapligt och resultatorienterat förhållningssätt till ditt arbete. Mycket goda kunskaper i engelska språket, både i tal och skrift, är nyckelkrav. Ansökan En fullständig ansökan ska innehålla: Personligt brev som beskriver dina forskningsintressen och varför du söker den utlysta anställningen. Sammanfatta dina kvalifikationer, forskningsintressen, motivation för att söka och beskriver kopplingen mellan din tidigare forskning och position (max 2 sidor), Meritförteckning - CV med publikationslista, Styrkt kopia av doktorsexamensbevis eller dokumentation som styrker när doktorsexamen förväntas erhållas, Styrkta kopior av andra examensbevis, akademiska kursintyg och/eller betyg, Kopia av doktorsavhandling och maximalt 5 relevanta artiklar, Övriga handlingar som den sökande vill åberopa. Kontaktuppgifter till två vidtalade referenser. Ansökan ska vara skriven på engelska eller svenska. Ansökan görs genom vårt elektroniska rekryteringssystem. Handlingar som skickas elektroniskt ska vara i formaten Word eller PDF. Logga in på systemet och ansök via knappen i slutet av denna sida. Sista ansökningsdag är 9 augusti. Närmare upplysningar lämnas av Vicenç Torra, vtorra@cs.umu.se Till bemannings- och rekryteringsföretag och till dig som är försäljare: Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av ytterligare jobbannonser.