- Raytheon (Andover, MA)
- …environment.What You Will DoTranslate engineering design requirements into formal manufacturing process documentation including raw material definition, ... and statistical process control (SPC) dataMentor teammates in cutting edge machining methods and toolsValidate NC programs using CGTech Vericut and Cimco EditSupport… more
- Raytheon (Tucson, AZ)
- …fault tree analysis.Create/modify documentation in support of reviews associated with formal testing, which will include Test Plans and Procedures, Test Readiness ... the use of lab/field test equipmentExperience with Verification and Validation methods ..Active and transferrable US Government issued security clearance is required… 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
- Raytheon (Los Angeles, CA)
- … methods in achieving production yield improvements.Technical writing and formal presentation experience.Experience with any of the following tools: Mentor ... Graphics Designer, PSPICE, System Vision, MATLAB, Mathcad, IDL, Computer Simulation Technologies (CST), Microwave Design Studio, High Frequency Structure Simulator (HFSS) and Advanced Design System (ADS).What We OfferOur values drive our actions, behaviors,… 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
- Raytheon (Denver, CO)
- …with system requirements.Develop mechanical designs from initial concept to formal technical data package generation (engineering drawings, models) and culminating ... and/or bonding a plus.Demonstrated expertise in product assembly, fabrication methods , manufacturing processes and technologies including machined components &… 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
- NVIDIA (Santa Clara, CA)
- …system level components of world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and increase the quality of ... + Develop software that meets automotive safety and security standards, and apply formal methods (ADA SPARK, TLA+) to improve software integrity. What we need to… 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 ... future opportunities + Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under… more
- Jet Propulsion Laboratory (Pasadena, CA)
- …constrained-random verification methodology aligned to the test plan. + Apply formal methods to supplement simulation-based verification. + Systematically ... + Develop maintainable and robust regression system. + Develop automated methods for tracking and reporting verification progress, including the identification and… more
- New York University (New York, NY)
- …research in this area -Attending and engaging in discussions in a weekly seminary on formal methods Candidates should have interest and experience in one or more ... Seeking "Expressions of Interest" from Postdoctoral Researchers interested in formal verification of randomized programs to work with Professor Joseph Tassarotti in… more
- City of New York (New York, NY)
- …standard reporting tools and obtain regular partner and resident feedback through formal methods . Monitor performance of ongoing initiatives (eg volume of ... stakeholders and resources within the specific geographic area. 3. Establish formal partnerships, through an application and evaluation process, with relevant… more
- KBR (Chantilly, VA)
- …and apply current verification and validation paradigms, including model testing, simulation, and formal methods , to ensure the accuracy and reliability of AI ... with current verification and validation paradigms, including model testing, simulation, and formal methods . + Proficiency in programming languages such as… more
- Microsoft Corporation (Redmond, WA)
- …a wide variety of disciplines, including datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems, ... of the following core areas of research: datacenter networking, distributed systems, formal methods and verification, high performance computing, ML Systems,… more
Related Job Searches:
Formal,
Formal Methods Research Engineer,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Formal Methods,
Sr Principal Formal Methods