Postdoc in Functional Programming & Formal Methods

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

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.