-
proficiency in relevant programming languages (e.g., Python, C++) and tools such as ROS. Experience in simulation and digital twins, as well as the use of synthetic data for training machine learning models, is
Searches related to model checking
Enter an email to receive alerts for model-checking positions