Two Postdocs in Programming Languages

About the role

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.

Responsibilities

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

Benefits

Additional Information

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.

Your Match

How well this role fits your profile.

Company Intel

What employees say

Worked at CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG? Share your experience