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
- ;
- IRIT, Université de Toulouse
- KINGS COLLEGE LONDON
- North Carolina State University
- State University of New York University at Albany
- Universidad de Alicante
- University of Aveiro
- University of Maryland
- University of Sheffield
- Aarhus University
- CEA
- Centro de Computação Grafica
- Duke University
- Faculdade de Medicina da Universidade do Porto
- Faculty of forestry and wood technology
- 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 British Columbia
- University of Colorado
- University of Kansas
- University of Michigan
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Newcastle
- University of Oslo
- University of Texas at El Paso
- University of Toronto
- Université de Toulouse
- 30 more »
- « less
-
Field
-
, threats, and mitigations. Structure assets into a formal ontology usable in software/system engineering tools. Formal Taxonomy of Security Properties Refine high-level security goals into verifiable design
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
an assistant that offers real-time feedback and recommendations without disrupting agile development? Objectives The PhD will develop the ReqSecDes framework by combining AI-driven extraction and formalization
-
Peppa, other academic co-investigators within Imago, and the service director (Professor. Arribas-Bel, Liverpool University), as well as research software engineers and professional support staff, and
-
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
-
or device security including reverse engineering and security platform architecture Formal methods and language based security Human aspects of security including social engineering, usable security and
-
. 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
-
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