BairesDev seeks a Haskell Engineer to design high-assurance systems using strong type systems and functional programming.
Key responsibilities include algorithm design, code correctness validation through advanced type theory, and collaboration with cross-functional teams.
This position requires over 4 years of experience in software engineering, exceptional Haskell skills, and proficiency in English.
Enjoy the benefits of remote work, flexible hours, and a supportive environment for growth and learning.
#J-*****-Ljbffr