Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Universidade Católica Portuguesa - Porto
- University of Manchester
- University of South-Eastern Norway
- Durham University
- Harvard University
- Indiana University
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Nanyang Technological University
- National University of Singapore
- Nova School of Business and Economics
- University of Aveiro
- University of Texas at Austin
- Aarhus University
- Center for Biologics Evaluation and Research (CBER)
- Center for Drug Evaluation and Research (CDER)
- INESC ID
- Imperial College London
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Politécnico de Leiria
- The University of Alabama
- UCL;
- Universidade Nova de Lisboa
- University of Kansas Medical Center
- University of Nottingham
- University of Porto
- University of Stavanger
- ;
- Birkbeck University of London
- Centro de Astrofisica da Universidade do Porto
- European Molecular Biology Laboratories
- FCiências.ID
- FEUP
- Fields Institute
- Hanyang University
- Hong Kong Polytechnic University
- Instituto de Educação da Universidade de Lisboa
- Instituto de Engenharia Mecânica
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- LNEC, I.P.
- Life and Health Sciences Research Institute (ICVS), from the School of Medicine (EM) of the University of Minho
- London School of Hygiene & Tropical Medicine;
- Nord University
- Northeastern University
- REQUIMTE - Rede de Quimica e Tecnologia
- TAMPERE UNIVERSITY
- Universidade de Leiria e Oeste
- University of Agder (UiA)
- University of Bergen
- University of Birmingham
- University of Bristol
- University of Glasgow
- University of London
- University of Maryland, Baltimore
- University of Notre Dame
- University of Sheffield
- University of Southampton;
- Western Norway University of Applied Sciences
- Zintellect
- 50 more »
- « less
-
Field
-
English English PhD Research Fellow in Formal Methods and Knowledge Representation for Engineering Information Apply for this job See advertisement About the position We invite applications for a PhD
-
, while contributing effectively to a collaborative research programme Essential Application/interview Ability to work effectively with researchers from different backgrounds, including formal methods
-
verification and/or formal methods; (c) excellent programming skills in Python and experience with modern AI frameworks (e.g., PyTorch), LLM ecosystems and agent development frameworks; and (d) strong
-
molecular microbiology methods (e.g., nucleic acid extraction, qPCR, dPCR) and quantitative data analysis Fieldwork experience, including environmental sampling Strong written and oral communication skills
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 8 hours ago
. It 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
-
of Decree-Law no. 341/2007 of October 12th, and all formalities established therein must be complied with at the signature of Fellowship contract. Working plan: Proven experience in biorefinery, catalytic
-
particular, the research fellow is going to work on hardware security, with a focus on hardware correctness via programming languages and formal methods. Only shortlisted applicants will be notified.
-
Research in the Division of Population Health, Health Services Research and Primary Care, supporting delivery of a NIHR SPCR mixed-methods research project examining how continuity of care in general
-
to: identify, analyse, and compare barriers experienced by disabled people, map and evaluate existing party initiatives and best practices, explore to what extent formal rules and informal norms render parties
-
Center for Drug Evaluation and Research (CDER) | Silver Spring, Maryland | United States | about 15 hours ago
, these endpoints cannot be formally validated. Innovative methods for evaluation of these endpoints could be explored to investigate the utility of their use in clinical trials for patients with rare tumors