- Sandia National Laboratories (Livermore, CA)
- …Be Like: We are seeking a summer, graduate level intern to help with our formal methods research and development. As an intern in Sandia's Digital Foundations ... and Mathematics Department, you will help advance formal methods computer science projects under the direction of Sandia technical staff. On any given day, you… 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)
- …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 (Seattle, WA)
- …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 (Seattle, WA)
- …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
- RTX Corporation (East Hartford, CT)
- …Engineering team researches and develops solutions using model-based systems engineering, formal methods , planning, decision making, controls, machine learning, ... a focused team on graph neural networks, causal discovery, hardware accelerators, formal methods , model-based design, and deploying AI in safety-critical… 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 work flow and increase the quality of our SW. We… 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
- 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 programming languages, applying formal verification, program analysis, constraint-solving, and/or theorem proving to real world… more
- University of Michigan (Ann Arbor, MI)
- …understanding, experience, and/or formal didactic training in biostatistics + Formal mixed methods training (workshop, certificate program, mentorship) + ... Apply Now **Job Summary** **Research Area Specialist Intermediate for the Mixed Methods Program** The Department of Family Medicine is seeking candidates for a… 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
- 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
- Amazon (Seattle, WA)
- …Science, Mathematics, or related technical field - Deep understanding of LLMs, formal methods , constraint solving, and knowledge representation - Ability to ... to end. You will: * Define and implement new formal reasoning applications that employ scalable and efficient approaches...business decisions Learn and Be Curious. We have a formal mentor search application that lets you find a… 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
- National Park Service (Sandstone, WV)
- …of assignments for the supervisor's approval. Assist in helping others learn through formal or informal methods ; train, mentor, coach, and evaluate interpretive ... resources. Engage the public through presenting a series of formal structured programs (eg, walks, talks, tours, presentations, demonstrations,...(SAA) as evidenced by one of the three following methods : I am in the upper third of my… more
- Office of Naval Research (Naval Research Laboratory, DC)
- …security and publishing the results of the research; 3) Investigating the application of formal methods from mathematics and logic to computer security; and 4) ... public sector. Specialized experience must demonstrate the following: 1) Developing formal foundations for target areas and evaluation such foundations for… 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
Related Job Searches:
Formal,
Methods,
Research Formal Methods,
Software Assurance Formal Methods,
Software Formal Methods