- 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)
- …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 (Marlborough, MA)
- …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
- Raytheon (Marlborough, MA)
- …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
- Raytheon (Tewksbury, MA)
- … 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
- 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
- Amazon (Cupertino, CA)
- …Develop checking algorithms, assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and ... to deliver high performance at low cost. Responsibilities: - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - Work… more
- Amazon (Austin, TX)
- …be responsible for defining and checking the specification of critical hardware modules using formal methods and industrial model checkers. You will be a part of ... and September 2025. * Completed coursework or prior internship experience with formal methods (SW/HW) * Coursework or prior internship experience in the basics… more
- Amazon (Seattle, WA)
- …of scientists from around the world. Expertise areas include SAT/SMT solvers, formal methods , program analysis, machine learning, neuro-symbolic AI, and ... Mathematics, or related technical field - Deep understanding of formal methods , formal verification, constraint solving, and knowledge representation… more
- Amazon (Columbia, MD)
- …Programming and reasoning about in Rust programming language - Experience in RTL formal verification methods - Creating and validating mathematical models of the ... a Principal Applied Scientist to help define and drive formal verification of hardware, software, and RTL (FPGA) code...the ground up and will help drive automated reasoning methods to deliver strong security guarantees to our customers.… more
- Amazon (Seattle, WA)
- …Scientist at Amazon Prime Air you will: Develop the value proposition for formal verification, runtime assurance, and other methods for software under ... Science, Mathematics, or Computer Engineering - Experience in RTL formal verification methods - Creating and validating mathematical models of the behavior… 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
- Commonwealth of Pennsylvania (PA)
- …BEHAVIOR 3 - EVALUATE STUDENT PROGRESS Evaluate student progress using both formal and informal methods such as administering competency based, standardized, ... A. I have experience evaluating student progress using both formal and informal testing methods ; correcting and...progress using both formal and informal testing methods ; correcting and grading tests and homework assignments; AND… 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
- Air National Guard Units (Otis Ang, MA)
- …and technical staff at NGB and Headquarters, US Air Force, through informal and formal methods of contact. Works closely with the Army National Guard within ... Identifies employee developmental needs and provides or arranges for training ( formal and on-the-job) to maintain and improve job performance. Encourages… more
- Siemens (Wilsonville, OR)
- …and constraint solving. You'll work at the intersection of software engineering, formal methods , and high-performance computing, helping evolve one of the ... and scalable system design + Prior contributions to verification tools or formal methods frameworks Why us? Working at Siemens Software means flexibility -… 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 ... current verification and validation paradigms, including model testing, simulation, and formal methods . + Experience developing with machine learning frameworks… 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
- The Walt Disney Company (Burbank, CA)
- …+ Graduate degree (Master's or Doctorate)-with significant graduate-level academic exposure to formal or quantitative methods and 3+ years of experience + ... design + Developing and interpreting the results of new formal models to forecast or predict business outcomes +...outcomes + Developing and interpreting the results of new formal models (eg marketing mix models, attribution models, etc.)… more
- Air National Guard Units (Boise, ID)
- …and technical staff at NGB and Headquarters, US Air Force, through informal and formal methods of contact. Prepares briefings and data analysis for senior ... Identifies employee developmental needs and provides or arranges for training ( formal and on-the-job) to maintain and improve job performance. Encourages… more
Related Job Searches:
Formal,
Formal Methods Research Engineer,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Formal Methods,
Sr Principal Formal Methods