Candidate profile

PhD in Functional Programming

CoqHaskellPythonLeanAgda

I am about to finish a PhD in type theory. I have 5+ years of experience in functional programming and formal verification, together with experience in larger software projects. Currently looking for jobs in either FP (preferrably Haskell), or formal verification. More details can be found in my CV.

Profile signal

Experience: Senior
Years of experience: 5
City: Bergen
Country: Norway
Location: Bergen, Norway
Remote: True
Willing to relocate: No

Capacity

Full-time Employee

Contact details

Business access unlocks contact details Unlock name, email, resume links, and outreach actions for candidates you want to contact.

PhD in Functional Programming

Description