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
-
Employer
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Aveiro
- University of Arkansas
- Nature Careers
- University of Texas at Austin
- Cornell University
- Faculty of Sciences of the University of Porto
- Broward College
- University of Nevada Las Vegas
- FEUP
- Technical University of Denmark
- Oregon State University
- University of Porto
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Florida International University
- University of Minnesota
- Universidade Católica Portuguesa - Porto
- University of Oslo
- University of Texas Rio Grande Valley
- Arkansas State University
- California State University, San Bernardino
- Foothill-De Anza Community College District
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- University of Kansas Medical Center
- University of Luxembourg
- Aarhus University
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- Instituto Superior de Engenharia do Porto
- Instituto de Engenharia Mecânica
- Texas A&M AgriLife Extension
- Universidade de Aveiro
- REQUIMTE - Rede de Quimica e Tecnologia
- The California State University
- Universidade Nova de Lisboa
- Universidade de Coimbra
- University of Sheffield
- University of Warsaw
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- University of Washington
- The Ohio State University
- University of Glasgow
- University of Houston
- University of Trás-os-Montes and Alto Douro
- CNRS
- Eastern Washington University
- INESC ID
- LNEC, I.P.
- The University of Chicago
- Adam Mickiewicz University, Poznań
- Eindhoven University of Technology (TU/e)
- Linköping University
- Purdue University
- Rutgers University
- San Francisco State University
- University of Michigan
- University of Nebraska–Lincoln
- University of Twente (UT)
- AGH University of Krakow
- Aveiro University
- California State University, Fullerton
- Centro de Computação Grafica
- Duke University
- Faculdade de Medicina da Universidade do Porto
- Georgia State University
- Institute of agriculture and tourism
- Instituto Politécnico de Viseu
- Jagiellonian University
- Military University of Technology - Wojskowa Akademia Techniczna
- Northeastern University
- Technical University of Munich
- Umeå University
- University of Minho
- University of Southern Denmark
- Washington State University
- Aalborg Universitet
- Escola Superior de Design, Gestão e Tecnologias da Produção de Aveiro - Norte da Universidade de Aveiro
- Ghent University
- Gulbenkian Institute for Molecular Medicine
- Harvard University
- Instituto Politécnico de Bragança
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- PhD-Jobs.NET
- Princeton University
- Stanford University
- UNIVERSIDADE DE ÉVORA
- University of Bergen
- University of California Agriculture and Natural Resources
- University of South Carolina
- University of Utah
- Aix-Marseille Université
- Arkansas Tech University
- Auburn University
- California State University, Fresno
- California State University, Northridge
- Carnegie Mellon University
- Coast Community College District
- Dana-Farber Cancer Institute
- East Carolina University
- Faculdade de Ciências Sociais e Humanas
- 90 more »
- « less
-
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 19 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 19 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 19 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 19 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