Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Business
- Education
- Medical Sciences
- Computer Science
- Psychology
- Engineering
- Social Sciences
- Biology
- Law
- Environment
- Arts and Literature
- Design
- Statistics
- Electrical Engineering
- Earth Sciences
- Economics
- Sports and Recreation
- Chemistry
- Mathematics
- Humanities
- Physics
- 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
-
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
-
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
-
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
-
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
-
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
-
fingerprint screening, verification of education credentials, and/or verification of prior employment. For more information about background checks, visit https://policy.unm.edu/university-policies/3000
-
Mathjobs.org | 24 days ago
and topological machine learning; AI-assisted theorem proving, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed