Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Cincinnati
- Harvard University
- INESC TEC
- University of Texas at Austin
- Centro de Investigação em Psicologia (CIPsi)
- Chippewa Valley Technical College
- Colorado State University
- INESC ID
- Oak Ridge National Laboratory
- The University of Queensland
- 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
- 6 more »
- « less
-
Field
-
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
-
University of North Carolina at Charlotte | Charlotte, North Carolina | United States | about 13 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
-
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
-
. OBJECTIVES: The selected candidate will be a member of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular
-
applications. Demonstrated experience in using open source and proprietary software for processing terrestrial and/or UAV LiDAR. Demonstrated skills in contemporary computing technologies and data science for
-
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
-
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
-
discipline. May require experience with specialized software programs. Physical Requirements/Work EnvironmentEmpty heading Office environment/no specific unusual physical or environmental demands. Compensation
-
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
-
in machine learning and formal verification. Individuals with a demonstrated track record in scientific research, which can be evidenced through publications, technical reports, or impactful software