Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- ;
- Nature Careers
- Cornell University
- University of Porto
- University of Texas at Austin
- CNRS
- FEUP
- IMT Atlantique
- Instituto Superior de Engenharia do Porto
- Iowa State University
- Technical University of Denmark
- University of Glasgow
- University of Oslo
- Utrecht University
- Aalborg University
- Adam Mickiewicz University
- Cardiff University
- Carnegie Mellon University
- Faculty of Sciences of the University of Porto
- Flow Analysis and simulation Team
- Harvard University
- ICN2
- KOMAG Institute of Mining Technology
- King's College London
- Laboratoire de Chimie Théorique, Sorbonne Université & CNRS
- Loyola University
- Luxembourg Institute of Science and Technology
- Nanyang Technological University
- Riga Technical University
- SORBONNE UNIVERSITY ABU DHABI
- Silesian University of Technology
- Sim4Safety Lda.
- State University of New York University at Albany
- Texas A&M TVMDL
- The Franciszek Górski Institute of Plant Physiology Polish Academy of Sciences
- The University of Chicago
- Umeå University
- Umeå universitet
- Universidade do Porto – HR
- University of Aveiro
- University of Delaware
- University of Illinois at Urbana Champaign
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Pennsylvania
- University of Saskatchewan
- University of Silesia in Katowice
- University of Texas at El Paso
- University of Toronto
- University of Warsaw
- University of Washington
- Vrije Universiteit Amsterdam (VU)
- Warsaw University of Technology
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 44 more »
- « less
-
Field
-
entities). The entity thus has the ability to anticipate using internal simulations, which would be extremely difficult using formal proofs methods in complex environments [1]. Entity can launch multiple
-
, United States of America [map ] Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03 05:00 AM UnitedKingdomTime) Position Description: Apply Position Description
-
and potentially PhD students in research projects, professional development, and academic progression, offering guidance on research methodology and dissemination. Encourage autonomy, resilience, and
-
(industry, grid operators, regulators) and an interest in societal impact pathways As a formal qualification, you must hold a PhD degree (or equivalent). You will be assessed against the responsibilities and
-
of this role involve conducting research in I/O systems, formal methods, and machine learning, as well as contributing to NSF-funded collaborative projects and publishing research papers. The position also
-
DC-26094– POSTDOC/DATA SCIENTIST – AI-DRIVEN CLIMATE RISK MODELLING AND EARLY WARNING SYSTEMS FOR...
. To strengthen its activities in supporting humanitarian anticipatory actions with AI-based methods, LIST is offering a 18-month fixed-term postdoctoral/data scientist position in AI-driven climate risk
-
memorization in LLMs Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods
-
), experiment setup, method development, maintenance, scientific vigilance…, there will be ample opportunity to define and manage as principal investigator R&D and technological projects, as well as participate