Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- France
- Sweden
- Germany
- Netherlands
- Luxembourg
- Croatia
- Belgium
- Australia
- Canada
- Czech
- Singapore
- Spain
- Austria
- Italy
- United Arab Emirates
- Finland
- Greece
- Switzerland
- Japan
- Worldwide
- Andorra
- Armenia
- China
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- Slovenia
- 25 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Law
- Chemistry
- Materials Science
- Social Sciences
- Business
- Arts and Literature
- Psychology
- Environment
- Humanities
- Linguistics
- Electrical Engineering
- Earth Sciences
- Philosophy
- Sports and Recreation
- 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
-
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
-
://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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days ago
March 2026 and may be eventually renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 1 hour ago
to formalize applications with the submission of the following documents: B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos-relacionados ); Curriculum Vitae; academic
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 14 hours ago
: The research fellowship(s) will have the duration of 6 months. It’s expected to begin on 1 May 2026, and may be renewed. It is mandatory to formalize applications with the submission of the following documents
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 14 hours ago
have the duration of 6 months. It’s expected to begin on 1 August 2026, and may be renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 14 hours ago
. Application deadline and formalization: The call is open from March 17 until March 23, 2026. It is mandatory to formalize applications with the submission of the following documents: B1 Form – Fellowship
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 14 hours ago
2026 and may be eventually renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos