4 formal-verification PhD positions at Tallinn University of Technology in Estonia

PhD position, Digital Twin–Based Co-Simulation and Verification for Intelligent Vehicle Control Systems

Tallinn University of Technology | Estonia | 16 days ago

models, real-time telemetry, and AI-enhanced analytics, the research aims to enable continuous simulation and verification across the entire ECU lifecycle—from early model-in-the-loop design to deployment

PhD position, Large Language Models for Safety Validation of End-to-End Automated Driving Systems

Tallinn University of Technology | Estonia | 16 days ago

, automotive networking Simulations, verifications and validations of autonomous vehicles Human-machine interfaces and interactions Self-driving shuttle bus deployment and experimentation Additional information

PhD position, Collaborative multimodal perception for automated vehicles

Tallinn University of Technology | Estonia | 16 days ago

-physical system Sensor fusion, perception and big data Cybersecurity, automotive networking Simulations, verifications and validations of autonomous vehicles Human-machine interfaces and interactions Self

PhD position, Development of Control Methodology for Additively Manufactured Electrical Machines

Tallinn University of Technology | Estonia | 16 days ago

energy management, optimal configuration, a combination of different energy sources, etc. Research goals will be achieved by proper verification of the model. Applicants should fulfill the following