_:b363996 "Robotika, agentov\u00E9 technologie, automatick\u00E9 pl\u00E1nov\u00E1n\u00ED, reprezentace znalost\u00ED nebo metody strojov\u00E9ho u\u010Den\u00ED. Solidn\u00ED znalosti form\u00E1ln\u00EDch metod (logika a/nebo statistika) a zku\u0161enosti s aplikac\u00ED t\u011Bchto technik v praxi jsou v\u00FDhodou."@cs . _:b363996 "Robotics, agent technologies, automated planning, knowledge representation, or machine learning. Basic background in formal methods (logic and/or statistics) and experience with applications is a plus."@en . _:b363996 .