Principal Software Engineer Lead (5 years Haskell Experience)
MLabs
- Brasil
- Permanente
- Período integral
- A Bachelor's or Master's degree in Computer Science or a related field.
- Typically 10+ years of professional software development experience.
- Proficiency in multiple programming languages and technologies, with a strong Haskell background (5+ years) and familiarity with its ecosystem (e.g., lenses, Template-Haskell, CBOR, GHC Generics, STM, mtl, SOP).
- A deep understanding of blockchain technology and experience maintaining large, complex distributed systems.
- Experience translating scientific research into software products.
- Experience maintaining large codebases (open-source contributions are preferred but not required).
- Regarding time zones, we’re looking for someone who can start their shift between UTC -8 and UTC -10, as we’re planning to run 24/7 development.
- It would also be ideal if the candidate is open to working one weekend per month. This would be scheduled in advance and compensated additionally.
- Strategic Execution: Ability to align technical initiatives with business objectives and manage timelines, resources, and deliverables.
- Leadership & Collaboration: Strong leadership and mentorship abilities, excellent communication skills, and a commitment to promoting diversity and inclusion.
- Process Definition & Oversight: The ability to establish and oversee coding, deployment, and CI/CD processes to maximize efficiency and quality.
- Standardization: Develop and enforce coding and deployment standards, leading the adoption of industry best practices for version control and code reviews.
- Cross-Organizational Influence: Serve as a technical liaison between teams and influence company-wide technical direction. -
- Software Architecture & Design: Expertise in designing complex, scalable, and maintainable software systems with a focus on performance and security.
- Security Best Practices: Knowledge of secure coding, cryptographic methods, and implementing security measures.
- Testing & Quality Assurance: Familiarity with automated testing tools (e.g., QuickCheck, Hedgehog) and continuous integration.
- Problem-Solving: Excellent problem-solving, debugging skills, and the ability to troubleshoot production issues.