Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
characteristics: PhD (completed or soon to complete) in Software Engineering, Computer Science, Artificial Intelligence, or a closely related field. Strong software development and programming skills, with
-
of Position: The Maryland Robotics Center (MRC) in the Institute for Systems Research at the University of Maryland, College Park, is seeking candidates for the 2024-2025 MRC Postdoctoral Fellowship Program
-
language theory, and software verification and validation Robotics and Autonomous Systems such as the development of intelligent robotic systems, autonomous vehicles, and human-robot interaction technologies
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by