Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- France
- Norway
- Sweden
- Germany
- Luxembourg
- Belgium
- Croatia
- Netherlands
- Spain
- Australia
- Canada
- Singapore
- Austria
- United Arab Emirates
- Worldwide
- Finland
- Italy
- Czech
- Greece
- Latvia
- Switzerland
- China
- Japan
- Andorra
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- 28 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Mathematics
- Law
- Materials Science
- Education
- Chemistry
- Business
- Social Sciences
- Arts and Literature
- Environment
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Earth Sciences
- Philosophy
- Sports and Recreation
- Design
- Physics
- 14 more »
- « less
-
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
-
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
-
://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
-
selected candidate. As part of the selection process, the employer may also conduct testing of applicants who meet the formal requirements. Applicants will be informed of the time and method of any
-
. Formal qualifications in applied mathematics, mathematical modelling or quantitative methods, evidenced by a certificate or degree. LanguagesSPANISHLevelExcellent Research FieldMathematics » Other
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 8 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
-
electron microscopy methods in the lab including single particle analysis cryo-EM, cryo-CLEM, cryoFIB/SEM and cryo-ET. The job involves work in the EMBION cryo-EM facility as applications specialist in cryo
-
Ordinance nr. 33/2019, of January, 25th. It is mandatory to present the certificate to sign the contract. More information is available on: https://www.dges.gov.pt/pt/pagina/reconhecimento Workplan and the
-
instructor is expected to incorporate the latest best-practice teaching methods to engage a diverse student population consisting of roughly equal numbers of highly motivated international and Saudi students
-
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