Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Germany
- Netherlands
- France
- Spain
- Sweden
- Czech
- Australia
- Belgium
- Croatia
- Luxembourg
- Singapore
- Austria
- Canada
- United Arab Emirates
- Italy
- Finland
- Ukraine
- Greece
- Ireland
- Worldwide
- Slovenia
- Switzerland
- China
- Estonia
- Iceland
- Japan
- Lithuania
- Malaysia
- Morocco
- 25 more »
- « less
-
Program
-
Employer
- University of Aveiro
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Nature Careers
- University of Arkansas
- Cornell University
- Faculty of Sciences of the University of Porto
- University of Texas at Austin
- Universidade de Aveiro
- University of Nevada Las Vegas
- University of Porto
- FEUP
- Florida International University
- Universidade Católica Portuguesa - Porto
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Oregon State University
- Broward College
- University of Minnesota
- University of Trás-os-Montes and Alto Douro
- Technical University of Denmark
- The California State University
- Universidade de Coimbra
- University of Michigan
- Instituto Superior de Engenharia do Porto
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- University of Kansas Medical Center
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Centro de Computação Grafica
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade Nova de Lisboa
- University of Glasgow
- University of Minho
- University of Warsaw
- University of Washington
- Aarhus University
- California State University, San Bernardino
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- University of Texas Rio Grande Valley
- CNRS
- INESC ID
- Texas A&M AgriLife Extension
- University of Sheffield
- Technical University of Munich
- University of Oslo
- University of Southern Denmark
- Arkansas State University
- Faculdade de Medicina da Universidade do Porto
- International Iberian Nanotechnology Laboratory (INL)
- Jagiellonian University
- NOVA School of Science and Technology | FCT NOVA
- The Ohio State University
- The University of Chicago
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- University of Bergen
- University of Houston
- University of Nebraska–Lincoln
- University of Twente (UT)
- University of Utah
- Escola Superior de Design, Gestão e Tecnologias da Produção de Aveiro - Norte da Universidade de Aveiro
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- LNEC, I.P.
- NEW YORK UNIVERSITY ABU DHABI
- Purdue University
- RMIT University
- UNIVERSIDADE DE ÉVORA
- AGH University of Krakow
- Aix-Marseille Université
- Eindhoven University of Technology (TU/e)
- Ghent University
- IBMC
- Institute of agriculture and tourism
- KU LEUVEN
- Lublin University of Technology
- Luxembourg Institute of Science and Technology
- Nova School of Business and Economics
- Rutgers University
- San Francisco State University
- Stanford University
- University of Ostrava
- University of South Carolina
- Aalborg Universitet
- Arkansas Tech University
- Aveiro University
- California State University, Fullerton
- Colorado State University
- Dana-Farber Cancer Institute
- Duke University
- East Carolina University
- Eastern Washington University
- Georgia State University
- Gulbenkian Institute for Molecular Medicine
- Inria, the French national research institute for the digital sciences
- Instituto Nacional de Saúde Dr. Ricardo Jorge
- MASARYK UNIVERSITY
- Military University of Technology - Wojskowa Akademia Techniczna
- Northeastern University
- PhD-Jobs.NET
- Politécnico de Leiria
- Princeton University
- SWPS University
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Chemistry
- Law
- Mathematics
- Business
- Psychology
- Social Sciences
- Environment
- Humanities
- Linguistics
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
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
-
-generation into medical device software development processes. You will be trained to carry out research that combines software engineering, formal methods, and safety assurance. You are not expected to have
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15, listed until 2026/07/15) Position Description: Apply Position Description
-
psychosis—in young people, combining cutting-edge psychometric techniques with in-depth qualitative methods. The validity of ESM findings depends on adequate measures. However, many ESM items currently in use
-
established Systems Neuroimmunology Laboratory at LMU Munich (www.m-kaufmann.com ) is seeking a motivated and creative PhD candidate passionate about combining immunologic methods and advanced computational
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
these common psychiatric traits within the general population influence the selection and efficiency of cognitive shortcuts. By studying these factors in sub-clinical populations (individuals without a formal