-
the next generation of secure agentic AI systems through cutting-edge research in adversarial machine learning and formal verification. The Role As a research scientist, you will contribute to frontier AI
-
terrestrial or flying vehicles and robots Expertise State estimation of floating base robots Relevant background on environment reconstruction, semantic segmentation and classification Expertise on obstacle
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions