Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- Netherlands
- Luxembourg
- France
- Sweden
- Spain
- Australia
- Czech
- Belgium
- Austria
- Italy
- Singapore
- United Arab Emirates
- Canada
- Croatia
- Finland
- Ukraine
- Slovenia
- Worldwide
- Ireland
- Malaysia
- China
- Greece
- Japan
- Morocco
- Switzerland
- 22 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Law
- Chemistry
- Business
- Humanities
- Environment
- Linguistics
- Psychology
- Social Sciences
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | about 2 months ago
Inference https://arxiv.org/abs/2312.02179 Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving https://arxiv.org/abs/2507.23726 Kimina-Prover Preview: Towards Large Formal Reasoning Models
-
Spiders” awarded to the Computer Science Department of the University of Manchester, see https://www.renaissancephilanthropy.org/learning-to-do-math-with-vampires-and-spiders The formal methods group
-
of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation of the mathematical models of the patho-physiology and PK/PD
-
, implementing, and controlling complementary techniques such as histochemistry and immunohistochemistry. Sample preparation for paraffin embedding, cryo-microtomy, vibratome sectioning, and related methods
-
-ranked journals. To strengthen the research group in Financial Accounting and Auditing we seek candidates with confirmed competence in quantitative archival-empirical methods within the financial
-
of traffic laws, rules and regulations, for security and general law enforcement methods and techniques Ability to direct traffic and to maintain order, prepare reports of incidents and accidents, communicate
-
interactions among neighbouring agents and their environments. The research will exploit an interdisciplinary approach that combines control theory, nonlinear dynamical systems, robotics, and formal methods
-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
the whole application process Learn Dutch through a method focused on language learning for high skilled healthcare professionals Have certainty of a worry-free process Get help finding your future home All
-
future. Apply and: Find your dream job abroad Get guidance during the whole application process Learn Dutch through a method focused on language learning for high skilled healthcare professionals Have