Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- France
- Sweden
- Germany
- Luxembourg
- Belgium
- Croatia
- Netherlands
- Spain
- Australia
- Canada
- Singapore
- Austria
- United Arab Emirates
- Worldwide
- Finland
- Italy
- Czech
- Greece
- Latvia
- Switzerland
- China
- Japan
- Andorra
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- 28 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Law
- Mathematics
- Materials Science
- Education
- Chemistry
- Business
- Social Sciences
- Arts and Literature
- Environment
- Psychology
- Linguistics
- Electrical Engineering
- Humanities
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- 13 more »
- « less
-
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
-
. Formal qualifications in applied mathematics, mathematical modelling or quantitative methods, evidenced by a certificate or degree. LanguagesSPANISHLevelExcellent Research FieldMathematics » Other
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 2 days ago
is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos-relacionados ); ii
-
://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
-
Ordinance nr. 33/2019, of January, 25th. It is mandatory to present the certificate to sign the contract. More information is available on: https://www.dges.gov.pt/pt/pagina/reconhecimento Workplan and the
-
instructor is expected to incorporate the latest best-practice teaching methods to engage a diverse student population consisting of roughly equal numbers of highly motivated international and Saudi students
-
of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1448, until de 23h59m (local time) of 10-04-2026. The application must include: full name, number and
-
. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1449, until de 23h59m (local time) of 10/04/2026. The application must include: full
-
order to ensure compliance with federal and state regulations, University policies and procedures, and sound business practices; identifies process improvements; makes formal recommendations based
-
advanced retrieval techniques, including spatio-temporal regularization, and hybrid methods with machine learning and deep learning. He/she will support the development of an improved forest RTM that can