Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- Portugal
- United States
- Denmark
- Poland
- United Kingdom
- Norway
- France
- Sweden
- Germany
- Luxembourg
- Belgium
- Netherlands
- Australia
- Spain
- Croatia
- Austria
- Italy
- Worldwide
- Canada
- Latvia
- Switzerland
- Czech
- Greece
- Singapore
- United Arab Emirates
- Andorra
- Armenia
- China
- Estonia
- Finland
- Hong Kong
- Iceland
- Ireland
- Lithuania
- New Zealand
- Slovenia
- 26 more »
- « less
-
Program
-
Field
- Computer Science
- Medical Sciences
- Economics
- Biology
- Engineering
- Science
- Law
- Mathematics
- Chemistry
- Social Sciences
- Materials Science
- Arts and Literature
- Business
- Environment
- Psychology
- Electrical Engineering
- Linguistics
- Earth Sciences
- Education
- Philosophy
- Sports and Recreation
- Humanities
- Physics
- 13 more »
- « less
-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 days ago
; Not to have previously held a post-doctoral fellowship from IST-ID. Hold a bachelor’s degree in chemistry and a PhD Degree in Mechanical Engineering or vise-versa. Selection process Selection methods
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
to the intensional paradoxes. The project is highly interdisciplinary and brings together methods and techniques from philosophy, logic and linguistics. PhD 1 will be conducting research within the Property work
-
. Formal qualifications in applied mathematics, mathematical modelling or quantitative methods, evidenced by a certificate or degree. LanguagesSPANISHLevelExcellent Research FieldMathematics » Other
-
://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
-
Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be carried out at LRGP (Laboratoire
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 12 days ago
Engineering, or similar areas and to be enrolled in PhD. Additional Information Benefits Monthly maintenance allowance: the amount of the monthly maintenance allowance is €1.309,64, being the payment method
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 12 days ago
similar areas and to be enrolled in PhD Additional Information Benefits Monthly maintenance allowance: the amount of the monthly maintenance allowance is €1.309,64, being the payment method an option