- 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
- 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
- Qualcomm (Santa Clara, CA)
- …+ Degree in Computer Science /Electronic Engineering with practical experience in application of formal methods in hardware or software + Strong model ... 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… more
- Leidos (Arlington, VA)
- …formal methods tool - Demonstrable experience applying formal methods tools and techniques to software projects and/or systems. **Original Posting:** ... seeking a motivated intern to support our work in formal methods research. The position will be...and engineers in research projects focused on developing high-assurance software and systems. Tasks involved in this research include… more
- Leidos (Arlington, VA)
- …low-level systems, software correctness + Experience applying the application of formal methods in fundamental research contexts, to problems in complex ... **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… 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 ... Networking and Cyber Technologies group seeks well-qualified and eager Formal Method researchers with System/ Software Engineers experience...are not limited to:** + Build and advance a Formal Methods -related research area for BBN, having… 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 ... Networking and Cyber Technologies group seeks well-qualified and eager Formal Method researchers with System/ Software Engineers experience...are not limited to:** + Build and advance a Formal Methods -related research area for BBN having… more
- RTX Corporation (Cambridge, MA)
- …will contribute strong software development skills, and apply reasoning and formal methods techniques to significantly enhance security and resilience of ... well-qualified and skilled network and systems researcher with strong software development skills and an interest in security and...programming. + Experience with the application and scaling of formal methods techniques such as model checking,… more
- NVIDIA (Santa Clara, CA)
- …performance and virtualization support in the SOC + Extensively use Formal Methods to architect and develop high integrity software + Design debugging ... have an exciting opportunity for a talented Senior System Software Engineer to join our dynamic Automotive Team and...strong C and/or Ada/SPARK programming skills, and experience with formal methods , we want to hear from… more
- Leidos (Arlington, VA)
- …+ Ph.D. in Computer Science, Mathematics, or related degree + Applying formal methods , using technologies such as theorem provers for first-order ... **Description** Are you a motivated Principal Software Scientist with a technical vision and hands-on...opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to… more
Recent Jobs
-
AI/ML Python Developer
- NTT DATA North America (Irving, TX)
-
Sr. Java Microservices Developer
- NTT DATA North America (Irving, TX)