Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- University of Oslo
- Technical University of Denmark
- University of Aveiro
- CNRS
- Lodz University of Technology
- NEW YORK UNIVERSITY ABU DHABI
- Nature Careers
- Oak Ridge National Laboratory
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Duke University
- FEUP
- IMT Mines Ales
- Idiap Research Institute
- Imperial College London
- Instituto de Engenharia Mecânica
- Lunds universitet
- REQUIMTE - Rede de Quimica e Tecnologia
- University of Antwerp
- University of Luxembourg
- University of Minnesota
- University of Nevada Las Vegas
- University of Silesia in Katowice
- University of Texas at El Paso
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- University of Warsaw
- 18 more »
- « less
-
Field
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo
-
the formal and functional properties of gestures and their relationship to discourse. - Support for computational modeling: o Contributing to the gesture–speech modeling carried out by Loria, based
-
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
-
the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursos-e-ofertas . 2.4.3 — When formalizing the application, if a classified document is submitted that reveals a commercial
-
communication skills in English (see https://www.mn.uio.no/english/research/phd/regulations/regulations.html#toc8 ) Desired qualifications: Although not being strict requirements, the following qualification
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
-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
-
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
-
digital format, are available in the Competition and Job Offers of the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursos-e-ofertas . 2.4.3 — When formalizing
-
robotic arms and performing software and hardware integration Mentor and Advise PhD thesis within the research group. Current topics include, reinforcement learning for tactile-aware manipulation skills