Upwork home
Sign up
Secondary

Hire the best OCaml Developers in the United Kingdom

Check out OCaml Developers in the United Kingdom with the skills you need for your next job.
Get started
  • $150 hourly
    • 5.0/5
    • (1 job)
    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.
    Featured Skill OCaml
    Golang
    Tutoring
    Haskell
    Proofreading
  • $35 hourly
    • 4.7/5
    • (2 jobs)
    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.
    Featured Skill OCaml
    Haskell
    Rust
    Python
    C++
    C#
  • $15 hourly
    • 5.0/5
    • (0 jobs)
    👋 Hi there! I'm Kareem, a passionate computer science student with a knack for turning ideas into reality through code. With a solid foundation in Java, C#, and Python, I specialize in game development using Unity, crafting immersive experiences that captivate and engage users. During my internship, I honed my skills in audio conversion tools, gaining valuable experience in software development and problem-solving. Alongside my technical expertise, I'm proficient in front-end web development, leveraging HTML, CSS, Tailwind, and JavaScript to create visually appealing and responsive interfaces.
    Featured Skill OCaml
    STEM Tutoring
    Front-End Development
    Blender
    Unity
    Software
    GitHub
    Python
    Tailwind CSS
    Java
    JavaScript
    CSS
    HTML
    C#
  • $40 hourly
    • 0.0/5
    • (1 job)
    ABOUT ME I'm a Software Engineer specializing in building scalable software solutions with 3+ years of experience. With a strong educational background from the School of Computer Science at the University of Birmingham, I bring a solid foundation in programming principles and best practices to every project. TOOLS AND TECHNOLOGIES Programming Languages: JavaScript/TypeScript, Python, Java, Haskell, OCaml, C/C++. Technologies: Node.js, React, Next.js, Django, Flask, TailwindCSS, Prisma, Astro, Vite, Storybook, HTML5, CSS3, Bootstrap. DevOps: Docker, Linux, AWS, S3, DigitalOcean, Vercel, Netlify. Others: Figma, Postman, Insomnia WHAT I CAN OFFER Full-Stack Development: I excel in developing end-to-end applications, seamlessly integrating backend and frontend components to create robust and user-friendly experiences. Proof of Concept (POC) and Minimum Viable Product (MVP): I have extensive experience in rapidly prototyping and building POCs and MVPs, allowing you to validate your ideas and gain early feedback from stakeholders. Feature Enhancement: Whether you're looking to add new functionalities or enhance existing features, I have the skills to bring your vision to life, delivering high-quality results within your desired timeline. Web Scraping: I have proficiency in web scraping techniques, enabling me to extract data from various online sources and deliver structured datasets tailored to your specific requirements. Data Analysis and Visualization: Leveraging my expertise in data processing and visualization techniques, I can help you make sense of your datasets and derive valuable insights, empowering you to make informed decisions.
    Featured Skill OCaml
    Flask
    Django
    Data Visualization
    Data Analysis
    Tailwind CSS
    Next.js
    React
    Web Development
    Full-Stack Development
    TypeScript
    Node.js
    Python
    Data Scraping
    JavaScript
  • $100 hourly
    • 0.0/5
    • (0 jobs)
    I'm a software developer with experience working for prop. trading firm and keen interest in research.
    Featured Skill OCaml
    Machine Learning
    Multithreaded, Parallel, & Distributed Programming Language
    Distributed Computing
    Quantitative Analysis
    Algorithms
    Cloud Development
    Database
    Golang
    Python
    C++
  • 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.