Remoote.app

Work from anywhere. Start here.

Free resume builderCompaniesLog in

Haskell Jobs

Find remote positions requiring Haskell skills. Browse through opportunities where you can utilize your expertise and grow your career.

Haskell
8 jobs found. to receive daily emails with new job openings that match your preferences.
8 jobs found.

Set alerts to receive daily emails with new job openings that match your preferences.

Apply
🔥 Formal Methods Engineer (Verification) - Innovation R&D
Posted about 1 month ago

📍 United Kingdom

🧭 Full-Time

🔍 Blockchain

🏢 Company: IO Global

  • A higher degree in Computer Science or a related field
  • A minimum of 2-3 years of experience in a functional language, preferably Haskell
  • Experience working and collaborating with Git
  • Experience with one or more formal methods
  • Experience with SAT/SMT
  • Experience with Model checking
  • Experience with interactive theorem proving
  • Experience with using Lean or a similar tool
  • Experience with building formal methods tools is a plus.
  • Domain experience with smart contracts is a plus.
  • Deep thinking, problem solving
  • Ability to understand and translate complex ideas and break them down simply for yourself and others
  • Software engineering skills
  • Bridge between research and engineers
  • Translate and reshape information for the software engineers to understand properly
  • Telling researchers when there is a discrepancy - feedback to research
  • Be able to receive input from researchers, thoroughly understand and translate information into final code
  • Continuously brings fresh ideas to the mix
  • Be versatile and enjoy a fast-paced, ever-changing environment
  • Be a savvy problem solver
  • Ability to explain complex concepts in documents and presentations
  • Build formal artifacts from research and architectural guidance, and business and engineering requirements.
  • Model the performance of formally specified systems
  • Produce prototypes and simulations
  • Refine specifications, using the performance models and simulations to gauge the impact of design decisions during refinements
  • Discover new properties about the specifications and their implications
  • Prove properties of the specifications and of the correctness of refinement steps
  • Communicate with both researchers and developers, and act as a bridge between the two: you will provide feedback to researchers about issues that come up when their work is incorporated into real world systems. You will assist developers in understanding your specifications and in turning them into production code
  • Report on your work, in the form of blog posts, technical report documents, presentations at internal seminars, as well as at workshops and conferences, and/or by contributing to academic papers
  • Participate in code reviews
  • Contribute property-based tests, both for testing properties of the executable specifications/prototypes, and for verifying production code against the executable specifications
  • Contribute to the implementation, extension, and maintenance of custom static analysis tooling
  • Work in an international team across multiple time zones
  • Break down large and complex tasks assigned to you into workable items, and work on them independently
  • Share specialized knowledge with other team members

GitHaskell

Posted about 1 month ago
Apply
Apply
🔥 Formal Methods Engineer - Innovation R&D
Posted about 2 months ago

📍 United Kingdom

🧭 Full-Time

🔍 Blockchain research and development

🏢 Company: IO Global

  • A higher degree in Computer Science or a related field
  • A minimum of 2-3 years of experience in a functional language, preferably Haskell
  • Experience working and collaborating with Git
  • Experience with one or more formal methods
  • Experience in one or more of the domains we are working in -- networking, distributed systems, programming language design, blockchain applications -- would be a bonus.
  • Demonstrated ability to work on difficult problems in a self-driven way
  • Deep thinking, problem solving
  • Ability to understand and translate complex ideas and break them down simply for yourself and others
  • Software engineering skills
  • Bridge between research and engineers
  • Translate and reshape information for the software engineers to understand properly
  • Telling researchers when there is a discrepancy - feedback to research
  • Be able to receive input from researchers, thoroughly understand and translate information into final code
  • Continuously brings fresh ideas to the mix
  • Be versatile and enjoy a fast-paced, ever-changing environment
  • Be a savvy problem solver
  • Ability to explain complex concepts in documents and presentations
  • Build formal artifacts from research and architectural guidance, and business and engineering requirements.
  • Model the performance of formally specified systems
  • Produce prototypes and simulations
  • Refine specifications, using the performance models and simulations to gauge the impact of design decisions during refinements
  • Discover new properties about the specifications and their implications
  • Prove properties of the specifications and of the correctness of refinement steps
  • Communicate with both researchers and developers, and act as a bridge between the two: you will provide feedback to researchers about issues that come up when their work is incorporated into real world systems. You will assist developers in understanding your specifications and in turning them into production code
  • Report on your work, in the form of blog posts, technical report documents, presentations at internal seminars, as well as at workshops and conferences, and/or by contributing to academic papers
  • Participate in code reviews
  • Contribute property-based tests, both for testing properties of the executable specifications/prototypes, and for verifying production code against the executable specifications
  • Contribute to the implementation, extension, and maintenance of custom static analysis tooling
  • Work in an international team across multiple time zones
  • Break down large and complex tasks assigned to you into workable items, and work on them independently
  • Share specialized knowledge with other team members

BlockchainGitHaskell

Posted about 2 months ago
Apply
Apply
🔥 Senior Backend Engineer
Posted 3 months ago

📍 USA

🔍 Blockchain and digital asset management

🏢 Company: Enya Labs

  • 7+ years in full-stack software development with enterprise-scale solutions.
  • 3+ years of experience in technical solutions design and application architecture.
  • 2+ years of hands-on software development with major blockchain protocols and smart contract languages.
  • Experience in research, innovation, and comparative analysis, especially in the blockchain space.
  • Comprehensive understanding of the Software Development Lifecycle (SDLC) for commercial products.
  • Proven experience with agile development methodologies on significant projects.
  • Expertise in coding with Python and Node.js, and familiarity with Golang, Rust, Haskell, and WASM.
  • Experience in front-end development with frameworks like Next.js, Nest.js, and React.
  • Familiarity with developer tools like VS Code and Git.
  • Understanding of microservices frameworks, databases, messaging platforms like Kafka, and monitoring tools such as Prometheus and Grafana.
  • Hands-on experience with CI/CD pipelines, cloud providers (AWS, Azure, or GCP), and infrastructure-as-code tools (e.g., Terraform, Helm).
  • Design and develop enterprise-scale, full-stack software solutions that utilize Platonic’s proprietary blockchain stack, smart contracts, and prominent blockchain protocols.
  • Innovate with blockchain protocols, smart contracts, and Generative AI to enhance asset lifecycle automation.
  • Deliver end-to-end technical design and development of technology solutions aligned with business needs.
  • Collaborate closely with business partners and product owners to present and refine innovative technical solutions.
  • Work with the engineering team to implement and refine agile methodologies for project efficiency.

AWSNode.jsPythonBlockchainGitKafkaGrafanaHaskellPrometheusNest.jsNext.jsReactRustCI/CDTerraformMicroservices

Posted 3 months ago
Apply
Apply
🔥 Sr Haskell Developer
Posted 5 months ago

📍 Argentina, Chile, Colombia, Mexico, Brazil

🧭 Full-Time

🏢 Company: Austin Software

  • 7+ years of experience as a developer.
  • 5+ years working with Haskell.
  • Complementary skills in Java, Scala, Kafka, AWS, Azure, and GCP are beneficial.
  • Must be a motivated and self-directed engineer.
  • Ability to work effectively within a team and contribute to overall company goals.
  • Deliver real business value through engineering efforts.
  • Help your team and peers align with the company's vision and mission.
  • Consistently enhance code and project quality.

Software DevelopmentHaskellScala

Posted 5 months ago
Apply
Apply
🔥 All Candidates - Future Opportunities
Posted 5 months ago

📍 United States, Ecuador, Spain

🧭 Full-Time

🔍 Software consultancy

🏢 Company: Stack Builders👥 51-100Web DevelopmentSoftware

  • Creative and pragmatic mindset to develop innovative solutions.
  • Availability to overlap 4 hours with US EST time zone working hours.
  • Excellent analytical problem-solving and assertive communication skills.
  • High level of autonomy and constant search for continuous improvement.
  • Attention to detail with the ability to break down and implement new ideas.
  • Advanced spoken and written English skills.
  • Deliver readable and testable code while meeting and exceeding client expectations.
  • Collaborate with cross-functional teams to define, design, and ship new features.
  • Participate in regular pairing sessions to develop high-quality code and share knowledge.

Software DevelopmentHaskellCommunication SkillsAnalytical SkillsCollaboration

Posted 5 months ago
Apply
Apply
🔥 Software Engineering Lead (Haskell) - Consensus
Posted 6 months ago

📍 United Kingdom

🔍 Blockchain technology

🏢 Company: IO Global

  • Degree in Computer Science is desirable but not essential.
  • 10+ years of software engineering experience, particularly in Haskell, with at least 2 years in a team management role.
  • Familiarity with Git and its workflow.
  • Experience with Agile software development methods.
  • Knowledge of functional and object-oriented programming paradigms.
  • Strong background in Haskell and its ecosystem, including libraries and concepts like lenses, Template-Haskell, and more.
  • Deep understanding of distributed systems.
  • Prior experience with blockchain technology is advantageous.
  • Follow agile software development practices.
  • Work with teams across multiple time zones.
  • Independently complete software development tasks with minimal supervision.
  • Review specifications and contribute to algorithm design.
  • Write clean, efficient code and cover it with tests.
  • Review team members' pull requests and fix bugs.
  • Be available for emergency issue resolution.
  • Integrate software components and verify deployments.
  • Troubleshoot and upgrade existing software.
  • Write documentation and technical user manuals.

LeadershipSoftware DevelopmentAgileGitAlgorithmsHaskellDocumentationDebugging

Posted 6 months ago
Apply
Apply
🔥 Senior Software Engineer - Languages and SDKs
Posted 7 months ago

📍 United States, Europe

🧭 Full-Time

💸 166250 - 206150 USD per year

🔍 Cloud software development

🏢 Company: Pulumi Corporation

  • Experience in designing APIs, SDKs, developer tools.
  • Strong communication skills, both written and verbal.
  • Experience in multiple programming languages such as Go, TypeScript, Python, Java, C#, Rust, Kotlin, Scala, Haskell, Ruby, F#, Lisp.
  • Systematic problem-solving approach, first principles and critical thinking skills, good design sensibilities.
  • Mindset of a community builder, focus on driving users and contributors to success.
  • Understanding of compilers, graph algorithms, data structures, and software architecture.
  • Experience building and running services in platforms such as Kubernetes, AWS, Azure, Google Cloud.
  • Experience with deployment orchestration and infrastructure as code tools.
  • Design and build open-source Pulumi SDKs in multiple programming languages.
  • Provide appropriate test coverage, clearly document design choices, and ensure great performance, reliability, and maintainability of your code.
  • Lead projects from concept to completion: collaborate with fellow engineers and customers to prototype, design, engineer, and test new features.
  • Determine roadmaps and scope features based on your interaction with the team and the open source community.
  • Contribute to the Pulumi community: engage with users to gather feedback, produce new sample content, and increase excitement about what we’re building.

AWSPythonSoftware DevelopmentKubernetesSoftware ArchitectureTypeScriptC#AlgorithmsAzureData StructuresGoHaskellRustC (Programming language)Problem Solving

Posted 7 months ago
Apply
Apply
🔥 Principal Software Engineer - Languages and SDKs
Posted 7 months ago

📍 United States, Europe

🧭 Full-Time

💸 180500 - 227850 USD per year

🔍 Cloud software development

🏢 Company: Pulumi Corporation

  • Experience in designing APIs, SDKs, developer tools.
  • Strong communication skills, both written and verbal.
  • Experience in multiple programming languages such as Go, TypeScript, Python, Java, C#, Rust, Kotlin, Scala, Haskell, Ruby, F#, Lisp.
  • Systematic problem-solving approach, first principles and critical thinking skills, good design sensibilities.
  • Mindset of a community builder, focus on driving users and contributors to success.
  • Understanding of compilers, graph algorithms, data structures, and software architecture.
  • Experience building and running services in platforms such as Kubernetes, AWS, Azure, Google Cloud.
  • Experience with deployment orchestration and infrastructure as code tools.
  • Design and build open-source Pulumi SDKs in multiple programming languages.
  • Provide appropriate test coverage, clearly document design choices, ensure great performance, reliability, and maintainability of your code.
  • Lead projects from concept to completion: collaborate with fellow engineers and customers to prototype, design, engineer, and test new features.
  • Determine roadmaps and scope features based on your interaction with the team and the open source community.
  • Contribute to the Pulumi community: engage with users to gather feedback, produce new sample content, and increase excitement about what we’re building.

AWSPythonSoftware DevelopmentJavaKubernetesSoftware ArchitectureTypeScriptC#AlgorithmsAzureData StructuresGoHaskellRustC (Programming language)Critical thinking

Posted 7 months ago
Apply