Haskell Jobs

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

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

11 jobs found.

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

Apply

🔥 Director of R&D, Range Engineering

Posted 2024-11-07

📍 U.S.

💸 210000 - 280000 USD per year

🔍 Cybersecurity

🏢 Company: SimSpace

10+ years of experience in software development with at least 4 years leading and managing software teams.
Strong knowledge of software development practices, methodologies, and tools.
Experienced software leader with a strong background in software development and architecture.
Proven track record of leading software engineering teams to deliver high-quality products.
Strong communication and leadership skills to motivate team members.
Knowledge of industry standards and best practices in software development.
Constantly seeking to learn about emerging technologies and trends.
Excellent technical skills to understand and solve complex problems.
Passionate about delivering high-quality software products meeting customer needs.
Comfortable with agile methodologies and adaptable to changing business needs.
Ability to mentor team members promoting professional growth.
Results-driven focus on meeting project objectives.

Lead and manage teams responsible for the design, development, and maintenance of software products.
Build and maintain teams with the right skills and tools for success.
Manage expectations of internal stakeholders and collaborate for solutions.
Work with product management to align software projects with business objectives and timelines.
Develop project plans, schedules, and resource allocations to ensure successful execution.
Collaborate with Quality Engineering and Product teams for high-quality software delivery.
Mentor and coach team members to promote their professional growth.
Ensure compliance with industry standards and best practices in software development and cybersecurity.

Leadership Node.js Software Development Agile Kotlin Kubernetes React.js TypeScript Golang Haskell Postgres Nest.js React Compliance

Posted 2024-11-07

Apply

🔥 Formal Methods Engineer - IOE: Cardano

Posted 2024-11-07

📍 United Kingdom

🔍 Blockchain

🏢 Company: IO Global

Higher degree in Computer Science or a related field or currently pursuing one.
Experience in a functional programming language, preferably Haskell.
Experience working and collaborating using Git.
Prior experience with theorem provers or model checkers is essential.
Strong problem-solving ability and effective communication of complex concepts.

Build formal artifacts from R&D and architectural guidance, based on business and engineering requirements.
Model the performance of formally specified systems.
Refine specifications using performance models and simulations to gauge design decisions.
Discover new properties about specifications and their implications.
Prove properties of specifications and correctness of refinement steps.
Report on work via blog posts, technical documents, presentations, and contribute to academic papers.
Participate in code reviews and contribute property-based tests for verification.
Contribute to implementation and maintenance of static analysis tools.
Work in an international team across multiple time zones.
Break down complex tasks into workable items and work independently.
Share specialized knowledge with team members.

Software Development Git Haskell Communication Skills Analytical Skills Collaboration

Posted 2024-11-07

Apply

🔥 Sr Haskell Developer

Posted 2024-10-23

📍 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 Development Haskell

Posted 2024-10-23

Apply

🔥 Senior Cryptographic Engineer

Posted 2024-10-21

📍 United States, Italy

🧭 Full-Time

💸 140000 - 170000 USD per year

🔍 Blockchain technology

🏢 Company: Horizen Labs

5+ years of experience in software engineering.
Be passionate about secure, reliable, well-documented and fast software.
Flexible to work within an agile environment.
Experience in implementing cryptographic constructions (down to the low-level mathematics) and familiarity with various common attacks.
Deep understanding of applied cryptography and passion for creating effective and pragmatic cryptographic solutions.
Propose new meaningful approaches based on novel cryptography research available in academia.
Experience in technical writing and documentation.
Clear communication and articulation of abstract ideas.
Enjoy guiding more junior developers and sharing your expertise.
Work gracefully with cross-functional teams within engineering, marketing, and other support teams.
Autonomous, self-motivated, and low ego.

Design and implementation of blockchain-based cryptographic solutions leveraging modern cryptography (ZK, MPC, FHE).
Assume technical responsibility of novel systems while identifying areas for innovative research and development.
Writing reusable, testable, and efficient code with a focus on best practices and security.
Help shape the future of the company where you will be intimately involved in the strategic decision-making process and immediately see the impact of your contributions.
Attend conferences and find opportunities in the on-chain ecosystem.

Agile Blockchain Ethereum C++Go Haskell Rust Problem Solving

Posted 2024-10-21

Apply

🔥 All Candidates - Future Opportunities

Posted 2024-10-18

📍 United States, Ecuador, Spain

🧭 Full-Time

🔍 Software consultancy

🏢 Company: Stack Builders

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 Development Haskell Communication Skills Analytical Skills Collaboration

Posted 2024-10-18

Apply

🔥 Software Engineer (Haskell) - Ledger

Posted 2024-10-15

📍 United Kingdom

🔍 Blockchain

🏢 Company: IO Global

Write idiomatic Haskell code that satisfies the acceptance criteria of a given task.
Write tests (unit tests, property tests) that provide sufficient and non-superfluous efficient code coverage.
Document code and APIs concisely and unambiguously.
Break down tasks into subtasks that are completable in a short amount of time and report completion as required by managers.
Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, no feature creep, no speculative generality, no code duplication ...).
Degree in Computer Science is desirable but not essential.
A minimum of 5 years development experience (professional or otherwise) in Haskell.
Strong experience at writing code in the declarative programming paradigm.
Experience working with Git and Github.
Experience with nix is preferred, but not required.
Proficiency with advanced FP techniques such as: Type families, Higher Kinded Data, Dependent types, Generic programming, Type-level programming, Free monads.
Good understanding of evaluation strategies and related concepts: call-by-need, lazy evaluation, memoization, weak-head normal form vs normal form. Capable of identifying and avoiding space leaks.
Experience with serialization techniques in Haskell using any of the common libraries: cborg, serialise, store, flat, binary, etc.
Advanced level understanding of pure functional data structures and Haskell libraries that provide such functionality: containers, vector, bytestring, etc.
Comfortable using other common Haskell libraries such as: cryptonite, random, transformers, mtl, lens, conduit, persistent, aeson, etc.

Write high-quality code, working with cutting-edge research and technology to implement features like protocol rules and transaction validation.
Work with teams across multiple time zones in Europe and America.
Be proactive, work independently, and require minimal supervision or mentoring to complete tasks.
Collaborate with other teams on integration issues and problems that span a greater context.
Review specifications produced by formal methods specialists.
Commit often and submit small pull requests frequently.
Cover your code with unit, property, and integration tests.
Review the pull requests of your team mates.
Fix bugs in your own code and in legacy code from others.
Be available for emergency fixing of severity 1 issues on deployed products.
Integrate software components and third-party libraries.
Write clear documentation with sensible examples.
Communicate with others professionally, effectively, and efficiently.

Backend Development Software Development Blockchain Git *Nix Haskell Communication Skills Collaboration

Posted 2024-10-15

Apply

🔥 Software Engineering Lead (Haskell) - Consensus

Posted 2024-09-27

📍 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.

Leadership Software Development Agile Git Algorithms Haskell Documentation

Posted 2024-09-27

Apply

🔥 Senior Software Engineer - Risk Intelligence

Posted 2024-09-24

📍 US, Canada

💸 $203,100 - $238,900 per year

🔍 Financial technology

Has experience designing and building large data systems, pipelines, and ETL systems. Event-driven design experience is a plus.
Has at least 7 years of development experience, with excitement to learn and work with Haskell, React, and TypeScript.
Comfort coming up to speed quickly on programming languages, libraries, and mature code bases is essential.
Is passionately product minded and has experience building and shipping new products.
Empathizes with users and can channel their perspective to build lovable products.
Can balance tradeoffs and find creative solutions to accomplish goals.
Communicates and collaborates effectively with peers and cross functional counterparts.

Lead the design and development of sophisticated data systems tailored to ensure regulatory compliance and detect potential fraud on the platform.
Help mentor and teach the team best practices for technical design.
Carefully maintain and grow existing products and data solutions.
Direct data domain modeling, (re)designing tables and deep query optimizations.
Work closely with product engineers, data analysts, data scientists, and product leaders to ship lovable and scalable experiences.

ETL TypeScript Data engineering Haskell React

Posted 2024-09-24

Apply

🔥 Engineering Manager

Posted 2024-08-07

📍 UK, Germany, Sweden, Ireland

🔍 Fintech

🏢 Company: Griffin

Deeply passionate about helping others achieve their goals and avoid burnout
Experience working with product and operations teams and looking for cross functionality
Recent experience as a senior engineer or in a technical leadership role using functional languages (Clojure, Elixir, Haskell etc.)
Solid understanding of what good looks like for a high-performing engineering team of different skillsets and experience levels

Be a leader of one or more teams, taking accountability for their deliveries and the health of their technology
Manage your teams sprints, making sure that development work is ready to be picked up, estimated and prioritised to optimise output
Coach your teams in everything from architectural vision to operational excellence
Collaborate with the CTO and product management team to set and execute against the right goals
Develop engineers on the team, helping them advance in their careers
Work with our VP of Engineering to build a long term roadmap for the development of our engineers
Support the team in maintaining a high technical standard and best working practices
Take a prominent role in recruiting across engineering and product

AWS Leadership Kubernetes Product Management Haskell React Collaboration Coaching

Posted 2024-08-07

Apply

🔥 Senior Software Engineer - Languages and SDKs

Posted 2024-08-07

📍 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.

AWS Python Software Development Kubernetes Software Architecture TypeScript C#C (Programming language)Algorithms Azure Data Structures Go Haskell Rust Problem Solving

Posted 2024-08-07

Apply

Shown 10 out of 11

Haskell Jobs

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities

🔧 Requirements

💡 Responsibilities