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-18808-Ljbffr