Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- Texas A&M University
- Oak Ridge National Laboratory
- Texas A&M AgriLife
- George Washington University
- The University of Queensland
- University of New South Wales
- University of Washington
- University of Cincinnati
- University of Maryland, Baltimore
- Nanyang Technological University
- University of Texas at Austin
- Brown University
- EPFL
- East Carolina University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- National University of Science and Technology POLITEHNICA Bucharest
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Texas A&M AgriLife Extension
- Texas A&m Engineering
- University of Saskatchewan
- University of Sheffield
- Wayne State University
- Wrocław University of Science and Technology
- AALTO UNIVERSITY
- Aarhus University
- Argonne
- Bowling Green State University
- Brookhaven National Laboratory
- Brunel University
- Chalmers University of Technology
- Cleveland State University
- European Space Agency
- Ghent University
- Harvard University
- Imperial College London
- Imperial College London;
- Indiana University
- Johns Hopkins University
- KTH Royal Institute of Technology
- Kennesaw State University
- Lehigh University
- Macquarie University
- Pennsylvania State University
- Politehnica University of Timisoara
- Poznan University of Technology
- Purdue University
- Queen's University Belfast
- Queen's University Belfast;
- SAIT Polytechnic
- Saarland University
- Sandia National Laboratories
- TTI
- Texas A&M University System
- The California State University
- The Ohio State University
- University of Arkansas
- University of Bergen
- University of California Irvine
- University of Connecticut
- University of Florida
- University of Liverpool
- University of Luxembourg
- University of Oslo
- University of Oxford
- University of Sydney
- University of West London
- Utrecht University
- Warsaw University of Technology
- Washington State University
- Washington University in St. Louis
- Wroclaw University of Science and Technology
- 61 more »
- « less
-
Field
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
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
-
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
-
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
-
testing. A campaign layer, driven by Bayesian optimization, decides which experiment to run next. The postdoc will own the system architecture below that layer: the PLC and instrument control, the software
-
processes, control systems, communication networks and cyberattacks. The Research Fellow will contribute to the development of mathematical and computational methods for safety verification, reachability
-
, validation challenges and applicability to safety-critical systems; experience in the development, verification or validation of software-intensive or autonomous systems, preferably in safety-critical domains
-
as needed. This is an onsite position at the Brown University School of Public Health, 5 days a week. All offers of employment are contingent upon a criminal background check and education verification
-
background in formal verification, neural network verification, software testing or machine learning robustness. Proven research track record with publications in reputable conferences or journals. Ability