- Raytheon (Andover, MA)
- …environment.What You Will DoTranslate engineering design requirements into formal manufacturing process documentation including raw material definition, ... SPC, shop floor process monitoring, data collection and adaptive methods .Multi-axis CNC programming experienceSystem design and integration experience.FANUC robot… more
- Raytheon (Tucson, AZ)
- …methods in achieving production yield improvements, technical writing, formal presentation, and implementing Engineering Change Notices.Self-starter who's capable ... of working independently as well as with a small technical team. Providing technical oversight and direction, cost estimation, tracking & reporting, coordination, preparation of detailed technical team reports, and proposal support.What We OfferOur values… more
- Collins Aerospace (Atlanta, GA)
- …perform special investigations, and product testing. Other duties might include formal /informal training and/or support and installation of test equipment products ... efficient manner. Uses analysis of CRG failure data to identify proactive methods of preventing future failures. Provides capacity planning and utilization analysis… more
- Leidos (Arlington, VA)
- **Description** Leidos is seeking a motivated intern to support our work in formal methods research. The position will be based out of our Arlington, VA office, ... and artifacts as part of developing test cases that entail the application of formal methods analysis techniques and tools. - Integrate and adapt formal … more
- Leidos (Arlington, VA)
- **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing state-of-the-art ... Rust, or Python + At least 3 years of hands-on experience:applying formal methods , using technologies such as theorem provers for first-order logic and… more
- RTX Corporation (Cambridge, MA)
- …such systems. This position is an opportunity to exciting new technologies to support Formal Methods for verification of processes, networks, etc. You will work ... include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN, having measurable impact on business capture. +… more
- RTX Corporation (Cambridge, MA)
- …shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and ... include, but are not limited to:** + Build and advance a Formal Methods -related research area for BBN having measurable impact on business capture. +… more
- RTX Corporation (Cambridge, MA)
- …you will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... and logic programming. + Experience with the application and scaling of formal methods techniques such as model checking, model measuring, and theorem proving +… more
- Qualcomm (Santa Clara, CA)
- …with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the ... in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model checking or theorem… more
- NVIDIA (Santa Clara, CA)
- …(RTOS), ARM architecture, Virtualization, strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from you! Join us in ... of a team that is revolutionizing the industry. We are making extensive use of formal methods to automate our workflow and increase the quality of our SW. We are… more
Related Job Searches:
Formal,
Formal Methods Research Engineer,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Formal Methods,
Sr Principal Formal Methods