Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction
-
— localization and mapping (e.g., SLAM), motion planning, and semantic perception — focusing on multimodal sensor data fusion (LiDAR, RGB-D, IMUs) for robust real-world performance. Research areas include
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions