About HILOS

HILOS is building the first 3D design platform made specifically for footwear—no CAD required. Powered by machine learning, our core geometry engine breaks down barriers between 2D and 3D, design and manufacturing.

Our cross-functional team sits at the intersection of footwear and software, combining craft and intelligence to give designers a second brain and third hand. We’re here to amplify human impact in real-world creation—and we believe the tools should be just as inspiring as the work they enable.

Role Overview

We're seeking a Research Fellow to join our team to advance the theoretical foundations of manufacturing verification. This role sits at the intersection of formal methods, computational geometry, and manufacturing systems, focusing on creating robust mathematical frameworks that enable AI systems to understand and verify manufacturing constraints. You'll be working on cutting-edge research that directly impacts how our AI platform reasons about manufacturability and design feasibility.

Responsibilities

• Research, design and implement formal semantics for manufacturing verification, establishing rigorous mathematical foundations for manufacturing constraint representation
• Contribute to the technical design of a system architecture that cleanly separates geometry-independent constraints (material properties, component compatibility) from geometry-dependent validation (tolerances, surface finish requirements)
• Develop a structured diagnostic framework that enables AI/ML systems to interpret verification failures and automatically suggest design repairs
• Collaborate closely with our Computational Geometry team to integrate the verification layer with existing CAD engine infrastructure
• Research and synthesize current literature on formal fabrication languages, AI-driven domain-specific languages, constraint-based design methodologies, and design-for-manufacturing verification approaches
• Validate the verification system against real-world factory rejection patterns and manufacturing constraint data
• Document research findings and contribute to peer-reviewed venues in computational design and manufacturing domains

Qualifications

• PhD (in-progress) in Computer Science, Computational Geometry, Mechanical Engineering, or closely related field
• Strong theoretical background in formal methods and programming language semantics
• Experience with domain-specific language design and implementation
• Demonstrated experience with constraint satisfaction problems and automated reasoning systems
• Understanding of manufacturing processes and design-for-manufacturing principles
• Advanced proficiency in mathematical computation and numerical methods