Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Business
- Education
- Medical Sciences
- Computer Science
- Psychology
- Engineering
- Social Sciences
- Biology
- Arts and Literature
- Environment
- Law
- Design
- Statistics
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Economics
- Chemistry
- Mathematics
- Physics
- Humanities
- Science
- Linguistics
- Materials Science
- Philosophy
- 15 more »
- « less
-
-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty
-
-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty
-
provided by the Frama-C platform [2] will have to be studied, for example the automatic generation of formal specifications for Frama-C/WP. [2] https://frama-c.com Moyens / Méthodes / Logiciels LLM, static
-
a related field, or an equivalent combination of formal training and on-the-job experience, preferred Formal supervisory or management training, preferred Formal project management training
-
verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents
-
collectively, and individually, make a real difference. The role We are looking to recruit a Senior Research Software Engineer for a new project on formal verification, seL4 security and AI-assisted theorem
-
contribute to one or more of the following components: Reinforcement Learning for Reasoning Formal Verification and Lean Automation AI-Assisted Collaboration and Problem Formulation Preference will be given
-
forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents
-
Research Assistant/Associate in Formal Methods Requisition ID: 29519 Location: Newcastle, GB Contract Type: Fixed Term Working Pattern: Full Time Posted Date: 14 Aug 2026 Salary: Research
-
Massachusetts Institute of Technology | Cambridge, Massachusetts | United States | about 3 hours ago
original scholarly research and developing course materials at the graduate and undergraduate levels. Candidates are expected to have had formal graduate training and research focus in statistics, data