Malt welcome

Welcome to Julien's freelance profile!

Malt gives you access to the best freelancers for your projects. Contact Julien to discuss your project or search for other freelancer profiles on Malt.

Julien M.

Haskell and Nix software developer
  • Suggested rate
    €481 / day
  • Experience8-15 years
  • Response rate100%
  • Response time1 hour
The project will begin once you accept Julien's quote.
Location and workplace preferences
Location
Limoges, France
Remote only
Primarily works remotely
Verifications

Freelancer code of conduct signed

Read the Malt code of conduct
Verified email
Reputation
8Followers
16Repos
0Gists
86Reputation
4Bronze
0Silver
0Gold
Languages
Categories
These freelancer profiles also match your search criteria
Agatha FrydrychAF

Agatha Frydrych

Backend Java Software Engineer

Baptiste DuhenBD

Baptiste Duhen

Fullstack developer

Amed HamouAH

Amed Hamou

Senior Lead Developer

Audrey ChampionAC

Audrey Champion

Web developer

Skill set
Industry fields of expertise
Julien in a few words
Self-taught Haskell and NixOS free software developer since 2015,
former self-taught OCaml software developer from 2005 to 2015,
and self-taught GNU/Linux system administrator since 2010.
Most of my work so far has consisted in understanding and (re)implementing algorithms found in scientific papers, with my main focus being on correctness.
I do my best to understand what I do. I'm passioned by developing algorithms or fixing bugs. I am hardworking and a fast learner with communication skills for teaching and being accurate on technical matters.
Experience
  • CNRS/ISC-PIF
    Pro bono Nix and Haskell engineer for the French National Centre for Scientific Research, focusing on reproducibility
    PUBLIC SECTOR
    June 2023 - Today (1 year and 8 months)
    Paris, France
    Written a flake.nix based upon haskell.nix for haskell-gargantext: https://gitlab.iscpif.fr/gargantext/haskell-gargantext/merge_requests/258
    And reimplemented from scratch and improved the main algorithm for computing phylomemetic networks: https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z2364hmzZUAGy1nKdSFa1gLSoUE2M
  • NixOS
    Developing and maintaining NixOS/Nixpkgs, focusing on security
    TECH
    January 2017 - Today (8 years and 1 month)
    Limoges, France
    Creating or maintaining dozens of packages and services for NixOS:
    https://github.com/NixOS/nixpkgs/pulls?q=author%3Aju1m
  • Haskell
    Understanding and reimplementing several scientific papers in Haskell, focusing on correctness
    TECH
    January 2015 - Today (10 years and 1 month)
    Limoges, France
    - Reimplemented parts of Utrecht University/Bastiaan Heeren's thesis [Top: Constraint solving framework employed by the Helium Compiler](https://hackage.haskell.org/package/Top) in https://hackage.haskell.org/package/lol-typing

    - Implemented CNRS/Balinski & Laraki's voting method [Majority Judgment](https://mitpress.mit.edu/9780262545716/majority-judgment/) in https://git.sourcephile.fr/majurity.git/tree/HEAD:/hjugement

    - Reimplemented parts of CNRS/LORIA's [Helios-C e-voting protocol](https://www.belenios.org) in https://git.sourcephile.fr/majurity.git/tree/HEAD:/hjugement-protocol

    - Reimplemented parts of [servant](https://hackage.haskell.org/package/servant) in https://git.sourcephile.fr/haskell/symantic-http.git and parts of [ema](https://hackage.haskell.org/package/ema) in https://git.sourcephile.fr/haskell/literate-web.git

    - Reimplemented parts of Imperial College/Jamie Willis' thesis [Parsley: A fast parser combinator library backed by Typed Template Haskell](https://hackage.haskell.org/package/parsley) in https://git.sourcephile.fr/haskell/symantic-parser.git

    - Reimplemented parts of IOHK/Matt Noonan's [Ghosts of Departed Proofs](https://iohk.io/en/research/library/papers/ghosts-of-departed-proofs-functional-pearls/) in
    https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z3795BqJN8hSMGkyAUr8hHviEEi2H

    - Reimplemented parts of CNRS/ISC-PIF Chavalarias & Lobbé & Delanoë's paper [Draw me Science: Multi-level and multi-scale reconstruction of knowledge dynamics with phylomemies](https://doi.org/10.1007/s11192-021-04186-5) in https://radicle.sourcephile.fr/nodes/radicle-mermet.sourcephile.fr/rad:z2364hmzZUAGy1nKdSFa1gLSoUE2M
Recommendations
Education
  • Bac+2 (Math sup/spé)
    Lycée du Parc (Lyon)
    2006
    Mathematics and computer science