Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Business
- Education
- Medical Sciences
- Social Sciences
- Computer Science
- Engineering
- Biology
- Psychology
- Design
- Arts and Literature
- Environment
- Law
- Statistics
- Sports and Recreation
- Earth Sciences
- Electrical Engineering
- Physics
- Chemistry
- Economics
- Humanities
- Linguistics
- Mathematics
- Science
- Materials Science
- Philosophy
- 15 more »
- « less
-
-ready mission software package; Assist in software testing, verification, and integration; and Comply with NASA space systems requirements and procedures. Reporting and Coordinating Assist in the
-
the theoretical and methodological aspects of the project. The role includes developing formal foundations, languages and methods for specifying and reasoning rigorously about the behaviour of software
-
applicant will be required to provide the following current verification(s) where 'Yes' is indicated below. Further information is available at: https://careers.usask.ca/tips-for-applying.php Criminal Record
-
outstanding 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
-
software, hardware repair, maintenance, and provide support for audio/visual equipment. Develop documentation including user tips and instructions, and procedures to streamline tasks performed by other
-
improve performance. Analyze problems and propose practical solutions. Follow instructions, meet deadlines, and deliver quality work. Learn new software or digital platforms as needed for your role
-
theoretical insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other
-
products (Word, PowerPoint, and Excel). Knowledge of the SCT Banner software. The candidate must have excellent interpersonal and customer service skills; and must be able to manage a wide variety of
-
, and 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
-
Inria, the French national research institute for the digital sciences | Talence, Aquitaine | France | 14 days ago
-pipeline, constituted from the [killMS]( https://github.com/saopicc/killMS ) stage and the [DDFacet]( https://github.com/saopicc/DDFacet ) stage, both developed in particular by Cyril Tasse from the Paris