60 software-formal-method-phd positions at University of Dayton

  • University of Dayton | Dayton, Ohio | United States | 22 days ago

    School Diploma or equivalent • A minimum of 5 years of troubleshooting/repair, material testing, machining, or related technical experience. • Formal technical training beyond high school can be

  • University of Dayton | Dayton, Ohio | United States | about 16 hours ago

    development efforts using both Additive Manufacturing (AM) and conventional manufacturing methods. This role supports sustainment activities for aerospace and other equipment components. At a high level, tasks

  • University of Dayton | Dayton, Ohio | United States | about 16 hours ago

    capabilities and effectiveness. An ideal candidate will have strong skills as a full-stack developer and with interest in AI/ML technologies. You will utilize software development coupled with frameworks and

  • University of Dayton | Dayton, Ohio | United States | 8 days ago

    using both Advanced/Additive Manufacturing (AM) and conventional manufacturing methods. This role supports sustainment activities for aerospace and other equipment components. At a high level, tasks

  • University of Dayton | Dayton, Ohio | United States | about 16 hours ago

    to reveal new insights and research new applications. They will have extensive, professional software skills and experience that they can leverage toward improving AI/ML systems, with a focus on multi-agents

  • University of Dayton | Dayton, Ohio | United States | about 16 hours ago

    verification – can supplement testing by providing evidence of system correctness through proof and analysis. Formal methods, in conjunction with existing best practices for system and software development, can

  • University of Dayton | Dayton, Ohio | United States | about 16 hours ago

    System Security Officer to join our dynamic Sensor & Software Systems division in Warner Robins, GA. This is an exceptional opportunity to be part of a renowned research institution committed to excellence

  • University of Dayton | Dayton, Ohio | United States | 22 days ago

    (AM) and repair technologies using non-destructive evaluation (NDE) methods of x-ray computed tomography (XCT), digital radiography (DR), x-ray diffraction (XRD), electromagnetic testing (ET), immersion

  • University of Dayton | Dayton, Ohio | United States | about 16 hours ago

    sensing and imaging platforms. This may include writing and testing software in high level languages; writing and testing logic in hardware description languages; developing and testing signal processing

  • University of Dayton | Dayton, Ohio | United States | about 16 hours ago

    portfolio of completed projects. - Excellent technical, communication, interpersonal, time management and organizational skills. - Working knowledge of professional production equipment, and software such as

Enter an email to receive alerts for software-formal-method-phd positions