Researcher in theorem proving and AI
University of Gothenburg
Sweden
Summary
Full-time postdoctoral research position in AI and reasoning, focusing on neuro-symbolic methods, learning, proving, autoformalization, and conjecturing as part of the ERC NextReason project. Conduct independent and collaborative research, publish results, and develop software and datasets.
