• 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
    JobGet (11/04/24)
    - Save Job - Related Jobs - Block Source
  • Formal Methods Research Engineer

    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
    RTX Corporation (10/02/24)
    - Save Job - Related Jobs - Block Source
  • Research Intern - RiSE group: Formal

    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
    Microsoft Corporation (10/24/24)
    - Save Job - Related Jobs - Block Source
  • ASIC Formal Verification Engineer Intern,…

    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 (10/04/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist, Automated Reasoning Group

    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 (11/16/24)
    - Save Job - Related Jobs - Block Source
  • Senior Applied Scientist, Automated Reasoning…

    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 (11/16/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist, Lean

    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 (11/16/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist, Socrates, Automated Reasoning

    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
    Amazon (11/16/24)
    - Save Job - Related Jobs - Block Source
  • 36: Tech Staff - Autonomy

    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
    MIT Lincoln Laboratory (11/08/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist II, AWS Identity

    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 (10/24/24)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist II, AWS Identity

    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 (10/17/24)
    - Save Job - Related Jobs - Block Source
  • Senior Hypervisor and RTOS Engineer

    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
    NVIDIA (10/24/24)
    - Save Job - Related Jobs - Block Source
  • Assistant Professor - Cybersecurity/Artificial…

    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 Kansas (10/08/24)
    - Save Job - Related Jobs - Block Source
  • Tenured/Tenure-Track Faculty in Trustworthy…

    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
    University of Colorado (10/04/24)
    - Save Job - Related Jobs - Block Source
  • Associate Marketing Data Science

    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 (11/23/24)
    - Save Job - Related Jobs - Block Source
  • Sr Marketing Data Scientist

    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
    The Walt Disney Company (10/27/24)
    - Save Job - Related Jobs - Block Source
  • [EOI] Postdoctoral Associate in Joseph…

    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
    New York University (10/29/24)
    - Save Job - Related Jobs - Block Source
  • Principal Machine Learning Engineer (RAG Pipeline…

    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
    Palo Alto Networks (11/18/24)
    - Save Job - Related Jobs - Block Source
  • Director Of Force Support

    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
    Air National Guard Units (11/15/24)
    - Save Job - Related Jobs - Block Source
  • Zone Coordinator, Downtown Brooklyn

    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
    City of New York (11/07/24)
    - Save Job - Related Jobs - Block Source