There is an opening for a PhD position on innovative applications of SAT
techniques (that includes, SAT, MaxSAT, (D)QBF, and related techniques), with
theoretical and experimental objectives.
The position is within the new MSCA PhD program LogiCS@TUWien, is for 4 years
each, and comes with an
Hello all,
We are happy to announce the *1st Workshop on Safe Learning for Autonomous
Driving* (SL4AD), co-located with the International Conference on Machine
Learning (ICML 2022), to be held in Baltimore and online.
*Workshop website:* https://learn-to-race.org/workshop-sl4ad-icml2022
All pape
Dear All,
*Apologies for cross-posting*
We are pleased to announce an opportunity for a funded Ph.D. studentship
about (*Computational Modelling of Language Compositionality through
Human-Robot Interaction*) at the Center for Robotics and Neural Systems
(CRNS) at Plymouth University, UK. The closin
(apologies for cross posting)
At Delft University of Technology, we have a vacancy for a
3 year PostDoc on Reinforcement Learning in the Real World
This is in the context of the Mercury Machine Learning Lab, jointly with
the University of Amsterdam and booking.com. We will focus on
fundamenta