In the Functional Programming group at Chalmers, we are recruiting a postdoc for two years to work on verification of machine learning algorithms. March 15th 2019 is the deadline for applications, which should be submitted through the Chalmers portal (see the ad below).
http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=7203 If you have any questions, do not hesitate to get in touch. Please spread the ad far and wide to your contacts. with best wishes Mary Sheeran (m...@chalmers.se)
_______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
