- 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
- 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 (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 (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 (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
- Amazon (New York, NY)
- …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
- 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
- The Walt Disney Company (Burbank, CA)
- …in Mathematics, Economics, Statistics, Data Science with significant academic exposure to formal or quantitative methods + Demonstrated academic achievement in ... degree (Master's or Doctorate)-with significant graduate-level academic exposure to formal or quantitative methods **Preferred Qualifications** + Proficiency… 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
- Palo Alto Networks (Santa Clara, CA)
- …impact on business + Design and development of workflow frameworks (using formal methods and algorithms), with result collection and visualization, monitoring ... with NLP, Recommender Systems, and LLM is strongly preferred + Experience with Formal Methods toolchain (z3, cvc5, TLA+) will be a plus + Excellent communication… 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
- 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
