Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- Texas A&M AgriLife
- University of Texas at Austin
- The University of Queensland
- Texas A&M University
- The California State University
- University of Colorado
- Virginia Community College
- University of Washington
- University of Saskatchewan
- University of New South Wales
- University of California
- Coast Community College District
- University of Nevada, Reno
- Texas A&M Engineering Extension Service TEEX
- University of New Mexico
- Oak Ridge National Laboratory
- SUNY Corning
- EPFL
- Texas A&M AgriLife Extension
- Bellevue College
- Bowling Green State University
- Brown University
- Central Michigan University
- George Washington University
- Marquette University
- University of Miami
- East Carolina University
- University of North Carolina at Charlotte
- University of Southern California
- Aalborg University
- California State University East Bay
- European Space Agency
- Florida International University
- Harvard University
- Indiana State University
- National Research Council Canada
- SAIT Polytechnic
- Texas A&m Engineering
- The University of Chicago
- University System of Georgia
- University of California Irvine
- University of North Carolina at Chapel Hill
- University of Sheffield
- University of Tennessee Medical Center at Knoxville
- University of Texas Rio Grande Valley
- Washington State University
- Yeshiva University
- 3IA Côte d'Azur
- Aalborg Universitet
- Austin Community College District
- Belmont University
- Blekinge Institute of Technology
- Bowdoin College
- California Institute of Technology
- California State University, San Bernardino
- Carnegie Mellon University
- Central State University
- Chalmers University of Technology
- Clover Park Technical College
- Columbus State University
- Commonwealth University of Pennsylvania
- Cornell University
- Dallas County Community College District
- Delft University of Technology (TU Delft)
- Duke University
- Durham University
- Elon University
- Embry-Riddle Aeronautical University
- European Synchrotron Radiation Facility
- Ferris State University
- Fraunhofer-Gesellschaft
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Georgia College
- Helmholtz-Zentrum Geesthacht
- INESC TEC
- Imperial College London
- Imperial College London;
- Indiana Wesleyan University
- Institut de Recerca Biomèdica de Lleida, Fundació Dr. Pifarré (IRBLleida)
- Karolinska Institutet, doctoral positions
- Kennesaw State University
- Kent State University
- King's College London
- Lulea University of Technology
- Macquarie University
- McGill University
- Monash University
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- New York University
- North Carolina State University
- Pellissippi State Community College
- Pennsylvania State University
- Politecnico di Milano
- SUNY
- Saginaw Valley State University
- Sandia National Laboratories
- Technical University of Munich
- Technische Universität Chemnitz
- The University of Arizona
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Business
- Materials Science
- Biology
- Science
- Education
- Mathematics
- Social Sciences
- Law
- Arts and Literature
- Environment
- Humanities
- Psychology
- Sports and Recreation
- Design
- Linguistics
- Philosophy
- Chemistry
- Earth Sciences
- Electrical Engineering
- Physics
- 14 more »
- « less
-
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
-
individually, make a real difference. The role We are looking to recruit a Senior Research Software Engineer for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by
-
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
-
Help Patients Access the Care They Need Are you organized, customer-focused, and passionate about making a difference in healthcare? Join our Rehabilitation Services team as a Rehab Support
-
Contributing to release testing, verification & validation documentation, and quality records in line with IEC 62304 or related standards Working closely with software engineers to identify risks early 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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Software Engineer: Keystone Project (Machine-Verified LLM Inference) Mission The Keystone project
-
, and inclusion. Demonstrates respect and dignity for all members of the community, actively contributes to an environment of acceptance and inclusion of others, and responds to different perspectives
-
create change together. We are seeking a Senior Software Developer to provide high-level software development, technical leadership, and ongoing support for critical cybersecurity systems and services