Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- The University of Queensland
- University of Texas at Austin
- University of New South Wales
- Nanyang Technological University
- Johns Hopkins University
- Politécnico de Leiria
- Universidade Católica Portuguesa - Porto
- University of Cincinnati
- University of Washington
- Harvard University
- Macquarie University
- National University of Singapore
- National Research Council Canada
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Sheffield
- ;
- Bowdoin College
- Center for Drug Evaluation and Research (CDER)
- European Space Agency
- Fields Institute
- Indiana State University
- Indiana University
- Instituto de Educação da Universidade de Lisboa
- Singapore University of Technology & Design
- Tohoku University
- UNIVERSITY OF SURREY
- UiT The Arctic University of Norway
- Universidade de Coimbra
- University of Bergen
- University of Kansas Medical Center
- University of Liverpool
- University of Maryland, Baltimore
- University of Oslo
- University of Otago
- University of Saskatchewan
- University of Sheffield;
- University of Surrey
- University of Sydney
- Washington University in St. Louis
- 29 more »
- « less
-
Field
-
. You should have a PhD (or equivalent experience) in computer science or a closely related discipline, together with strong research expertise in at least one of the areas above and excellent programming
-
individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem
-
apply. Criteria Essential or desirable Stage(s) assessed at A PhD (or equivalent experience) in computer science or a closely related discipline. Applications from candidates who are close to completing a
-
apply. Criteria Essential or desirable Stage(s) assessed at A PhD (or equivalent experience) in computer science or a closely related discipline. Applications from exceptional candidates who are close to
-
individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem
-
Job Description The Department of Electrical and Computer Engineering (ECE), College of Design and Engineering, is seeking a Research Fellow to lead the process development and device fabrication
-
intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to interact with
-
of the fellowship must provide verification of their Ph.D. Additional Qualifications Additional Qualifications A Ph.D. in astronomy, physics, engineering, applied mathematics, computer science, or a closely related
-
completed within the past five years, or close to completing, a PhD in aerospace engineering, computer science, artificial intelligence, systems engineering, software engineering or a related field, with a
-
, including required documentation, transition activities, and verification requests for former trainees. Oversee maintenance of faculty and program information, including website and program communications as