Hire the best Haskell Developers & Programmers in the United Kingdom

Check out Haskell Developers & Programmers in the United Kingdom with the skills you need for your next job.
  • $37 hourly
    I'm a Rust/Python developer experienced in processing data, web APIs and scraping. I like to work on interesting problems and I enjoy finding efficient ways to solve them. My interests are: - Compilers - Algorithm & code optimisation - Audio programming - Multithreaded environments Git is where I feel comfortable working, so if you have an existing repository I am ready to jump right in.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Audio Engineering
    Recommendation System
    Rust
    PostgreSQL
    SQL
    API Documentation
    Python
  • $35 hourly
    I am a software developer with a strong foundation in logic and computer science. My expertise lies in building robust software solutions, particularly within the realms of build systems, programming languages, developer tools, and proof assistants. I have substantial experience contributing to and maintaining large-scale open-source projects like Dune and the Coq Proof Assistant, where I’ve developed new features, improved infrastructure, and enhanced user experience. Skills: - Proficient in OCaml and Coq - Intermediate knowledge of C, Haskell, Agda, and Python - Experience with Rust, C++, C#, and Java What I can do for you: - Full software development life cycle, from initial concept to final delivery - Specialized in mathematically inclined software projects and formalization tasks - Regular communication to ensure alignment with your project goals Let’s collaborate to bring your project to life.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Rust
    OCaml
    Python
    C++
    C#
  • $70 hourly
    My primary goal is to provide exceptional value to the projects and people I collaborate with. I excel at understanding a project's core objectives and delivering optimal solutions using the most appropriate technology or strategy. With over 10 years of software experience, primarily focused on DevOps in recent years, I've successfully worked as an independent contractor for several years. I'm always eager to connect with potential clients or collaborators, so please don't hesitate to reach out for a call or chat! My strengths lie in software architecture, clear communication, advanced debugging, and performance optimization. Throughout my career, I've worked with numerous programming languages and a diverse range of projects, from small, efficient solutions to large enterprise monoliths. I'm deeply passionate about my work and continuously expand my skill set by learning new technologies, which I strategically implement to achieve your specific objectives. I'm committed to delivering high-quality results and fostering long-term professional relationships. Let's discuss how I can contribute to your project's success!
    vsuc_fltilesrefresh_TrophyIcon Haskell
    DevOps
    Linux System Administration
    MySQL Programming
    Functional Programming
    Amazon Web Services
    Infrastructure Management
    Kubernetes
    CI/CD
    PHP
    Google Cloud Platform
    Docker
    TypeScript
    Linux
    GitLab
  • $20 hourly
    Hey, I'm a fast and reliable developer with experience in building robust desktop apps and websites: • Communication is key! I'll keep you updated with every bit of progress I make. • Experienced in Rust, Python, TypeScript, Lua and Haskell. • Desktop expertise includes Dioxus, Pyglet, Godot and Bevy. • Web frameworks include Yew, React and Dioxus. I'm always trying to learn something new, and I'm looking forward to working with you!
    vsuc_fltilesrefresh_TrophyIcon Haskell
    C
    Vim
    Lua
    Software Development
    TypeScript
    Python
    JavaScript
    C++
    C#
    Web Development
    Rust
  • $150 hourly
    I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, with extensive experience in functional programming and formal verification. I am available for consulting in any areas related to my expertise. + I am experienced with formal verification in Coq, Lean, Agda, and Idris. + I am a skilled engineer in OCaml, Go, Haskell, Swift, and Objective-C.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Golang
    Tutoring
    OCaml
    Proofreading
  • $38 hourly
    I’m an experienced software engineer with an extremely wide range of low-level and embedded skills. * Performant game engine and 3D graphics code using Vulkan, OpenGL, and equivalent modern graphics APIs. * Embedded systems programming such as writing bootloaders and operating system kernels with features like paging, multi-tasking, and POSIX compliance. * Efficient OpenCL compute kernels, LLVM compiler optimizations, and highly optimized GPU shader code. * Optimized networking code for binary protocols over UDP.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    OpenCL
    Open Source
    OpenGL
    Game Engine
    Embedded C
    Software
    Compiler
    Software Debugging
    C++
    Rust
  • $45 hourly
    I'm a programmer developing software in Python, Lisp and C++ with a particular focus on mathematical modelling applications and machine learning. - Mathematics background - Experienced with functional programming approach - Reliable communication. Will always respond promptly to queries.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Linux
    Deep Learning
    NumPy
    Mathematical Modeling
    Machine Learning
    C++
    Python
    Common Lisp
  • $50 hourly
    Software engineering generalist with 2 years' experience in finance and an academic background in Programming Language. Currently interested in Rust, WebAssembly, Crypto/DeFi trading, and full-stack development trends
    vsuc_fltilesrefresh_TrophyIcon Haskell
    React
    Web Development
    Python
    WebAssembly
    Desktop Application
    Web Application
    Scripting
    Node.js
    Java
    Rust
    Software Development
  • $30 hourly
    I've worked on a number of software engineering and research projects as software engineer, machine learning researcher, tech lead and project manager. Originally from research in academia, I now have 15 years of experience working in industry in the UK as researcher, software engineer and algorithm designer. My tech stack is predominantly Rust, C++, Haskell, Python and AWS. I use Python for rapid and throw-away prototyping, Rust/C++ for speed and Haskell for clarity. Research-wise, I have experience in machine learning and deep neural networks and have recently designed new neural network architectures for Oxford Nanopore Technologies basecalling algorithms. When I write code I strive to keep it side-effect free, maintain clear interfaces, good documentation and extensive test coverage. I worship automation, CI/CD and like to do TDD if the task is well defined upfront. I practice a form of agile that I've evolved to particularly suit research projects and software projects with senior developers who know their stuff and don't need baby-sitting. I am experienced at building teams from scratch to the project requirements and specifications, have extensive hiring experience and eye for technical talent with high GSD levels.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Automation
    DevOps
    Mathematics
    Artificial Intelligence
    Algorithm Development
    Project Management
    Python
    C++
    Deep Learning
    Machine Learning
  • $12 hourly
    A committed, hardworking and determined person seeking a placement year in 2023. Working well as part of team or individually, keeping to deadlines and self-improving constantly along the way. Experienced in Java and Python programming languages Passionate about cyber security Interested in open source software and Linux.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Database
    Adobe Photoshop
    Computing & Networking
    System Security
    Open Source
    Firewall
    Network Security
    Computer Science
    Linux
    Computer Network
    Animation
    GitHub
    Java
  • $30 hourly
    I'm a Computer Science Graduate from University College London, and work on a variety of of projects using a host of different technologies. I use Java, C & Haskell primarily for system-based application developnent, and use PHP, JavaScript & Bootstrap for web based development. I'm a firm believer in using a lean methodology, and beilieve in following a strong design philosophy incorporating elements such as strong data structure/algorithm design, a strong security checklist, test-driven development & concurrency amongst others.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Network Design
    CSS
    Database Design
    Machine Learning
    Android
    PHP
    Java
    JavaScript
    C
  • $15 hourly
    I am a diligent student with an abundance of experience working in teams to achieve shared aims. I am looking for work to run alongside my studies.
    vsuc_fltilesrefresh_TrophyIcon Haskell
    Policy Analysis
    R
    Visual Basic
    Typing
  • Want to browse more freelancers?
    Sign up

How hiring on Upwork works

1. Post a job

Tell us what you need. Provide as many details as possible, but don’t worry about getting it perfect.

2. Talent comes to you

Get qualified proposals within 24 hours, and meet the candidates you’re excited about. Hire as soon as you’re ready.

3. Collaborate easily

Use Upwork to chat or video call, share files, and track project progress right from the app.

4. Payment simplified

Receive invoices and make payments through Upwork. Only pay for work you authorize.