Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Sweden
- Germany
- Netherlands
- France
- Luxembourg
- Croatia
- Belgium
- Spain
- Canada
- Australia
- Czech
- Italy
- Singapore
- Finland
- United Arab Emirates
- Austria
- Ukraine
- Greece
- Switzerland
- Japan
- Worldwide
- Andorra
- Armenia
- China
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- 25 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Law
- Chemistry
- Business
- Social Sciences
- Psychology
- Arts and Literature
- Environment
- Humanities
- Linguistics
- Electrical Engineering
- 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
-
://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
-
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 5 hours ago
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) Curriculum
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
proper mechanisms for guaranteeing the privacy of the patients. Additionally, AI methods that explore this data may ensure that the patients are not identifiable and that all decisions are transparent
-
the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. https://www.jaist.ac.jp/project/crest_fmap/en
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
to begin in April/2026, and may be eventually renewed up to the maximum of 24 months, including the duration of the initial contract. It is mandatory to formalize applications with the submission
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 days ago
of a mixed-age participatory decision-making methodology based on gamified MCDA tools. The work will begin with the refinement and formalization of the theoretical and methodological framework, including
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
expected to begin in March 2026, and may be eventually renewed up to the maximum of 12 months, including the duration of the initial contract It is mandatory to formalize applications with the submission
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15 05:00 AM UnitedKingdomTime, listed until 2026/07/16 04:59 AM UnitedKingdomTime