Location: Europe Remote: Maybe Willing to relocate: In EU or UK. Technologies: C++, Rust, Python, Haskell, OCaml. High-performance programming, formal method

Location: Europe Remote: Maybe Willing to relocate: In EU or UK. Technologies: C++, Rust, Python, Haskell, OCaml. High-performance programming, formal methods, concurrent programming, distributed systems. Resume: I have a PhD in Computer Science (software verification) and an MSc in Physics (computational modelling and simulation). I have experience in low-level languages and functional programming, and in concurrent and high-performance code. I've excellent problem-solving skills, and lots of experience tackling very hard problems. I also learn new things very quickly. Please email me for a full CV/cover letter. Email: mail+jobshn [at) andrepd (dot] eu