Remote Haskell Engineer — Pure FP & Type-Safe Systems

BairesDev; Colombia; Presencial; COP 407.766.000 - 595.966.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Remote work

USD compensation

Home office setup

Flexible schedule

Parental leave & vacations

Global collaboration

Mentorship & growth

Descripción de la vacante

BairesDev is seeking a Haskell Engineer to design and build high-assurance systems using strong type systems and pure functional programming.

You will collaborate with cross-functional teams, apply formal methods where applicable, and contribute to scalable, maintainable code in an all-remote, globally distributed environment.

This position offers 100% remote work, competitive USD-based compensation, a flexible schedule, and a culture that rewards curiosity and rigorous engineering.

Formación

• 4+ years of experience in Software Engineering with a focus on functional programming.
• Proven expertise in developing applications using Haskell.
• Deep understanding of strong type systems and type theory.
• Proficiency in pure functional programming paradigms and best practices.
• Strong background in distributed systems or research-heavy environments.
• Advanced proficiency in English.

Responsabilidades

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

Conocimientos

Haskell

Strong type systems

Type theory

Functional programming

Distributed systems

English

Descripción del empleo

BairesDev is seeking a Haskell Engineer to design and build high-assurance systems using strong type systems and pure functional programming.

You will collaborate with cross-functional teams, apply formal methods where applicable, and contribute to scalable, maintainable code in an all-remote, globally distributed environment.

This position offers 100% remote work, competitive USD-based compensation, a flexible schedule, and a culture that rewards curiosity and rigorous engineering.