Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Netherlands
- Germany
- Sweden
- France
- Spain
- Luxembourg
- Australia
- Belgium
- Croatia
- Czech
- Italy
- Singapore
- Canada
- United Arab Emirates
- Finland
- Austria
- Ukraine
- Worldwide
- Greece
- Switzerland
- Estonia
- Hong Kong
- Iceland
- Ireland
- Japan
- Lithuania
- Morocco
- 23 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Chemistry
- Education
- Law
- Materials Science
- Mathematics
- Business
- Social Sciences
- Psychology
- Environment
- Humanities
- Arts and Literature
- Linguistics
- Electrical Engineering
- Earth Sciences
- Design
- Sports and Recreation
- Philosophy
- 13 more »
- « less
-
://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
-
-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
-
general supervision conferring with higher levels only in unusual situations. 8. Performs other job-related duties as required. Responsibilities will include: Pursue research on finite element methods
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 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
-
Methods for Industrial Engineering Apply for this job See advertisement About the position Position as PhD Research Fellow in formal methods and knowledge representation available at Department
-
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 | 16 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
-
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
-
, according to the table of values for scholarships awarded directly by FCT, I.P. in Portugal (http://alfa.fct.mctes.pt/apoios/bolsas/valores ). VIII. Selection methods: the following criteria will be applied