Two Postdocs in Programming Languages

Chalmers Tekniska Högskola Aktiebolag; Göteborgs kommun; On-site; SEK 300,000 - 480,000; Full time

Benefits offered by this job

Full employee benefits

Support for Swedish language courses

Dynamic work environment in Gothenburg

Job summary

Chalmers Tekniska Högskola Aktiebolag in Gothenburg is looking for two Postdocs in functional programming. You will engage in research initiatives and mentor students while enjoying a dynamic work environment.

This temporary full-time role lasts two years, with possible extension, requiring a doctoral degree and experience in education. Full benefits are included, with additional support for Swedish language courses.

Qualifications

• A doctoral degree (or equivalent foreign degree) in Computer Science, Mathematics, or a related field.
• Strong written and verbal communication skills in English.
• A solid background in functional programming.
• Some experience with teaching and demonstrated potential within research and education.

Responsibilities

• Drive independent and collaborative research in functional programming.
• Develop novel techniques and prove their properties.
• Co-author high-quality scientific publications.
• Mentor MSc or PhD students.

Skills

Functional programming

Teaching experience

Research potential

Communication skills (English)

Education

Doctoral degree in Computer Science or related field

Job description

About the Position

We are looking for two Postdocs with a strong background in functional programming to join our dynamic environment. Two rather flexible subprojects will be tailored to the unique strengths of the applicant. Depending on background and interests you will contribute to ongoing research initiatives ranging from 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.

Responsibilities

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

Qualifications

Mandatory:

• A doctoral degree (or equivalent foreign degree) in Computer Science, Mathematics, or a related field, obtained no later than the time the employment decision is made.
• Strong written and verbal communication skills in English.
• A solid background in functional programming.
• Some experience with teaching and demonstrated potential within research and education.

Preferred:

• 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
• Meritorious if the doctoral degree has been obtained within the last three years prior to the application deadline.

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.

Benefits

• Full employee benefits as described in the Chalmers employment conditions.
• A dynamic and inspiring working environment in the coastal city of Gothenburg.
• Support for gender balance, equality and inclusion.
• Support for Swedish language courses if Swedish is not the applicant’s native language.