Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
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
-
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
-
be required to submit employment verification documents on their first day of work. For a list of acceptable documentation, follow this link: student-employment-list-of-acceptable-documents.pdf Notice