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 16 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