Doctoral students in software engineering for continuous compliance of software-intensive systems

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.

The University of Gothenburg tackles society’s challenges with diverse knowledge. 58 000 students and 6800 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and students from around the world. With new knowledge and new perspectives, the University contributes to a better future. The Institute of Health and Care Sciences at the University of Gothenburg offers education and conducts research focusing on care, health, and human living conditions. We educate nurses, radiographers, specialist nurses, and midwives with the goal of meeting society’s need for competent and committed healthcare professionals. Our research spans many areas but shares a foundation in person-centred and evidence-based care. We are nationally and internationally recognised as a leader in person-centred care, a perspective that permeates our education, research, and collaboration with healthcare services. The institute is part of the Sahlgrenska Academy at the University of Gothenburg and is based at Campus Medicinareberget, in direct proximity to Sahlgrenska University Hospital – an environment characterised by interprofessional collaboration, clinical relevance, and academic excellence. As a government agency, the University of Gothenburg offers attractive employment benefits, generous annual leave, and an occupational pension scheme. Flexible working hours provide good opportunities for work-life balance. Read more about working at the University of Gothenburg on our website: Employment benefits | University of Gothenburg  The Institute of Health and Care Sciences is recruiting a Postdoctoral Researcher in Health Economics.​ The successful candidate will lead the health economics component of the research project CHAT-MH​, which evaluates a person-centred chatbot intervention, and contribute to the interdisciplinary research centre DEMSAM​. DEMSAM conducts research focusing on person-centred approaches, dementia-friendly environments, and collaboration across healthcare, social care, and society. Please read more about CHAT-MH and DEMSAM. Duties and responsibilities​ As a Postdoctoral Researcher, you will be responsible for planning, conducting and reporting the health economic analyses within the projects, as well as coordinating health economic outcome measures. You will work closely with researchers in caring science, psychiatry, health economics and person-centred care. Your main responsibilities include: • planning and conducting health economic evaluations within randomised controlled trials (RCTs), complex interventions and longitudinal mixed-methods studies; • developing health economic evaluation models for person-centred interventions in psychiatric care and in health and social care for people living with cognitive impairment related to dementia; • analysing healthcare resource utilisation, costs, cost-effectiveness and patient-related outcomes; • contributing to the design and implementation of data collection relating to health economic outcomes; • collaborating in an interdisciplinary research team comprising researchers in caring science, psychiatry, health economics and person-centred care; • contributing to scientific publications and dissemination of research findings nationally and internationally; and • contributing to research grant applications and the development of future research projects. You are expected to contribute actively to the scientific development of the projects and to interdisciplinary collaboration within the research environment. Eligibility​ To be eligible for appointment as a Postdoctoral Researcher, applicants must hold a doctoral degree, an artistic doctoral degree, or an equivalent foreign degree that is considered comparable to a Swedish doctoral degree. The degree requirement must be fulfilled no later than the date on which the employment decision is made. Priority will normally be given to applicants who obtained their doctoral degree no more than three years before the closing date for applications. Applicants who completed their doctoral degree earlier may also be considered where special circumstances apply. Such circumstances include leave due to illness, parental leave, elected positions within trade union organisations, military service, clinical service, or other employment or assignments relevant to the subject area. Qualifications ​ Applicants must hold a doctoral degree in health economics, caring science, social work, public health, medicine or another relevant discipline with a clear specialisation in health economics. Documented experience is required in: • participating in and conducting research projects; • health economic analyses and evaluations within healthcare; • quantitative analysis and management of complex research data; and • publishing scientific articles in international peer-reviewed journals. Applicants must also have solid knowledge of health economic methods, cost-effectiveness analysis, research methodology and statistical analysis. Excellent written and spoken English is required. Proficiency in spoken and written Swedish is considered an advantage. The position requires good knowledge of Microsoft 365 and extensive experience of statistical software such as R, Stata, SPSS or SAS​. Experience of health economic modelling, health economic software and analysis of digital health data is considered an asset. Preferred qualifications​ The following experience is considered advantageous: • randomised controlled trials (RCTs); • evaluation of complex interventions; • economic evaluation of person-centred care; • collection and analysis of patient-reported outcome and experience measures (PROMs and PREMs); • register-based research relevant to public health; • interdisciplinary research environments; and • register data and mixed-methods research. Knowledge of the following areas is also considered advantageous: • person-centred care and its implementation; • implementation science and evaluation of digital health interventions; and • psychiatric care, mental health and cognitive impairment related to dementia in regional and municipal health and social care. Particular merit will be given to documented experience of health economic evaluation of person-centred care, as well as research in psychiatric care and digital health interventions. Personal qualities​ As a Postdoctoral Researcher, you are expected to be able to plan, conduct and report research independently. You have excellent collaborative skills and enjoy working in interdisciplinary research environments. You are proactive, responsible and capable of working independently. You have strong analytical skills, work in a structured manner and are able to drive projects forward while meeting deadlines. We also value a genuine interest in the development and evaluation of person-centred and innovative healthcare solutions. Great emphasis will be placed on personal suitability. During the selection process, an overall assessment will be made of each applicant's qualifications, experience and potential, with the aim of identifying the candidate best suited to successfully carry out the duties of the position and contribute to the continued development of the research environment. Employment ​ This is a fixed-term full-time position for two years​, with the possibility of a one-year extension​. The position is based at the Institute of Health and Care Sciences, Sahlgrenska Academy at the University of Gothenburg​. Starting date:​ As agreed. Contact information for the post ​ If you have any questions about the position, please contact: Professor Helle Wijk, helle.wijk@fhs.gu.se, +46 733-70 34 62. Director DEMSAM. Professor Axel Wolf, axel.wolf@gu.se, +46 709-355 364. Director GPCC. Associate professor Lilas Ali, lilas.ali@gu.se. CHAT-MH.   Unions ​ Union representatives at the University of Gothenburg can be found here: https://www.gu.se/en/work-at-the-university-of-gothenburg/how-to-apply-for-a-position#collective-agreement-and-union-representatives   Application ​ To apply for a position at the University of Gothenburg, you have to create an account in our recruitment system. Submit your application via the University of Gothenburg’s recruitment portal by clicking the “Apply” button. It is your responsibility to ensure that the application is complete as per the vacancy notice, and that the University receives it by the final application deadline.  Applications must be received by:​ August 28, 2026. Your application must include: • A personal letter summarising your scientific background, research interests, and a reflection on how your profile fits the position • A CV including a list of publications • Copies of relevant degree certificates, proof of professional registration, and other relevant documentation The University works actively to achieve a working environment with equal conditions, and values the qualities that diversity brings to its operations. Salaries are set individually at the University. In accordance with the National Archives of Sweden’s regulations, the University must archive application documents for two years after the appointment is filled. If you request that your documents are returned, they will be returned to you once the two years have passed. Otherwise, they will be destroyed. In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.