Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Germany
- Netherlands
- France
- Sweden
- Spain
- Czech
- Australia
- Belgium
- Croatia
- Luxembourg
- Austria
- Canada
- Singapore
- United Arab Emirates
- Italy
- Finland
- Ukraine
- Greece
- Ireland
- Worldwide
- Slovenia
- Switzerland
- China
- Estonia
- Iceland
- Japan
- Lithuania
- Malaysia
- Morocco
- 25 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Chemistry
- Law
- Mathematics
- Business
- Psychology
- Environment
- Social Sciences
- Linguistics
- 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 | 8 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
-
(HORIZON-INFRA-2024-TECH-01-01 – R&D for the next generation of scientific instrumentation, tools, methods, and solutions for RI upgrade), this position focuses on data curation activities under Work Package
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 8 days ago
awarded by FCT in Portugal (https://www.fct.pt/fct-atualizou-o-valor-das-bolsas-para-2025/ ), the amount of the monthly maintenance allowance is € 1040,98, being the payment method an option of the Fellow
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 8 days ago
and may be 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/bolseiros
-
, United States of America [map ] Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03) Position Description: Apply Position Description The Institute for Computer-Aided
-
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
-
ICETA - Instituto de Ciências, Tecnologias e Agroambiente da Universidade do Porto | Portugal | 6 days ago
by email. Application Deadline: The call is open during the period of 26/01/2026 and 06/02/2026. Method of application submission: Applications must be formally submitted, on a mandatory basis, by
-
, please visit: https://qbm.genzentrum.lmu.de/application/ Tuition fees per semester in EUR None Combined Master's degree / PhD programme No Joint degree / double degree programme No Description/content
-
Resources programming targeted to local and area needs. Utilize appropriate methods, both formal and informal, of community assessment to identify educational needs and opportunities of local community
-
, operating systems, programming languages, formal methods, real-time systems, security and cryptography, and theory of computation and algorithms. In addition, members of the Department collaborate closely