Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- Netherlands
- Luxembourg
- France
- Sweden
- Spain
- Czech
- Australia
- Austria
- Belgium
- Italy
- Singapore
- United Arab Emirates
- Canada
- Croatia
- Finland
- Ukraine
- Slovenia
- Worldwide
- Ireland
- Malaysia
- China
- Greece
- Japan
- Morocco
- Switzerland
- 22 more »
- « less
-
Program
-
Employer
- Nature Careers
- University of Aveiro
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Arkansas
- University of Texas at Austin
- Cornell University
- Universidade de Aveiro
- Florida International University
- University of Nevada Las Vegas
- Broward College
- FEUP
- University of Minnesota
- University of Michigan
- The California State University
- University of Porto
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Oregon State University
- Technical University of Denmark
- Universidade Católica Portuguesa - Porto
- University of Trás-os-Montes and Alto Douro
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Universidade de Coimbra
- Faculty of Sciences of the University of Porto
- University of Kansas Medical Center
- Instituto Politécnico de Bragança
- University of Luxembourg
- California State University, San Bernardino
- Centro de Computação Grafica
- CNRS
- Instituto Superior de Engenharia do Porto
- Texas A&M AgriLife Extension
- University of Bergen
- University of Minho
- University of Sheffield
- University of Washington
- Aarhus University
- Universidade Nova de Lisboa
- University of Glasgow
- INESC ID
- NOVA School of Science and Technology | FCT NOVA
- Technical University of Munich
- Arkansas State University
- Faculdade de Medicina da Universidade do Porto
- International Iberian Nanotechnology Laboratory (INL)
- NTNU Norwegian University of Science and Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- UNIVERSIDADE DE ÉVORA
- University of Houston
- University of Texas Rio Grande Valley
- University of Utah
- University of Warsaw
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- IBMC
- Nova School of Business and Economics
- RMIT University
- Stanford University
- The Ohio State University
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- University of Nebraska–Lincoln
- University of North Carolina at Chapel Hill
- University of Southern Denmark
- California State University, Fullerton
- Colorado State University
- Jagiellonian University
- Purdue University
- San Francisco State University
- The University of Chicago
- University of South Carolina
- Dana-Farber Cancer Institute
- Eindhoven University of Technology (TU/e)
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Politécnico de Leiria
- Princeton University
- Rutgers University
- University of Colorado
- University of Oslo
- University of Ostrava
- Aalborg Universitet
- Arkansas Tech University
- Aveiro University
- Coast Community College District
- Delft University of Technology (TU Delft)
- Durham University
- Georgia State University
- Ghent University
- Gulbenkian Institute for Molecular Medicine
- Instituto de Engenharia Mecânica
- Lublin University of Technology
- Lunds universitet
- Luxembourg Institute of Science and Technology
- MASARYK UNIVERSITY
- Malopolska Centre of Biotechnology
- NOVA School of Science and Technology
- PhD-Jobs.NET
- Rochester Institute of Technology
- UNIVERSITY OF VIENNA
- University of California
- University of California, Berkeley
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Mathematics
- Law
- Business
- Chemistry
- Linguistics
- Psychology
- Social Sciences
- Environment
- Humanities
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 14 days ago
. Duration: The research fellowship will have the duration of 6 months. It is expected to begin in January 2026, and may be eventually renewed. It is mandatory to formalize applications with the submission
-
. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1412, until de 23h59m (local time) of 12-01-2026. The application must include: full
-
performance while preserving formal guarantees. Implementation and experimental validation of the proposed methods, including hardware-in-the-loop and real-world experimental testing on robotic or unmanned
-
manager of the hiring entity. 14. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1419, until de 23h59m (local time) of 14/01
-
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
-
Doutorado de Nível Inicial |Projeto AGRO-CIRN - Proposta 1418 Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1418, until de 23h59m (local time) of 14-01-2026
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
related to staff position within a Research Infrastructure? No Offer Description teaching classes, particularly on psychological diagnosis, psychometrics, and psychological research methods teaching a
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
are currently recruiting candidates with expertise in data science, machine learning, computational or systems biology, and/or bioinformatics, with interest in applying computational methods in the context of all