Postdoc: Functional Programming & Formal Methods

Karlstad University; Göteborgs kommun; On-site; SEK 400,000 - 600,000; Full time

Benefits offered by this job

Swedish language courses

Inspiring working environment

Employee benefits

Job summary

Chalmers University of Technology in Gothenburg is offering a Postdoc position in functional programming for a duration of two years with the potential for a one-year extension. Candidates should have a doctoral degree and a robust background in functional programming.

This research role includes collaboration on advanced programming languages, theorem proving, and mentoring students. The opportunity is set in a vibrant environment with many benefits.

Qualifications

• A doctoral degree (or equivalent foreign degree) in Computer Science, Mathematics, or a related field.
• Strong written and verbal communication skills in English.
• Solid background in functional programming.

Responsibilities

• Drive independent and collaborative research in functional programming and formal methods.
• Develop novel techniques and co-author high-quality scientific publications.
• Mentor MSc or PhD students.

Skills

Functional programming

Programming language semantics

Strong written and verbal communication

Education

Doctoral degree in Computer Science, Mathematics, or related field

Tools

Interactive theorem proving

Job description

Chalmers University of Technology in Gothenburg is offering a Postdoc position in functional programming for a duration of two years with the potential for a one-year extension. Candidates should have a doctoral degree and a robust background in functional programming.

This research role includes collaboration on advanced programming languages, theorem proving, and mentoring students. The opportunity is set in a vibrant environment with many benefits.