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
- United Arab Emirates
- Italy
- Canada
- Croatia
- Singapore
- 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
- Chemistry
- Law
- Business
- Environment
- Psychology
- Humanities
- Linguistics
- Social Sciences
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
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
-
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
-
, 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
-
application”. When formalizing the application, if a classified document is submitted that reveals commercial or industrial secrets, or secrets relating to literary, artistic or scientific property
-
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
-
Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa. | Portugal | about 17 hours ago
higher education institution, in accordance with Decree-Law no. 66/2018 of 16 August, and all formalities must be completed by the date of contract formalisation; iv) Application Form, duly completed
-
approaches. Formal models are directly applied in real experimental facilities. Marine Robotics is our current emphasis, without excluding candidates with prior experience on Aerial or Ground Systems. We
-
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