Functional Programming Software Engineer

Hi, I am Enzo Crance, a French PhD student in Computer Science (formal proof automation) in my last year, looking for opportunities in Europe in 2024, as a software engineer or research engineer, preferably on topics related to applied sciences. I am very familiar with functional programming (especially OCaml/Haskell) and have also gravitated around constraint logic programming during my PhD. I would enjoy pushing my knowledge further in these two domains, but I would also enjoy exploring the domain of computational physics as my elective courses at university belonged to it, or simply use my skills to contribute to projects with social utility. Feel free to contact me!