< Back to news
What are you going to do?
21 February 2024
Open PhD Position on Machine Learning for Automated Reasoning
Are you interested in working, in an interdisciplinary research setting, on topics at the intersection of logic, machine learning and automated reasoning? The Institute for Logic, Language and Computation (ILLC) is looking for a talented PhD candidate.
Your research will be part of the Theoretical Computer Science unit of the ILLC, and will concern use of machine learning for automated reasoning (such as mathematical theorem proving and/or declarative constraint-based reasoning).
What are you going to do?
You will be expected to: complete and defend a PhD thesis within the official appointment duration of four years; present research results regularly at international workshops and conferences, and to publish them in conference proceedings and journals; participate in and to contribute to the organisation of research activities and events at the Institute, such as workshops and colloquia; make a small contribution to the FNWI’s educational mission, by working as a teaching assistant for courses in your area of expertise and by assisting with the supervision of students’ research projects; Contribute to UvA’s research programme on artificial intelligence.
Read everything here.
Vergelijkbaar >
Similar news items
November 4
Google releases AI watermark tool SynthID for public use
Google has made its watermark tool SynthID, designed to identify AI-generated content, freely available to developers and businesses. Developed by DeepMind, this tool embeds digital watermarks into text, audio, images, and videos without affecting the quality or user experience of the content.
read more >
November 4
Humans and AI: A good team? Study calls for clear task division
As AI becomes more common in various sectors, the question arises: how effective is human-machine collaboration? MIT researchers conclude that in some cases, humans and AI perform worse together than separately. However, they see potential when task division is clear.
read more >
November 1
Geert Wissink announced as jury member for Data Science Top 50 Event
On November 14th, Geert Wissink, Business Director of Amsterdam AI, will serve as a jury member at the Data Science Top 50 event.
read more >