Résumé

Jacob Sussman

Role

Electrical engineer

Location

Atlanta, GA

Filter by skill

Experience

  1. Avionics Test Systems Engineer, Delta TechOps

    Avionics Test Systems EngineerDelta TechOps · Atlanta, GA – Present
    • Design and build automated test systems for aircraft avionics components, handling everything from schematics and software to assembly and validation.Skills: Test systems · PCB design · Software · Avionics
    • Design custom circuit boards in Altium Designer: schematic capture, layout, component selection, fabrication files, supplier coordination and board bring-up.Skills: PCB design
    • Write test software and integrate custom electronics with lab instruments.Skills: Software · Test systems
  2. Senior Avionics Component Engineer, Delta TechOps

    Senior Avionics Component EngineerDelta TechOps · Atlanta, GA –
    • Provided engineering support to avionics component repair shops and outside vendors on jobs for Delta and third-party maintenance (MRO) customers.Skills: Avionics
    • Developed repairs and alternate test and tooling methods, and resolved engineering questions that held up work in the shop.Skills: Avionics · Test systems
    • Contributed to cost-reduction efforts in component repair.Skills: Avionics
    • Worked with equipment manufacturers (OEMs) and partner repair stations, and served as a component expert for engineering, supply chain and planning teams.Skills: Avionics

Skills

  • PCB design

    • Altium Designer
    • KiCad
    • Schematic capture
    • PCB layout
    • Component selection
    • Gerbers and BOMs
    • Board bring-up
    • IPC-7711/7721 rework and repair
  • Test systems

    • Automated test systems
    • Data acquisition
    • Serial and GPIB instrument control
    • Oscilloscopes
    • Function generators
    • Logic analyzers
  • Software

    • Python
    • C
    • C++
    • MATLAB/Simulink
    • VHDL
    • MicroPython
  • Avionics

    • Aircraft component repair engineering
    • Component Maintenance Manuals (CMMs)
    • OEM and repair-station coordination
  • Formal math

    • Lean 4

Certifications

  • Certified IPC Specialist, IPC-7711/7721 (rework, modification and repair of electronic assemblies)

    February 2022 · PCB design

  • Quantum Detectors and Sensors Certificate, PurdueX (part of the Quantum Technology: Detectors and Networking MicroMasters program)

    December 2023

Education

  • Georgia Institute of Technology

    B.S. Electrical Engineering

    Atlanta, GA

  • wht-power-saving-leanFormal mathLeanClaude Opus 5.5

    Lean 4 proof: discrete Fourier transform of every length in O(n (log n)^z), z = 1 - 1.7887045e-3, in the RAM model of OpenAI's family 130; and the search for larger savings

  • wht-fewer-operationsFormal mathPythonClaude Opus 5.5

    Circuits for the exact Walsh-Hadamard transform with fewer operations: (5/6) N log2 N + N gates on 8^j points, and (3/4) N log2 N + N/4 multiply-adds on 2^k points, both proved in Lean 4. A better constant, not a better exponent.

  • sieve-ceilingsTeXClaude Opus 5.5

    Merikoski's estimates for primes x² + (y² + 1)² give at least 96.36% of the expected count, the most such estimates can give in Ford and Maynard's model: paper, Python checks, history

  • qrh-zero-free-boundsFormal mathLeanClaude Opus 5.5

    My work on the Quasi-Riemann Tracker: a map of 66 dead ends below the record with its scripts, Lean proofs of θ = 0.8739558 (merged), 0.8739167 and 0.873903, a conditional θ = 0.8735111, the history, and replay tools

  • periodic-table-of-obstructionsPythonClaude Opus 5.5

    Barrier sheets: what a proof method can reach, the impostor that stops it, and what a new clue is worth; four worked examples