I have joined the University of Helsinki as an associate professor and ELLIS Institute Finland as a PI. I am recruiting PhD students and postdocs to work on combining logical reasoning and machine learning. If interested, please contact me! @helsinki.fi @ellisinstitute.fi
02.10.2025 13:24 — 👍 6 🔁 2 💬 1 📌 0
Our faculty is looking for PhD students in artificial intelligence and machine learning! Meet our new Principal Investigators and apply for a PhD position by the end of October: www.ellisinstitute.fi/PIs-2025
All the info about the ELLIS PhD program is below! 👇
02.10.2025 11:30 — 👍 2 🔁 3 💬 0 📌 0
IJCAI is the longest-running premier international AI research conference since 1969. 🌍 Connect across domains and feel the pulse of AI. 🗓️ #IJCAI2025 ❗16-22 August 2025❗Montreal 🇨🇦
Relational Programming, Symbolic AI
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
Using #NeurosymbolicAI for challenges in #Biomedicine. PhD student at Uni Edinburgh🦄🏴 (she/hers)
https://laurendelong21.github.io
Mathematician / AI Researcher @ITUkbh
Thinking about AI x Self-organisation, Open-endedness & Collective Intelligence.
Looking for sustainable & porous ways to inhabit Earth
Scientist, AI researcher, roboticist, professor emeritus. Coauthor “Artificial Intelligence: Foundations of Computational Agents” http://artint.info 🇨🇦
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
Sr. Staff Research Scientist @ Google DeepMind • previously Google X, Microsoft Research, UW • program synthesis, AI for Code and SWE • he/him • alexpolozov.com
Research Scientist @ Samsung AI https://corneliocristina.github.io
Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Professor of Natural and Artificial Intelligence @Stanford. Safety and alignment @GoogleDeepMind.
Researcher, machine learning with knowledge graphs
Assistant professor at Vrije Universiteit amsterdam
Professor of Computer Science @ University of Trento | Human-Centric AI | Neuro-Symbolic Integration | Interactive Machine Learning | Learning on Graphs | all while having fun!
Assistant Professor in Artificial Intelligence
KU Leuven
Belgium
Computer Friend, Not a Bird
www.philipzucker.com
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
