Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Nature Careers
- University of Oslo
- Technical University of Denmark
- University of Glasgow
- Aarhus University
- California State University, San Bernardino
- Duke University
- University of Luxembourg
- University of Texas at Austin
- Nanyang Technological University
- ;
- CNRS
- Heriot Watt University
- North Carolina State University
- State University of New York University at Albany
- Universidade de Coimbra
- University of Aveiro
- University of Maryland
- ; University of Cambridge
- AALTO UNIVERSITY
- Adam Mickiewicz University, Poznań
- Argonne
- CEA
- Canadian Association for Neuroscience
- Centro de Computação Grafica
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- INESC ID
- Instituto Superior de Engenharia do Porto
- Leibniz
- Ludwig-Maximilians-Universität München •
- Medical Research Council
- NEW YORK UNIVERSITY ABU DHABI
- NTNU - Norwegian University of Science and Technology
- Northeastern University
- Oak Ridge National Laboratory
- Purdue University
- Technical University of Munich
- Texas A&M TVMDL
- The University of Chicago
- UNIVERSIDADE DE ÉVORA
- Ulster University
- Umeå University
- Universidad de Alicante
- Universidade de Aveiro
- University of Birmingham
- University of British Columbia
- University of Cambridge
- University of Kansas
- University of Kansas Medical Center
- University of Michigan
- University of Nebraska–Lincoln
- University of Nottingham
- University of Sheffield
- University of Sydney
- University of Texas at El Paso
- University of Toronto
- University of Virginia
- 49 more »
- « less
-
Field
-
people, including about 100 researchers and professors and about 80 PhD students. The SPARKS team (Scalable and Pervasive softwARe and Knowledge Systems) is the largest team at I3S with a staff of 104
-
methods, software engineering, and artificial intelligence whilst within the role. Skills, Experience & Qualification needed (these can be taken from the person specification) You will have a PhD in formal
-
for automated software verification. This role offers a unique opportunity to work at the forefront of formal methods and machine learning research, contributing to the foundational principles of how AI is
-
and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting the research in combining AI techniques with formal methods
-
research in optimisation of kidney exchange programmes, and the use of optimisation software (CPLEX and/or Gurobi). Candidates must have a good command of English (oral and written) 3. DURATION
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
on the structural design of the system; - Integration of components and software; - Development of control software; - Implementation of the control interface; - Testing of the developed system. Scholarship Duration
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
advanced statistical methods. Experience working in a multi-disciplinary setting and/or teams. Experience with Microsoft Suite products and working knowledge of at least one statistical software (E.g. SAS
-
transition of quality advisors in the non-formal education sector towards their new exclusive role as quality facilitators. The objectives are to systematically document and analyse organisational and