Mathijs De Langen is a Software Architect with 11 years of experience designing and delivering embedded and motion-control products at Prodrive Technologies. He combines deep academic training in computer science from Eindhoven University of Technology with hands-on expertise in verification and formal methods, having applied model checking techniques during his graduation work for DAF Trucks. Comfortable across the full embedded stack, he has progressed from graduate projects and V&V roles to technical ownership of complex mechatronic systems and semi-autonomous robot software. Based in the Netherlands, he’s driven by continuous improvement and innovation, and brings a practical focus on producing certifiable, high-quality systems rather than just prototypes. An understated strength is his blend of formal-methods rigor with pragmatic product engineering—helping bridge specification, implementation and certification in safety-critical domains.
11 years of coding experience
2 years of employment as a software developer
Bachelor of Science (BSc), Computer Science, Bachelor of Science (BSc), Computer Science at Eindhoven University of Technology
graduated, VWO Gymnasium NT + NG (Nature & Science + Nature & Health), graduated, VWO Gymnasium NT + NG (Nature & Science + Nature & Health) at RSG 't Rijks
Contributions:9 PRs, 74 pushes, 29 branches in 3 months
ros2ros-packagesroswpiarm
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Mathijs De Langen - Software Architect at Prodrive Technologies