Jad Nohra

• Three-mode execution architecture (simulated, verilated, hardware) for ZK proof acceleration; simulation revealed product competitiveness gap months before hardware would have
• ZK circuit compiler and FPGA device interfaces in Rust
• Co-design process connecting three siloed teams (FPGA, cryptography, compiler)

• Hazard Zone Model for truck safety; first complete LiDAR/radar perception pipeline
• Safety case methodology contributing to TÜV SÜD certification, ISO 26262 / ASIL-D
• Statistical safety validation framework from nuclear, aviation, and medical device testing methods
• Simulation validation pipeline; noise injection revealed false passes in existing test suites
• Scenario generation patent (US20230030474A1)

• Core contact constraint solver for Havok physics engine, shipped across major game titles since ~2014
• High-fidelity MLCP solver using blocked-form linear programming
• Formal proof of TOI tunneling impossibility, resolving an open question
• Numerical geometry solutions informed by floating-point analysis literature
• Skeletonization algorithms from computational geometry applied to automated navmesh generation
• Nintendo WiiU math library at ARM instruction level
• SIMD-optimized engine components across constraint solving, geometry, and multi-threading
• Spatial localization algorithm for Microsoft HoloLens (US patent US10672159B2)

Built and led systems team for hardware-accelerated ZK Proofs: FPGA device interfaces, ZK circuit compiler, three-mode execution architecture. Introduced co-design sessions connecting FPGA, cryptography, and compiler teams. Retained as sole non-cryptography engineer during company restructuring; member of 3-person leadership team.

Built safety perception team and system from inception. Conducted feasibility study for LiDAR and radar-based safety function; designed and prototyped the system; wrote first version of complete perception pipeline. Co-developed safety case contributing to TÜV SÜD certification. Established direct technical channel with Continental radar engineering. Member of engineering leadership team.

Produced safety validation design documents that led to direct request from US-based systems engineering to join vehicle safety test planning. Developed simulation fidelity framework and noise injection models across compute, vehicle dynamics, traffic, sensor, and scenario generation components. Applied statistical safety testing methods. Led post-acquisition team integration (AID to Argo). Scenario generation patent.

Grew organization from 2 to 20 engineers across 4 teams: SIL runtime, traffic simulation, sensor simulation, scenario evaluation. Direct code contributions across all team codebases. Evaluated and replaced external simulation platform; led transition to internal development.

Core physics engine R&D: constraint solver, high-fidelity MLCP solver, destruction systems, geometric queries, numerical optimization, SIMD vectorization. Co-invented HoloLens spatial localization (US patent). Formal proof of TOI tunneling impossibility. WiiU math library. Havok Destruction interim lead.

Killzone 3 AI: navigation, vehicle behavior, multiplayer bots, automated navmesh region generation using skeletonization algorithms. PS3/SPU optimization.