Sort by
Refine Your Search
-
Listed
-
Country
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Biology
- Science
- Mathematics
- Education
- Materials Science
- Business
- Law
- Social Sciences
- Linguistics
- Psychology
- Environment
- Chemistry
- Arts and Literature
- Humanities
- Earth Sciences
- Electrical Engineering
- Philosophy
- Sports and Recreation
- Design
- 13 more »
- « less
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 2 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
-
ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA | Italy | 4 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 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
-
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
-
use classical methods of analysis and synthesis. However, in the case of large systems, this type of approach will generally lead to very large optimization problems. A second strategy is to describe
-
manager of the hiring entity. 15. Formalization of applications: 15.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1450, until de 23h59m (local time) of 20/04
-
the tender notice. The final decision on hiring is the responsibility of the top manager of the hiring entity. 15. Formalization of applications: 15.1. Applications must be formalized at http://www.fe.up.pt
-
selected candidate. As part of the selection process, the employer may also conduct testing of applicants who meet the formal requirements. Applicants will be informed of the time and method of any
-
. Formal qualifications in applied mathematics, mathematical modelling or quantitative methods, evidenced by a certificate or degree. LanguagesSPANISHLevelExcellent Research FieldMathematics » Other