Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- France
- Germany
- Sweden
- Netherlands
- Luxembourg
- Croatia
- Belgium
- Canada
- Australia
- Czech
- Singapore
- Spain
- Austria
- Italy
- United Arab Emirates
- Finland
- Greece
- Switzerland
- Japan
- Worldwide
- Andorra
- Armenia
- China
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- 24 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Chemistry
- Materials Science
- Law
- Business
- Social Sciences
- Psychology
- Arts and Literature
- Environment
- Humanities
- Linguistics
- Earth Sciences
- Electrical Engineering
- 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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 4 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
-
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
-
) may be offered. We seek a scholar who applies quantitative methods (such as (causal) machine learning) to sport economics research questions in an innovative manner. Evidence of such contributions
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days 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
-
the provisions of Decreto-Lei n.º 66/2018, de 16 de Agosto, and all formalities established therein must be complied with at the signature of work contract. Working plan: Development and assessment of molecules
-
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
-
of 3D crystalline structures; – depending on the candidate's profile, implementing machine learning methods (AI & machine learning) for the analysis of physicochemical data from the hpmat.org database
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days 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