Can You Live Code a Church Organ? [video] 2 years ago
Related: a joint work between people in Brittany and Quebec allowed "MIDIfying" an organ in Guérande.
(video in French) https://www.youtube.com/watch?v=S941N39XheA
HN user
ecrance
2 karma
Posts0
Comments3
No posts found.
Ask HN: Who wants to be hired? (October 2023) 3 years ago
Location: Europe
Remote: Flexible
Willing to relocate: Yes in Nordic countries / UK / Ireland / Switzerland
Technologies: familiar with OCaml, Haskell, λProlog, Coq, open to learning /refreshing knowledge about other technologies (F#, Scala, Fortran, Julia, Rust, C/C++, etc.)
Interests: back-end programming, functional programming
Domains: aerospace, climate science, ocean science, energy, finance, banking, etc. Open to a lot of different things.
Availability: March 2024 or later
Résumé/CV: https://ecrance.net/files/CV-Enzo-Crance-en.pdf
Email: enzo [dot] crance [at] inria [dot] fr
Website: https://ecrance.net
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!
Ask HN: Who wants to be hired? (June 2023) 3 years ago
Location: Europe
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!