Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- Portugal
- United States
- Poland
- Denmark
- United Kingdom
- Norway
- Germany
- Netherlands
- France
- Spain
- Sweden
- Belgium
- Czech
- Australia
- Croatia
- Luxembourg
- Italy
- Singapore
- Austria
- United Arab Emirates
- Canada
- Finland
- Ukraine
- Greece
- Ireland
- Worldwide
- Slovenia
- Switzerland
- Estonia
- Iceland
- Japan
- Lithuania
- Malaysia
- Morocco
- 24 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Chemistry
- Education
- Materials Science
- Law
- Mathematics
- Business
- Psychology
- Environment
- Social Sciences
- Humanities
- Linguistics
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Design
- Sports and Recreation
- Philosophy
- Physics
- 14 more »
- « less
-
Methods for Industrial Engineering Apply for this job See advertisement About the position Position as PhD Research Fellow in formal methods and knowledge representation available at Department
-
, Pennsylvania 15237, United States of America [map ] Subject Areas: Mathematics; Formal Methods; AI Appl Deadline: (posted 2026/01/15, listed until 2026/07/15) Position Description: Apply Position Description
-
psychosis—in young people, combining cutting-edge psychometric techniques with in-depth qualitative methods. The validity of ESM findings depends on adequate measures. However, many ESM items currently in use
-
To apply, contact: Formal applications should be submitted https://www.brookes.ac.uk/students/research-degrees-team/prospective-students/applying via the above 'Apply' button. Masters by Research
-
established Systems Neuroimmunology Laboratory at LMU Munich (www.m-kaufmann.com ) is seeking a motivated and creative PhD candidate passionate about combining immunologic methods and advanced computational
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
these common psychiatric traits within the general population influence the selection and efficiency of cognitive shortcuts. By studying these factors in sub-clinical populations (individuals without a formal
-
ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS | Portugal | about 6 hours ago
supervision of Professor Maria Manuela Mendes, PhD. Where to apply Website https://recrutamento.conhecimentoinovacao.iscte-iul.pt/jobs Requirements Research FieldOtherEducation LevelMaster Degree or equivalent
-
, operating systems, programming languages, formal methods, real-time systems, security and cryptography, and theory of computation and algorithms. In addition, members of the Department collaborate closely
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term