Remote Haskell Engineer — Pure FP & Types Expert

BairesDev; Colombia; A distancia; COP 281.171.000 - 531.101.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Remote work 100%

Competitive USD salary

Home setup provided

Flexible hours

Parental leave & holidays

Global, multicultural team

Mentorship & growth opportunities

Descripción de la vacante

BairesDev, a fully remote technology leader with 15+ years of experience, invites you to join as a Haskell Engineer. Work on high-assurance systems for global clients from anywhere.

You will design algorithms in Haskell, leverage strong type theory, and build scalable, pure-functional solutions in distributed environments. Fluency in English and 4+ years of FP experience are required, with a collaborative, mentorship-driven team.

Formación

• Proven experience building applications with Haskell and pure FP.
• Deep knowledge of type systems and type theory.
• Strong background in distributed systems or research-heavy environments.
• Advanced English proficiency for collaboration.
• 4+ years of software engineering experience focused on functional programming.
• Ability to translate complex requirements into reliable code.

Responsabilidades

• Design and implement robust algorithms using Haskell and functional programming.
• Leverage advanced type theory to ensure code correctness and minimize runtime errors.
• Develop scalable and maintainable solutions emphasizing immutability and pure functions.
• Conduct property-based and unit testing to validate system reliability.
• Collaborate with cross-functional teams to translate complex requirements into code.
• Maintain high code quality through peer reviews and functional paradigms.

Conocimientos

Haskell

Functional programming

Strong type systems

Type theory

Distributed systems

English proficiency

Descripción del empleo

BairesDev, a fully remote technology leader with 15+ years of experience, invites you to join as a Haskell Engineer. Work on high-assurance systems for global clients from anywhere.

You will design algorithms in Haskell, leverage strong type theory, and build scalable, pure-functional solutions in distributed environments. Fluency in English and 4+ years of FP experience are required, with a collaborative, mentorship-driven team.