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 TEC
- Lancaster University
- Macquarie 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
-
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
-
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
-
Required ExperienceEmpty heading In-depth knowledge of specialized field, process or discipline. May require experience with specialized software programs. Application ProcessEmpty heading Applications must
-
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
-
Experience with both qualitative and quantitative research methods Strong oral communication skills Ability to work independently as well as part of a team Experience with statistical software (e.g., SPSS
-
-depth knowledge of specialized field, process or discipline. May require experience with specialized software programs. At least three years of research experience in biochemistry, structural biology
-
of specialized field, process or discipline. May require experience with specialized software programs. Application Process Information Interested and qualified candidates must complete our online application. As
-
:; The selected candidates will be members of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular focus on Dafny