Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- University of Manchester
- Indiana University
- University of Birmingham
- University of Texas at Austin
- Nanyang Technological University
- The University of Alabama
- University of Kansas Medical Center
- University of Nottingham
- University of Porto
- University of Sheffield
- University of South-Eastern Norway
- Western Norway University of Applied Sciences
- Aarhus University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Birkbeck University of London
- Durham University
- FEUP
- Fields Institute
- Hanyang University
- INESC ID
- Imperial College London
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Instituto de Educação da Universidade de Lisboa
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National University of Singapore
- Nord University
- Northeastern University
- Nova School of Business and Economics
- Politécnico de Leiria
- Queen's University Belfast;
- UCL;
- Universidade Nova de Lisboa
- Universidade de Leiria e Oeste
- University of Aveiro
- University of Bergen
- University of Bristol
- University of Glasgow
- University of Maryland, Baltimore
- University of Michigan
- University of Southampton;
- University of Sydney
- 33 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
-
experience in one or more of the following areas: hybrid systems and/or discrete event systems; systems and control; reachability analysis and/or set-based methods; formal methods; optimisation and
-
the formal admission requirements for this PhD programme. The PhD candidate will be assigned two academic supervisors at Western Norway University of Applied Sciences. An application for enrolment
-
Applied Sciences, and must meet the formal admission requirements for this PhD programme. The PhD candidate will be assigned two academic supervisors at Western Norway University of Applied Sciences
-
, Operations Management, Economics, Computer Science, or a related discipline. If the PhD has not been formally awarded before the employment start date, the post holder will be appointed at the Research
-
completing a PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
kindergarten to formal schooling, and their subsequent academic outcomes. To capture both pre- and post-reform conditions, the project will combine secondary and primary data. For the pre-reform period, the
-
health, human geography, public health, or another related field Formal training in environmental health sciences and epidemiologic methods Familiarity with natural hazards and public health risks
-
Security program, where formally allocated and appropriate to the classification. Contribute to occasional undergraduate teaching, which may include practical classes, field-based teaching, tutorials, guest