This sounds like a really interesting PhD course at Chalmers: “Functional Programming and Climate Impact Research”, by Patrik Jansson:

https://github.com/DSLsofMath/FPClimate

After completion of the course the student should be able to:
Use functional programming specification / implementation / formalisation as a way of understanding new domains
Understand a selection of topics in Climate Impact Research
Effectively use Haskell and Agda for formalisation

#Chalmers #FunctionalProgramming