Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Cincinnati
- University of Texas at Austin
- Harvard University
- Colorado State University
- Politécnico de Leiria
- Centro de Investigação em Psicologia (CIPsi)
- Chippewa Valley Technical College
- INESC ID
- INESC TEC
- Lancaster University
- Oak Ridge National Laboratory
- UNIVERSITY OF NEW SOUTH WALES
- UNIVERSITY OF SOUTHAMPTON
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- University of Bergen
- University of North Carolina at Charlotte
- University of Saskatchewan
- 7 more »
- « less
-
Field
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 5 hours ago
specification and verification tools (e.g., TLA+, Coq, SMT solvers, etc.) is strongly preferred. ● Familiarity with high-assurance languages or provably-correct software development. ● Knowledge of low-level
-
the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program
-
of programming languages, verification-aware languages, and in how to integrate AI tools and techniques into software projects. The evaluation panel assigns a classification to each of the candidates on a scale of
-
eligibility by providing acceptable, original forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https
-
discipline. May require experience with specialized software programs. Physical Requirements/Work EnvironmentEmpty heading Office environment/no specific unusual physical or environmental demands. Compensation
-
the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program
-
, original forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9
-
satisfactory proof of employment eligibility by providing acceptable, original forms of identification for employment verification via the Federal I-9 employment verification process. A list of acceptable
-
The University of Southampton (UoS), in partnership with Ingenium Biometric Laboratories (IBL), is seeking a Research Fellow to design and implement a software framework for the testing of age
-
Required ExperienceEmpty heading In-depth knowledge of specialized field, process or discipline. May require experience with specialized software programs. Application ProcessEmpty heading Applications must