Jad Nohra - Technischer Direktor (Hands-on)
Erfahrungen
Softwareentwickler
Nebenprojekt
- Vram.run: Rust, TypeScript, HF-Inference-API mit 19 Anbietern, über 220 Hardware-Konfigurationen und mehr als 30 Cloud-GPUs. Suche nach einem Modell, um zu sehen, welche API-Anbieter es bereitstellen, welche GPUs es lokal ausführen können (und wie schnell) und was ein Cloud-Leasing kosten würde. Oder suche nach deiner Hardware und finde die passende. Beinhaltet auch ein Rust-CLI.
- Psychotron: JavaScript, Web Audio API, AudioWorklet, Canvas 2D. Frontend für Flash-Fiction-Hörbuch mit einer Web-Audio-DSP-Kette mit Pitch-Shifting, 12-stimmigem Chor, Flanger, 13-Band-EQ und Convolver-Hall. Beinhaltet eine 2D-Canvas-Effekt-Morphing-Engine und einen synchronisierten Teleprompter.
- RecentWork: Swift, macOS, FSEvents, launchd. macOS-Daemon, der Projektverzeichnisse überwacht und einen flachen Ordner mit Symlinks auf kürzlich geänderte Dateien pflegt. Über Homebrew installierbar.
- Mini-llm: Bash, macOS, launchd, Ollama, llama.cpp, MLX, Open WebUI. Ein einzelner Befehl verwandelt einen Mac Mini in einen Headless-KI-Server.
- ThatSlop: JavaScript. Chrome-/Firefox-Erweiterung zur KI-Inhaltserkennung auf LinkedIn und Twitter.
- Smux: Bash, tmux. Benutzerfreundlicher tmux-Wrapper, der über Homebrew installierbar ist.
- Learn Rust Course: Rust. Kurs zum Rust-Speichermodell für C++-Programmierer, geschrieben aus der Erfahrung des Übergangs von C++ zu Rust bei Irreducible.
Softwareentwickler
Nebenprojekt
- ELIZA2: Python. Moderne Neuauflage von Weizenbaums Chatbot aus 1966, umgesetzt mit klassischer KI und Mustererkennung. Originalgetreuer Algorithmus mit moderner Benutzeroberfläche.
Leiter Architektur & Compiler
Irreducible
- Three-Mode Architecture: Entwarf eine einheitliche Geräteabstraktion für emulierte (CPU), verilated (RTL-Simulation) und FPGA-Hardware mit Rust und Verilator. Konzipierte und implementierte eine Systemschicht, die für alle Modi dieselbe Schnittstelle nutzt, um Fehler durch Simulation zu finden und zukünftige Leistung abzuschätzen.
- XLang Compiler: Führte die Entwicklung einer domänenspezifischen Sprache und eines Compilers für den xcheck-Beschleuniger. Erstellte eine Pipeline mit Aufbau des DAG-Rechenmodells, Instruktionsplanung, Registerallokation mit gieriger Färbung und VLIW-Codegenerierung. Leitete ein Team zur Entwicklung eines Emulators zur Validierung und optimierte Code für FPGA-Kerne mit mehreren Registerbankbeschränkungen.
- ZK Compute Kernels: Entwickelte zentrale Berechnungs-Kernels in Rust zur Beschleunigung von Zero-Knowledge-Proofs, darunter Number-Theoretic Transform (NTT), FRI-Faltoperationen, Tensor-Erweiterungen, Skalarprodukte und Auswertungen von Summenkompositionen.
- FPGA Device Management: Implementierte Bitstream-Programmierung, VFIO-Treibereinbindung, DMA-Speicherverwaltung und PCIe-Gerätekonfiguration in Rust und Linux. Verwaltete die Bitstream-Verteilung über AWS S3 und die Task-Graph-Planung mit IOMMU-Integration.
- Binius Integration: Integrierte Hardwarebeschleunigung für das Binius-Zero-Knowledge-Proof-System mit Fokus auf Operationen in endlichen Körpern über Binärfelder, polynomielle Verpflichtungen und multilineare Erweiterungen.
Sicherheits- und Wahrnehmungsingenieur
Fernride
- Hazard Zone Model (HZM): Entwickelte eine umfassende Sicherheitsspezifikation mittels Fahrweganalyse und kinematischer Modellierung von Lkw-Anhänger-Gespannen. Integrierte Unsicherheitsquellen wie LiDAR-Kalibrierung und Witterungseinflüsse in die Trajektorienvorhersage.
- Safety Perception Pipeline: Aufbau einer Ground-Plane-Segmentierungspipeline auf LiDAR- und Radarbasis mit der Anforderung null falsch-negativer Erkennungen. Validierte die Leistung in estnischen Wintereinsätzen bei starkem Regen und Schneefall.
- Safety Case Design: Entwickelte einen auf DFD basierenden Ansatz für TÜV SÜD-Zertifizierung, der sicherstellt, dass das Design nahe am Code bleibt und ausgabeseitige Nachweisführungen ermöglicht.
- Function Testing Framework: Erstellte eine Szenario- und Testdatenbank zur systematischen Validierung von sicherheitsrelevanten Open-Loop-Entscheidungen mittels Replay-Tests und Ground-Truth-Kennzeichnung.
- Trailer Angle Detection: Implementierte Anhängererkennung mittels geometrischer Projektion und Kosinusanpassung auf Punktwolken.
Sicherheits- und Systemingenieur
Argo AI
- Statistical Test Design: Entwickelte einen statistischen Rahmen zur Validierung der Sicherheit autonomer Fahrzeuge im Einsatzmaßstab unter Verwendung von Wilson-Score-Binomial-Konfidenzintervallen, Hypothesentests und Versuchsplanung (stratifizierte Stichproben, Plackett-Burman und Gaussian-Prozesse).
- Scenario Generation Framework: Erstellte einen mathematischen Rahmen für eine reaktive Szenarienerzeugung zur Optimierung der Abdeckung, indem Millionen wertloser Szenarien identifiziert und entfernt wurden.
- Modeling Library: Entwickelte eine Bibliothek zur realistischen Rauschinjektion basierend auf Analysen realer Ein-/Ausgabedaten von Komponenten, um die Testgenauigkeit zu verbessern.
Leitender Simulationsingenieur
Audi AID
- VTT Simulation Platform: Entwarf ein mehrschichtiges Simulationsframework mit ereignisdiskreter Planung, Fahrermodellen (Wiedemann, IDM) und Fahrzeugdynamik. Vergrößerte ein Team von 2 auf 20 Ingenieure in 4 Teams. Entwickelte ein 8-dimensionales AV-Rechenzeitmodell und Pfadverfeinerung mit QP/CVXGEN.
Simulationsingenieur
Nebenprojekt
- Daisy Traffic Simulator: Python. Minimaler Open-Source-Verkehrssimulator zum Prototyping von Verkehrsfluss-Ideen mit agentenbasierter Simulation. Ideen wurden in das Hauptprodukt von AID übernommen.
- PaCoS Concurrency Simulator: Python. Deterministischer Parallelitätssimulator zum Debuggen verteilter Systeme und zur Sicherstellung reproduzierbaren Verhaltens in parallelen AV-Stacks. Wurde für Architekturentscheidungen in verteilten Systemen genutzt.
Softwareentwickler
Nebenprojekt
- Defdefqed FOL Prover: Python. Theorembeweiser für Prädikatenlogik und semantischer Graph-Crawler mit Resolution und Unifikation. Wurde genutzt, um mathematische Erkundungen zu formalisieren und Beziehungen aus Texten zu extrahieren.
- Tag_export: Python. Kuratierte und getaggte Bibliografie technischer Bücher und Artikel für schnellen Zugriff während Lerneinheiten und Projektrecherchen.
Student für formale Methoden
Studium
- Rigid Body Dynamics: Formale Behandlung der Starrkörperdynamik, die praktische Simulation mit den mathematischen Grundlagen der Mechanik und dem Lösen von Zwangsbedingungen verbindet.
- Programming Logic: Tiefer Einblick in die theoretischen Grundlagen von Programmiersprachen, einschließlich Lambda-Kalkül, Typentheorie und deren Verbindungen zur Logik.
Student für Analysis & Geometrie
Studium
- Analysis & Geometry: Gründliches Studium der Differentialgeometrie, reellen Analysis, Mannigfaltigkeiten, Maßtheorie und Variationsrechnung. Bei Havok angewandt zur Formalisierung von Lösern.
Forscher
Guided Know.
- Uniqueness of Minima: Veröffentlicht ein Forschungspapier, das Bedingungen für die Eindeutigkeit bei bestimmten Verfahren der kleinsten Quadrate bewies und theoretische Grundlagen für die Optimierung der IMU-Sensorfusion lieferte.
Softwareentwickler
Side Project
- MLCP 2.0 (Julia LP Solver): Julia, GLPK. Implementierung der linearen Programmierung und LU-Zerlegung zur Untersuchung numerischer Methoden für die Lösung von Nebenbedingungen in Physik-Engines. Verwendet für HKDS-Forschung und arXiv-Validierung.
- Hinges_py RBD Simulator: Python. Simulator für Starrkörperdynamik, der Nebenbedingungsformulierungen und numerische Methoden außerhalb der Havok-Codebasis erforscht. Verwendet für HKDS-Forschung und arXiv-Validierung.
- Trace (Real-Time Plotting): Python. Werkzeug zur Echtzeit-Datenvisualisierung für Physik-Debugging, zum Plotten von Solver-Konvergenz, Nebenbedingungskräften und numerischen Residuen bei Havok.
- Asinus_salutem (Math Parser): Python, SymPy. Interaktiver Parser für mathematische Ausdrücke mit symbolischer Berechnung und AST-Erstellung zur mathematischen Exploration und Verifikation.
Student für Grundlagen und Logik
Study
- Foundations & Logic: Studium der Mengenlehre, Logik und philosophischen Grundlagen. Materialien umfassten Potters Mengenlehre, Gödels Unvollständigkeitssätze und Hestenes’ geometrische Algebra für die Physik.
Forscher
Study
- TheNotes Collection: Zusammenstellung von über 90 Dokumenten aus zehn Jahren zu Physik, linearer Algebra, Analysis, formaler Logik und Differentialgeometrie.
Student der Mathematik- und Physikgeschichte
Study
- Mathematics & Physics History: Intensives Selbststudium historischer und philosophischer Grundlagen anhand von Primärquellen. Behandelte Studien zu LCP- und GJK-Algorithmen, Eigenwertproblemen, Mengenlehre und Barwise zu Wahrheit und Zirkularität.
Leitender Physikingenieur
Havok/MS
- Physics-2014 Contact Solver: Hat den Solver für Kontaktbedingungen mit dem Gauss-Seidel-Verfahren und SIMD neu implementiert und für Zweigvorhersage und Datenumsortierung optimiert, um eine deterministische Skalierung auf Multi-Core-Systemen zu ermöglichen.
- HKDS High-Fidelity Solver: Forschung und Entwicklung für Robotik- und Maschinensimulation durchgeführt, einen Substepping-Algorithmus entwickelt und einen MLCP-Solver in Julia prototypisiert.
- TOI-Argument: Hat einen mathematischen Beweis verfasst, der zeigt, dass das Time-Of-Impact-Tunneling-Problem keine vollständige Lösung hat, was es dem Team ermöglichte, sich auf Kompromisse zu konzentrieren.
- HoloLens-Raumlokalisierung: Forschung zur Lokalisierung in Mixed Reality betrieben, inklusive Walk-Graphen, Ankerknoten, Loop Closure, Jitter-Kompensation und Segmentierung der Belegungsraster.
- Network Physics F&E: Prototyp eines Client-Server-Systems zur Physiksynchronisation mit Vorhersage und Rollback für verteilte Starrkörper-Simulation erstellt.
- Numerische Geometrieprobleme: Untersuchte Gleitkommabugs in der Kollisionsgeometrie mittels IEEE-754-Analyse, Intervallarithmetik und ULP-Analyse zur Verbesserung der Robustheit bei Strahl-Dreieck- und Strahl-Sphäre-Schnittprüfungen.
- Wii U-Mathebibliothek: Niedrigstufige Mathebibliotheken für die PowerPC-CPU mit PowerPC-Assembler und SIMD auf Befehlsebene optimiert.
- Job Queue Timing Fuzzer: Einen automatisierten Timing-Fuzzer entwickelt, um Race Conditions und schwer reproduzierbare Threading-Bugs mittels automatischer Instrumentierung zu erkennen.
Mathematik- und Physikstudent
Selbststudium
- 77-neurons Mathematische Grundlagen: Jahreslanges strukturiertes Selbststudium in Analysis, Beweistechnik und linearer Algebra. Wöchentliche Übungen und Diskussionen anhand von The Calculus Lifesaver, Book of Proof und Linear Algebra durchgeführt.
Numerischer Analyst
Nebenprojekt
- Gleitkommaanalyse: Python, C++. Niedrigstufige IEEE-754-Untersuchungen einschließlich Bitmanipulation, Epsilon-Berechnung und Umgang mit Denormalzahlen. Diente als Grundlage für die Arbeit zur numerischen Stabilität bei Havok.
Softwareentwickler
Nebenprojekt
- Bigfoot Animation System: C++, OpenGL, GLM. Skelett-Retargeting und Bewegungsplanungssystem mit BVH-Mocap-Loader, Fußkontakt-Erkennung und physikbasierter Fortbewegung.
- Bigeye UI Framework: C++, OpenGL, MagickWand, Win32. Leichtgewichtiges UI-Framework im Retained Mode mit Scene-Graph-Rendering für schnelles Prototyping von Grafik- und Simulationstools.
- Puppeteer BVH Viewer: C++, OpenGL, GLM. BVH-Datei-Loader und Skelettanimations-Viewer, verwendet für Bigfoot-Animationsforschung und Motion-Capture-Visualisierung.
- BlenderToBVH Export: Python, Blender-API. Blender-Addon zum Export von Skelettanimationen ins BVH-Format mittels Traversierung der Armatur und Konvertierung der Koordinatensysteme.
- RecastMOD Navmesh: C++, OpenGL. Modifizierte Industrie-Standard-Navmesh-Bibliothek für KI-Pfadsuche durch Voxelisierung und Meshgenerierung. Diente als Basis für Guerrillas Region-Generierung.
KI- und Physikingenieur
Guerrilla
- Killzone 3 KI-Systeme: Umgebungssensitive KI mit Behavior Trees, Umgebungsabfragen und physikalischer Animation entwickelt. SPU-Multithreading und DMA-Debugging auf der PS3 betreut.
- Killzone 3 Fahrzeug-KI: Fahrzeugpfadsuche, Bewegungsplanung und Dynamik für KI-gesteuerte Fahrzeuge implementiert.
- Automatische Regionsgenerierung: Automatisierte Navmesh-Regionserstellung mittels Skelettierung und medialer Achsentransformation entwickelt und damit die Industriestandards für Randfälle verbessert.
Game-KI-Entwickler
Side Project
- Hindernisvermeidung: C++, 2D-Visualisierung. Implementierung von Geschwindigkeits-Hindernissen und Steuerungsverhalten für lokale Kollisionsvermeidung bei Menschenmengen und NPC-Navigation.
- TicTacToe-AI-Testumgebung: C++. Implementierung von Minimax, Alpha-Beta-Suche und Reinforcement Learning. Beitrag zum RL wurde in den AI Sandbox integriert.
- Grafik-Framework (Q3 BSP): C#, OpenGL. BSP-basierter Renderer für Quake-3-Karten mit Raumaufteilung, PVS-Culling und Echtzeit-Rendering.
Hauptprogrammierer
AiGameDev
- AI Sandbox: Entwickelt ein Open-Source-Game-AI-Framework mit HPA*, Bewegungssystemen und Reinforcement Learning. Mitautor von 'Parallel Pathfinding on Modern Hardware'.
Leitender Engine-Entwickler
Kimera
- World-Of-Football Engine: Entwicklung einer vollständigen Indie-Spiel-Engine von Grund auf mit C++ und DirectX, inklusive Rendering, Physik, Animation, Torhüter-KI mittels neuronaler Netze und einem Skriptsystem mit Squirrel.
Universitätsprojekte
AUB
- Entwicklung grundlegender Projekte in C++, Java und DirectX, darunter ein Software-Rasterizer, ein Raytracer mit BVH, eine Octree-basierte Renn-Engine, ein Wellensimulator und eine 2D-Physik-Engine.
Branchenerfahrung
Sehen Sie, in welchen Branchen dieser Freiberufler den Großteil seiner beruflichen Laufbahn verbracht hat.
Erfahren in Informationstechnologie (IT), Bildung, Automotive, Transport und Logistik und Luft- und Raumfahrt und Verteidigung.
Erfahrung nach Fachbereich
Zeigt, in welchen Abteilungen und Funktionen dieser Freelancer am meisten mitgewirkt hat.
Erfahren in Produktentwicklung, Forschung und Entwicklung (F&E), Informationstechnologie (IT) und Qualitätssicherung.
Zusammenfassung
Engineering-Führungskraft und aktiver technischer Mitwirkender mit über 25 Jahren Erfahrung in vier verschiedenen Bereichen: Echtzeit-Physik-Engines, Simulation und Sicherheit autonomer Fahrzeuge sowie kryptografische Hardwarebeschleunigung. Aufbau und Leitung von Organisationen mit bis zu 25 Ingenieuren. 2 US-Patente. Tiefgehende Kenntnisse in Mathematik, Physik und Systemtechnik, angewandt in allen diesen Bereichen.
Fähigkeiten
Sprachen & Systeme: Rust, C++, Python, Java · Fpga (Xilinx/verilator) · Simd/sse/avx · Eingebettete Systeme · Verteilte Systeme
Kryptografie & Hardware: Zero-knowledge-beweise (Polynomverpflichtungen, Ntt, Endliche Körper) · Fpga-beschleunigte Kryptografische Berechnungen · Pcie/dma/vfio-geräteverwaltung
Sicherheit & Regulierte Abnahme: Tüv Süd-zertifizierung · Iso 26262 / Asil-d · Lidar/radar-erkennung · Rückverfolgbarkeit Von Anforderungen · Ros2
Quantitative Methoden: Numerische Analyse · Lineare Programmierung · Nichtlineare Optimierung · Versuchsplanung · Statistische Sicherheitsvalidierung.
Sprachen
Ausbildung
American University of Beirut
Bachelor of Engineering, Computertechnik · Computertechnik · Beirut, Libanon
Emporia State University
MS-Studium in Mathematik · Mathematik · Emporia, Vereinigte Staaten
Zertifikate & Bescheinigungen
ISO 26262 / ASIL-D
ISO
TÜV SÜD-Zertifizierung
TÜV SÜD
Statistiken
Erfahrung
Globale Erfahrung
Fachkenntnisse
Qualifikationen
Profil
Häufig gestellte Fragen
Sie haben Fragen? Hier finden Sie weitere Informationen
Wo ist Jad ansässig?
Welche Sprachen spricht Jad?
Wie viele Jahre Erfahrung hat Jad?
Für welche Rollen wäre Jad am besten geeignet?
Was ist das neueste Projekt von Jad?
Für welche Unternehmen hat Jad in den letzten Jahren gearbeitet?
In welchen Industrien hat Jad die meiste Erfahrung?
In welchen Bereichen hat Jad die meiste Erfahrung?
In welchen Industrien hat Jad kürzlich gearbeitet?
In welchen Bereichen hat Jad kürzlich gearbeitet?
Was ist die Ausbildung von Jad?
Ist Jad zertifiziert?
Wie ist die Verfügbarkeit von Jad?
Wie hoch ist der Stundensatz von Jad?
Wie kann man Jad beauftragen?
Durchschnittlicher Tagessatz für ähnliche Positionen
Die Tagessätze basieren auf aktuellen Projekten und enthalten keine FRATCH-Marge.
Ähnliche Freelancer
Entdecken Sie andere Experten mit ähnlichen Qualifikationen und Erfahrungen
Experten, die kürzlich an ähnlichen Projekten gearbeitet haben
Freelancer mit praktischer Erfahrung in vergleichbaren Projekten als Softwareentwickler
Freelancer in der Nähe
Fachkräfte, die in oder in der Nähe von Berlin, Deutschland arbeiten