SearchLondonJobs.co.uk

🏛️ London's Premier Job Portal

← Back to London Jobs

Graduation Internship | From Traffic Rules to Formal Logic

Company: TNO

Location: Helmond, London

Posted: June 07, 2026

Apply for This Position

Submit Application

Position Details

About this position

Automated vehicles (AVs) rely on clear driving rules to operate safely and predictably. These rules guide both system design and the assessment of how well an AV behaves in real traffic. They also help ensure the vehicle is socially compliant—although in some situations, bending a rule may actually be the more socially appropriate choice. Traffic rules are written for people, not machines. In everyday driving, drivers rely on experience, context, social norms and shared understanding to apply them. Today, formalizing traffic rules from natural language is still a manual, time‑consuming task. Traffic rules are often long and vague. They also differ across regions and jurisdictions. Engineers must interpret the text, decide on what is relevant in the text and translate it into logical structures. This takes time and does not scale well.

What will be your role?

The assignment is to advance the TNO approach that...