Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- Technical University of Denmark
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- Duke University
- Lodz University of Technology
- University of Antwerp
- University of Aveiro
- University of Glasgow
- University of Warsaw
- Aarhus University
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Argonne
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- CNRS
- Durham University
- FEUP
- IMT Mines Ales
- Idiap Research Institute
- Imperial College London
- Institute of Public Health University of Porto
- Instituto de Engenharia Mecânica
- Lunds universitet
- Luxembourg Institute of Science and Technology
- National University of Singapore
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade de Aveiro
- University of Lund
- University of Luxembourg
- University of Minnesota
- University of Nevada Las Vegas
- University of Nottingham
- University of Silesia in Katowice
- University of Stirling
- University of Stirling;
- University of Texas at El Paso
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- VIB
- Western Norway University of Applied Sciences
- 32 more »
- « less
-
Field
-
Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in a PhD in the field of formal methods and knowledge presentation? In this PhD position
-
functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial
-
translational medicine, improving diagnostics and healthcare solutions. For more information, please visit our page . Your role We are looking for a highly motivated PhD candidate interested in AI-based methods
-
skills and knowledge in the use of data analysis software, specifically the STATA software; Proficiency in the English language (spoken and written); PhD in one of the disciplinary areas relevant
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
will work across four Work Packages, developing partnerships with schools, project partners and other groups, and using mixed methods to collect and analyse new data and synthesize existing data sets
-
-Doctoral Research Fellowships to hold a PhD degree obtained in the 3 years previously to the submission of the fellowship application; to have carried out the research work that led to the PhD degree in a
-
of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization committees and the drafting of legislative projects and
-
securing competitive national and European funding Represent the University of Luxembourg in international research forums, fostering collaboration and visibility Mentor PhD students and student assistants
-
datasets Use cutting-edge bioinformatics software and methods, or develop novel tools when appropriate Design and lead your research project, with sufficient guidance and mentoring. Contribute