Jonathan Hoffman

hoffmaj1@email.uc.edu


co-op or other experience and responsibilities

  • Research Engineer, Air Vehicles Directorate of Air Force Research Laboatories at Wright Patterson Air Force Base (6 quarters):
    • Evaluated and ranked technical research proposals for government research contracts.

    • Organized multi-day conferences between business contractors, academia, and government agencies.

    • Worked on a software and hardware team to promote research in flight control systems field and to improve the process for airworthiness certification of flight control systems.

    • Assisted in government contract management.

    • Learned about and taught coworkers about different types of formal methods and their uses and applications to an airworthiness certification environment.

skills/expertise areas

  • Programming Languages: C/C++, Java, TrueBasic

  • Software Tools: Microsoft Visual Studio .Net, MATLAB/Simulink, Xilinx Development Environment, Mathematica, Eclipse, Microsoft Office(Word, Excel, Powerpoint, Outlook)

areas of interest

  • Software Development

  • Digital System Design

  • Formal Methods

  • VLSI Minor (in progress)

type of project sought

  • VLSI Design

  • Digital System Design

  • etc.