Sort by
Refine Your Search
-
Listed
-
Country
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Biology
- Science
- Education
- Mathematics
- Business
- Materials Science
- Law
- Social Sciences
- Psychology
- Linguistics
- Environment
- Chemistry
- Arts and Literature
- Humanities
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- Electrical Engineering
- 13 more »
- « less
-
ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA | Italy | about 20 hours ago
Description The research project aims to investigate computational methods for the study of complex systems characterised by emergent dynamics, with particular attention to the micro–macro relationship in
-
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
-
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
-
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
-
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
-
order to ensure compliance with federal and state regulations, University policies and procedures, and sound business practices; identifies process improvements; makes formal recommendations based
-
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