
CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG · Göteborg
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...
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
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.
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.
Are you excited about pioneering experimental quantum computing? Do you want to be part of a world-class research environment developing the next generation of superconducting quantum processors? We are seeking a Postdoctoral researcher to join our ambitious team at the Wallenberg Centre for Quantum Technology (WACQT), based at the Department of Microtechnology and Nanoscience (MC2). About us The https://www.chalmers.se/en/departments/mc2/ (MC2) advances the frontiers in quantum technology, nanoscience, photonics, and future electronic systems. Our cross-disciplinary approach drives innovations through collaborations across academia, industry, and society. We offer a vibrant, international environment with direct access to world-class nanofabrication facilities. At the https://www.chalmers.se/en/departments/mc2/research/quantum-technology/ (QTL), we explore how quantum physics can unlock radically new ways of processing information. Our research spans quantum computing, sensing, transduction, and thermodynamics, aimed at harnessing the behavior of light and matter at the quantum level. About the research project This project is a proof-of-concept effort aimed at demonstrating a reliable post-fabrication trimming process for Josephson junctions in superconducting qubits. Unlike open-ended exploratory research, this project is goal-oriented and experimentally driven. It requires both careful physical interpretation and structured technical validation. You will take primary responsibility for planning and executing the experimental program in collaboration with senior researchers. While the role does not include formal personnel management, scientific initiative and independence are highly expected. Key responsibilities include: Designing and executing cryogenic experiments. Characterizing Josephson junctions and superconducting circuits. Analyzing device behavior and degradation mechanisms. Correlating electrical performance with material properties (aging, interfaces, coherence). Contributing to reproducible superconducting qubit fabrication workflows within WACQT. The project is closely connected to ongoing superconducting quantum processor development efforts within WACQT. Who we are looking for The following requirements are mandatory: A PhD in Physics, Applied Physics, Materials Science, Electrical Engineering, or a closely related field. Strong experimental research experience in superconducting devices, quantum devices, low-temperature physics, nanoscience, or related areas. Experience with at least one of the following:programming experience in Python MATLAB or similar tools for data analysis and experiment automation. You are expected to be somewhat accustomed to teaching, and to demonstrate good potential within research and education. The following experiences are considered beneficial, but are not required: Dilution refrigerator operation. Transmon qubit measurements. Microwave control and readout. Quantum coherence measurements. Thin-film characterization. Tunnel junction fabrication. Cleanroom micro/nanofabrication. Device simulation or modeling. We recognize that strong candidates may not match every listed qualification. If your experience aligns with part of the profile and you are interested in the project, we encourage you to apply. What you will do Experimental research Design and execute experiments on superconducting quantum devices. Develop and validate electrical trimming methods for Josephson junctions. Perform low-temperature measurements using dilution refrigerators. Device characterization and analysis Characterize superconducting circuits using DC, AC, and RF measurement techniques. Analyze complex experimental datasets and develop physical interpretations of device behavior. Investigate relationships between fabrication processes, material properties, and device performance. Collaboration and scientific communication Work closely with researchers in superconducting qubit development, nanofabrication, and materials characterization. Present results internally and externally through publications, reports, and conference presentations. 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. 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 August 2, 2026
We are looking for a highly motivated Postdoc to join our team at the Department of Chemistry and Chemical Engineering of Chalmers University of Technology in Gothenburg, Sweden. Become part of our group and contribute to exciting research in the field of organic electronics within a collaborative and dynamic environment. About us https://www.chalmers.se/en/departments/chem/ offers an international environment, with scientific areas ranging from fundamental chemistry and materials science to chemical engineering. The https://www.chalmers.se/en/persons/cmuller/ focuses on the physical chemistry and materials science of organic semiconductors, polymer blends and composites, and develops new plastic materials for use in the fields of wearable electronics and energy technology. All research is conducted in co-operation with other universities/institutes and/or industry. Presently, our group consists of 1 Professor, 1 permanent researcher, 5 Postdocs and 9 PhD students. About the research project Your research will focus on the reproducible and benign synthesis of high-performance organic mixed ionic-electronic conductors (OMIECs) with optimal mechanical and electrical properties. In addition, you will contribute to the development of continuous flow chemistry processes. An example of our recent work can be found in a recent article in https://www.science.org/doi/10.1126/sciadv.adv8168. You will work closely with fellow PhD students and postdocs at Chalmers, and collaborate with partners across Sweden and internationally. This role also offers exciting opportunities to travel and engage with external collaborators. Who we are looking for The following requirements are mandatory: A doctoral degree or an equivalent foreign degree in Chemistry, Chemical Engineering or Materials Science. This eligibility requirement must be met no later than the time the employment decision is made. A very good capability of communicating scientific results in English, both orally and in writing. Due to the interdisciplinary nature of the work, the candidate is expected to have excellent collaboration skills. A promising track record of early achievements such as scientific publications. Experience with experimental techniques that are commonly used to characterize polymers, in particular NMR, chromatography and vibrational spectroscopy. Significant experience with organic synthesis and the synthesis of conjugated polymers via coupling reactions. The following experience will strengthen your application: It is highly meritorious if the doctoral degree has been obtained within the last three years prior to the application deadline. Experience with flow chemistry. What you will do The majority of your working time is devoted to your own research, in collaboration with other Postdocs and students in our group as well as collaborating groups. In addition, you are expected to support and mentor some of the Master and/or PhD students in our group that work on related topics. As a Postdoc you are expected to develop your own ideas and communicate scientific results orally as well as in writing. There is the possibility to teach on the undergraduate/master’s level. The position is meritorious for future roles in academia, industry, or the public sector. Contract terms Full-time temporary employment for a maximum of two (2) years, with the possibility to extend by one (1) more year provided project funding is available and the project goes according to plan. The monthly salary of a Postdoc researcher at Chalmers is about 40'000 SEK before tax (€ 3'700). 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. 1) CV A comprehensive CV, including a complete list of publications. Details of previous teaching and pedagogical experience. 2) Personal letter A brief introduction about yourself. A brief motivation as to why you are interested in this position. A summary of your previous research fields and key research outcomes. An outline of your future goals and research focus. 3) A copy of your PhD thesis 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 20 Aug 2026. Applications will be evaluated continuously. Thus, please submit your application prior to the deadline. For questions please contact: Christian Müller Professor, Department of Chemistry and Chemical Engineering mailto:christian.muller@chalmers.se We look forward to your application!
We are looking for four motivated postdocs to help design the next generation of human-in-the-loop autonomous systems at the Division of https://www.chalmers.se/en/departments/cse/our-research/interaction-design-and-software-engineering/ You will contribute to a future in which we can rely on better robots, autonomous networks, and other smart systems – impacting domains such as healthcare, transportation, and other areas of our society. These systems are often software-intensive and we develop mechanisms to create better software for safer, more secure, and more usable systems. You will be supervised by Associate Prof. Rebekka Wohlrab, whose research focuses on human-centered software engineering and self-adaptive systems, and who has received funding from SSF, VR, and WASP. She is currently building up a team of more than 10 people. It will allow you to be part of a fun environment where you can collaborate with Doctoral students and postdocs working on similar topics! 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/interaction-design-and-software-engineering/, we design smarter ways to engineer better software, and explore how people engage with digital systems, combining global research perspectives with strong collaboration with industry. About the research project Several projects are currently recruiting: - SSF project (funded by the Swedish Foundation for Strategic Research) on enabling collaboration between teams of humans and autonomous systems. The goal is to design principles for effective coordination in future work environments where humans and machines interact more closely. The project may involve performing empirical studies with humans, developing run-time models that software-intensive systems can use to reason about coordination, designing methods to detect and respond to cybersecurity threats, and running experiments for evaluation. Two postdoc positions will be funded by this project. - VR project (funded by the Swedish Research Council Vetenskapsrådet) on making self-adaptive systems aware of end users’ expectations. The goal is to design a language to describe expectations using formal modelling methods, develop methods to understand the needs of human users and to explain a system’s actions, and evaluate the contributions using simulations and physical robots. - WASP project on Human-in-the-Loop Autonomous Systems (funded by WASP). The topic will be related to the other projects and require knowledge in software architecture, self-adaptive systems, and requirements engineering. Two postdoc positions will be funded by this project. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty recruitment. The program addresses research on artificial intelligence and autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. The vision of WASP is excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish society and industry. Read more: https://wasp-sweden.org/ Who we are looking for The following requirements are mandatory: A doctoral degree in Computer Science or an equivalent foreign degree. 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 well-documented track record of research interests and achievements in software engineering, robotics, formal methods, human-computer interaction, or a related field You are highly motivated, energetic, independent, and have well-developed analytical problem-solving ability Your communication skills in English (written and oral) are of a high quality You are expected to be accustomed to teaching, and to demonstrate good potential within research and education. The following experience will strengthen your application: 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 Perform research studies and publish in top conferences and journals Supervise master’s and/or PhD students to a certain extent Possibility to engage in teaching at undergraduate/master’s 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 Read more about what we offer at www.chalmers.se Application procedure Please read more about the application procedure and apply at www.chalmers.se 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 August 31 For questions, please contact: Rebekka Wohlrab Associate Professor wohlrab@chalmers.se We look forward to your application! *** Chalmers declines to consider all offers of further announcement publishing or other types of support for the recruiting process in connection with this position. ***