Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Glasgow
- California State University, San Bernardino
- University of Sheffield
- Université catholique de Louvain
- Cornell University
- KINGS COLLEGE LONDON
- Stanford University
- University of Aveiro
- University of Texas at Austin
- ;
- IRIT, Université de Toulouse
- Universidad de Alicante
- University of Maryland
- University of Oslo
- University of Southern Denmark
- Aveiro University
- Carnegie Mellon University
- Centro de Computação Grafica
- Cranfield University
- Duke University
- Faculdade de Medicina da Universidade do Porto
- Faculty of forestry and wood technology
- Gulbenkian Institute for Molecular Medicine
- Imperial College London
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Engenharia do Porto
- King's College London
- Medical Research Council
- NTNU Norwegian University of Science and Technology
- Nature Careers
- North Carolina State University
- State University of New York University at Albany
- Technical University of Munich
- Texas A&M TVMDL
- The University of Chicago
- Umeå University
- Umeå universitet
- Universidade Católica Portuguesa - Porto
- University of British Columbia
- University of California, Berkeley
- University of Colorado
- University of Illinois at Urbana Champaign
- University of Nebraska–Lincoln
- University of Nevada, Reno
- University of Texas at El Paso
- Université de Toulouse
- Washington State University
- 37 more »
- « less
-
Field
-
Professors in Computer Science, with emphasis on Sustainable and AI-driven Software Engineering. The targeted starting period is autumn 2026, with room for flexibility. Hired candidates will join the
-
of the research are: AI-assisted Bond Issuance, Causal Methods for Enhanced Market Intelligence, Automated Market Research Summaries via RAG-enabled AI. Successful PhD candidates will extensively explore and
-
, 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
-
Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto) | Portugal | about 12 hours ago
Flow Cytometry (intra, extra-cellular); • Design of spectral flow cytometry multicolor panels; • Documented expertise in advanced flow cytometry analysis software (FlowJo), including high dimensional
-
of bleeding. Our laboratory utilizes basic science and translational methods to pursue various research questions. We prioritize a safe and collaborative environment that fosters multidisciplinary approaches
-
PhD research and training environment. It is committed to supporting its internationally recognised researchers and to producing the next generation of talented social scientists. SENSS has been
-
areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc
-
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
-
, United States of America Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03) Position Description: Apply Position Description The Institute for Computer-Aided Reasoning