Theorem proving and Machine Learning

Stream: job postings

[Bas Spitters]

The Danish data science academy offers PhD and postdoc grants. They also have grants for visiting students wanting to explore a PhD. I'd be interested to host projects around Theorem proving and Machine Learning. Feel free to reach out if you're interested.
https://ddsa.dk/