Two Postdocs in Programming Languages

Organisation/Company

Chalmers University of Technology

Research Field

Computer science » Computer architecture
Computer science » Programming
Computer science » Other
Mathematics » Algebra
Mathematics » Computational mathematics
Mathematics » Mathematical analysis
Mathematics » Mathematical logic

Researcher Profile

Recognised Researcher (R2)

Application Deadline

16 Aug 2026 - 21:59 (UTC)

Country

Sweden

Type of Contract

Temporary

Job Status

Full-time

Is the job funded through the EU Research Framework Programme?

Not funded by a EU programme

Is the Job related to staff position within a Research Infrastructure?

No

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 Department of Computer Science and Engineering , 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 division of 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  working at Chalmers  and our benefits   for employees. 
• A dynamic and inspiring working environment in the coastal city of Gothenburg . 
• Read more about Sweden’s generous parental leave, subsidized day care, free schools, healthcare etc at Move To Gothenburg.  

Chalmers is dedicated to improving gender balance and actively works with equality projects, such as the GENIE Initiative for gender equality and 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.

For questions please contact: 

• Patrik Jansson, Professor, Computing Science, [email protected]
• Koen Claessen, Professor, Computing Science, [email protected]
• Mary Sheeran, Professor Emerita, Computing Science, [email protected]

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. ***  

Chalmers University of Technology in Gothenburg conducts research and education in technology and natural sciences at a high international level. The university has 3100 employees and 10,000 students, and offers education in engineering, science, shipping and architecture. With scientific excellence as a basis, Chalmers promotes knowledge and technical solutions for a sustainable world. Through global commitment and entrepreneurship, we foster an innovative spirit, in close collaboration with wider society. 
Chalmers was founded in 1829 and has the same motto today as it did then: Avancez – forward. 

Website

https://academicpositions.com/ad/chalmers-university-of-technology/2026/two-pos…

Research Field

Computer science

Years of Research Experience

4 - 10

Research Field

Computer science

Years of Research Experience

4 - 10

Research Field

Computer science

Years of Research Experience

4 - 10

Research Field

Mathematics

Years of Research Experience

4 - 10

Research Field

Mathematics

Years of Research Experience

4 - 10

Research Field

Mathematics

Years of Research Experience

4 - 10

Research Field

Mathematics

Years of Research Experience

4 - 10

Website for additional job details

https://academicpositions.com

Number of offers available

2

Company/Institute

Chalmers University of Technology

Country

Sweden

City

Gothenburg

Postal Code

412 58

Street

Maskingränd 2

City

Gothenburg

Website

https://www.chalmers.se/en/

Postal Code

412 58

• X (formerly Twitter)
• Facebook
• LinkedIn
• Whatsapp
• 
  More share options
  • E-mail
  • Pocket
  • Viadeo
  • Gmail
  • Weibo
  • Blogger
  • Qzone
  • YahooMail