Remote: Yes (on site / hybrid / full remote)
Willing to relocate: Yes
Technologies: familiar with OCaml, Haskell, λProlog, Coq, open to learning /refreshing knowledge about other technologies (F#, Scala, Fortran, Julia, Rust, C/C++, etc)
Interests: aerospace, climate science, ocean science, finance, etc
Availability: early 2024
Résumé/CV: https://ecrance.net/files/CV-Enzo-Crance-en.pdf
Email: enzo [dot] crance [at] inria.fr
Website: https://ecrance.net
Hi, I am a French PhD student in Computer Science (formal proof automation) in my last year, looking for opportunities in Europe in early 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!