Sort by
Refine Your Search
-
Listed
-
Country
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Biology
- Science
- Mathematics
- Education
- Business
- Materials Science
- Law
- Social Sciences
- Psychology
- Linguistics
- Environment
- Chemistry
- Arts and Literature
- Humanities
- Earth Sciences
- Sports and Recreation
- Electrical Engineering
- Philosophy
- Design
- 13 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 qualifications in applied mathematics, mathematical modelling or quantitative methods, evidenced by a certificate or degree. LanguagesSPANISHLevelExcellent Research FieldMathematics » Other
-
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
-
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
-
of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1448, until de 23h59m (local time) of 10-04-2026. The application must include: full name, number and
-
. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1449, until de 23h59m (local time) of 10/04/2026. The application must include: full
-
order to ensure compliance with federal and state regulations, University policies and procedures, and sound business practices; identifies process improvements; makes formal recommendations based
-
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
-
27 Mar 2026 Job Information Organisation/Company KOMAG Institute of Mining Technology Department Laboratory of Modelling Methods and Ergonomics Research Field Engineering » Mechanical engineering
-
needs, with particular attention to urban audiences and community engagement. Using both formal and informal methods of community assessment, the Educator will identify educational needs and opportunities