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... 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 (ms@chalmers.se)