Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Netherlands
- Germany
- Sweden
- France
- Luxembourg
- Spain
- Australia
- Belgium
- Canada
- Italy
- Singapore
- Croatia
- Czech
- United Arab Emirates
- Austria
- Finland
- Ukraine
- Worldwide
- Switzerland
- Greece
- Japan
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- Morocco
- 24 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Mathematics
- Law
- Chemistry
- Business
- Psychology
- Social Sciences
- Humanities
- Arts and Literature
- Environment
- Linguistics
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- 13 more »
- « less
-
to sign the contract. More information is available on: https://www.dges.gov.pt/pt/pagina/reconhecimento . Workplan and the objectives to achieve: This work aims to develop a numerical approach based on
-
. This project will utilise a combination of molecular and cell biology approaches, microbiology and advanced quantitative proteomic methods. ZDHHC5 knockout cells will be used to study the perturbed cell surface
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 11 days ago
is 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
-
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 | 23 days ago
: This grant aims to develop methods based on reachability analysis to design robust MPC controllers for the final approach of a tethered spacecraft for active debris removal. This grant will investigate
-
functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial
-
with the provisions of Decree-Law no. 66/2018 of 16th August, and all formalities established therein must be complied with at the signature of Fellowship contract. Working plan: Optimization
-
Research Council rate (currently set at £20,780 p.a.) for four years. Please note the eligibility criteria set out by the UKRI at: https://www.ukri.org/what-we-do/developing-people-and-skills/esrc/funding
-
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
-
The University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 10 hours ago
regulations, permit requirements and development agreements. Responsible for the planning and management of formal capital projects, which may range from $500,000 to in excess of $100,000,000, and may include