- Eurofins USA Food Testing (North Platte, NE)
- …Train and document the training of assigned technical staff on test methods , formal SOPs, regulations, ISO requirements, and laboratory policies/procedures ... 50 countries. Eurofins offers a portfolio of over 200,000 analytical methods to evaluate the safety, identity, composition, authenticity, origin, traceability and… more
- United States Customs and Border Protection (Eulonia, GA)
- …and maintain composure in stressful situations; to learn regulations, methods , and techniques through classroom training and/or on-the-job instruction; and ... peers on the application of the appropriate law enforcement problem-solving methods , investigative techniques, and other law enforcement procedures. Working with law… more
- RTX Corporation (Cambridge, MA)
- …Cyber Technologies group seek well-qualified and eager System/Software Engineers with experience in Formal Methods to become an integral part of exciting new ... Computer Science, Computer Engineering, Electrical Engineering, or relevant field Experience in Formal Methods Ability to work and communicate as part of a team… more
- Microsoft Corporation (Redmond, WA)
- …to extend the state-of-the-art of research in the broad fields of formal methods , high-performance computing, programming languages, and software engineering. ... Actively conducting research in at least one of the following areas: formal methods , high-performance computing, programming languages, and software engineering.… 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 2026 - Completed coursework or prior internship experience with formal methods (SW/HW) - Coursework or prior internship experience in the basics of… more
- Amazon (Portland, OR)
- …Computer Science, Mathematics, or related technical field - Deep understanding of formal methods , formal verification, solvers, constraint solving, and ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
- Amazon (Santa Clara, CA)
- …of algorithms and data structures Preferred Qualifications - Deep understanding of formal methods , formal verification, solvers, constraint solving, and ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
- Amazon (Santa Clara, CA)
- …Computer Science, Mathematics, or related technical field - Deep understanding of formal methods , formal verification, constraint solving, and knowledge ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
- Amazon (Arlington, VA)
- …in the life You will be working on cutting edge technology related to formal methods , automated reasoning, automated testing, and adjacent areas. You will work ... Description Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to… more
- Amazon (Portland, OR)
- …Computer Science, Mathematics, or related technical field - Deep understanding of formal methods , formal verification, constraint solving, and knowledge ... for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be...to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches… more
- MIT Lincoln Laboratory (Lexington, MA)
- …for autonomous systems, particularly techniques supported by optimization, control theory, and formal methods . Typical tasks in this role involve developing ... computer vision algorithms (eg, convolutional neural networks, reinforcement learning, and formal methods approaches) + Optimization theory (convex, non-convex,… more
- Amazon (Arlington, VA)
- …in the life You will be working on cutting edge technology related to formal methods , automated reasoning, automated testing, and adjacent areas. You will work ... Description Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to… 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
- University of Kansas (Lawrence, KS)
- …at the University level. 3. Expertise in any area related cybersecurity, formal methods , algorithms, and/or artificial intelligence, including but not limited ... with a focus in areas such as (but not limited to) Cybersecurity, Formal Methods , Algorithms, and Artificial Intelligence. Successful candidates are expected to… more
- University of Colorado (Boulder, CO)
- …spanning the broad areas of computer systems, programming languages, software engineering, formal methods and artificial intelligence. Modern AI systems draw ... that have been studied in the areas of programming languages and formal methods . Conversely, AI and Machine Learning techniques are impacting how we design,… more
- Microsoft Corporation (Redmond, WA)
- …AI/data processing/ formal reasoning/natural language systems. + PhD in Formal Methods , Natural Language Processing, or Language-Model training/inference with ... areas: language model training and inference, natural language processing, formal reasoning, systems/infrastructure for AI/reasoning. The position involves developing… 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 +...years of experience in data science, economics, or quantitative methods + Proficiency with Python and SQL + Proficiency… 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
- Air National Guard Units (TX)
- …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
- Air National Guard Units (Kirtland AFB, NM)
- …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,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Formal Methods