Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Glasgow
- California State University, San Bernardino
- Nature Careers
- Université catholique de Louvain
- University of Texas at Austin
- ;
- KINGS COLLEGE LONDON
- North Carolina State University
- State University of New York University at Albany
- Universidad de Alicante
- University of Maryland
- University of Sheffield
- Aarhus University
- CEA
- Centro de Computação Grafica
- Duke University
- Faculdade de Medicina da Universidade do Porto
- Instituto Superior de Engenharia do Porto
- King's College London
- Medical Research Council
- Stanford University
- Technical University of Denmark
- Texas A&M TVMDL
- The University of Chicago
- Umeå University
- Umeå universitet
- University of Aveiro
- University of British Columbia
- University of Kansas
- University of Michigan
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Oslo
- University of Texas at El Paso
- University of Toronto
- 25 more »
- « less
-
Field
-
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
-
. Background The Department of Computing Science seeks to broaden its competence regarding the technical aspects of Software Engineering by recruiting a full professor. The position includes funding for two PhD
-
. Background The Department of Computing Science seeks to broaden its competence regarding the technical aspects of Software Engineering by recruiting a full professor. The position includes funding for two PhD
-
Recognised Researcher (R2) Positions PhD Positions Country Portugal Application Deadline 30 Sep 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Is the job funded through the EU
-
reliability (e.g., through formal methods) Experience in software development will be seen as an advantage. Preference may be given to candidates who develop themes complementary to research currently being
-
paradigms Software reliability (e.g., through formal methods) Experience in software development will be seen as an advantage. Preference may be given to candidates who develop themes complementary
-
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
-
systems, or formal methods and programming language research applied to security. The targeted application areas include, but are not limited to, security of cyber-physical systems, interactions between
-
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
-
developed by our team [1,2] are able to: 1) identify exploitable vulnerabilities at the software level based on these interactions between a software and a microarchitecture, or 2) formally prove the security