Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Virginia Community College
- Texas A&M University
- University of New Mexico
- University of Washington
- The John Paul II Catholic University of Lublin
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Texas A&M AgriLife Extension
- Universidade Católica Portuguesa - Porto
- AGH University of Krakow
- The California State University
- University of Maryland, Baltimore
- Washington State University
- George Washington University
- Oak Ridge National Laboratory
- University of Luxembourg
- National Research Council Canada
- University of Saskatchewan
- University of Utah
- Naval Postgraduate School
- Technical University of Munich
- The University of Queensland
- University of Sheffield
- Broward College
- Bellevue College
- EPFL
- Nanyang Technological University
- SUNY Corning
- Stony Brook University
- Texas A&M AgriLife
- Texas A&M TVMDL
- The University of Chicago
- University of Nevada Las Vegas
- University of Silesia in Katowice
- Aalborg University
- Instituto de Telecomunicações
- Kennesaw State University
- Lehigh University
- SAIT Polytechnic
- University of Colorado
- Aarhus University
- BI Norwegian Business School
- Bowling Green State University
- Bridgewater State University
- Brookhaven National Laboratory
- CNRS
- California State University San Marcos
- California State University, San Bernardino
- Coast Community College District
- Columbus State University
- Duke University
- Graz University of Technology
- Hanken School of Economics
- INESC ID
- INSTYTUT ROZWOJU MIAST I REGIONÓW
- Imperial College London
- Imperial College London;
- Indiana University
- Instituto Politécnico de Bragança
- Johns Hopkins University
- Northeast State Community College
- Tilburg University
- University System of Georgia
- University of British Columbia
- University of California
- University of Cincinnati
- University of Michigan
- University of San Diego
- University of Sheffield;
- University of Southern California
- University of Surrey
- University of Toronto
- University of Vermont Medical Center
- Washington University in St. Louis
- Aalborg Universitet
- Bemidji State University
- Bowdoin College
- Brown University
- CEA
- CSIRO
- Cal Poly Pomona
- Central Oregon Community College
- Central State University
- Chalmers University of Technology
- Constructor Knowledge Labs gGmbH
- Drexel University
- Eindhoven University of Technology (TU/e)
- Faculdade de Medicina Veterinária
- Fayetteville State University
- Fields Institute
- Fondazione Bruno Kessler
- Georgia College
- Georgia State University
- Hannover Medical School •
- Harvard University
- INCLIVA Biomedical Research Institute
- Indiana State University
- Indiana University Bloomington
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Business
- Materials Science
- Science
- Biology
- Education
- Mathematics
- Electrical Engineering
- Social Sciences
- Law
- Arts and Literature
- Psychology
- Humanities
- Environment
- Philosophy
- Linguistics
- Chemistry
- Sports and Recreation
- Earth Sciences
- Design
- Physics
- 14 more »
- « less
-
Are you interested in pushing the boundaries of formal verification, cybersecurity and AI? We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
the ARIA programme, including red/blue team exercises and sprint reviews Profile PhD (or nearing completion of) in computer science or a closely related field Background in formal verification, 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
-
, numerical systems designs. The project builds on complementary developments from both teams: TRAITOR for experimental fault injection and µArchiFI for formal securi Applicants should hold a PhD in computer science
-
Overview We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and Invention Agency (ARIA), combining formal verification, cybersecurity and AI. The post
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
-
Overview We are seeking an ambitious researcher to join a major new project funded by the Advanced Research and Invention Agency (ARIA), combining formal verification, cybersecurity and AI. The post
-
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
-
project at the intersection of mathematics, computer science, formal verification, and artificial intelligence. The project is working toward a complete and reproducible formal certification in Lean of a