Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- France
- Norway
- Sweden
- Luxembourg
- Germany
- Belgium
- Croatia
- Netherlands
- Canada
- Australia
- Spain
- Singapore
- Austria
- Italy
- Worldwide
- Finland
- United Arab Emirates
- Czech
- Greece
- Latvia
- Switzerland
- China
- Andorra
- Armenia
- Cyprus
- Estonia
- Hong Kong
- Ireland
- Japan
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- South Africa
- 29 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Mathematics
- Law
- Materials Science
- Education
- Chemistry
- Social Sciences
- Business
- Arts and Literature
- Environment
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Philosophy
- Earth Sciences
- Design
- Sports and Recreation
- Physics
- 14 more »
- « less
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 8 days ago
may involve several complementary aspects: • Theoretical and formal developments to derive new electronic structure methods from QED; • More applied methodological developments, including the treatment
-
formalized at http://www.fe.up.pt/concursos , reference on-line nº 1456, until de 23h59m (local time) of 27/04/2026. The application must include: full name, number and date of identity card or citizen card
-
ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA | Italy | 10 days ago
Description The research project aims to investigate computational methods for the study of complex systems characterised by emergent dynamics, with particular attention to the micro–macro relationship in
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1454, until de 23h59m (local time) of 20/04/2026. The application must include: full name, number and
-
formalized at http://www.fe.up.pt/concursos , reference on-line nº 1452, until de 23h59m (local time) of 20/04/2026. The application must include: full name, number and date of identity card or citizen card
-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo
-
(Research Grants Regulation of FCT, I.P.). The fellow may also be reimbursed for the amount corresponding to the Voluntary Social Security, in case of adherence to this plan. 11. Selection methods
-
motivation letter to wolfgang.bacsa@cemes.fr and emmanuel.soubies@cnrs.fr . A formal application must also be submitted via the https://emploi.cnrs.fr/CNRS portal. However, we strongly encourage prospective