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
- Humanities
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- Electrical Engineering
- 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
-
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
-
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
-
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
-
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
-
27 Mar 2026 Job Information Organisation/Company KOMAG Institute of Mining Technology Department Laboratory of Modelling Methods and Ergonomics Research Field Engineering » Mechanical engineering