Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Texas at Austin
- Universidade Católica Portuguesa - Porto
- Carnegie Mellon University
- Instituto de Educação da Universidade de Lisboa
- University of Oslo
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Instituto de Engenharia Mecânica
- OsloMet
- The University of Queensland
- The University of Southampton
- UNIVERSITY OF SOUTHAMPTON
- Universidade Católica Portuguesa
- University of Birmingham
- University of Cincinnati
- University of Minho
- University of North Carolina at Charlotte
- 6 more »
- « less
-
Field
-
; mentor students; help maintain verification toolchains and experimental benchmarks; collaborate with sponsors and project partners. Research on formal verification methods for human detection and
-
; mentor students; help maintain verification toolchains and experimental benchmarks; collaborate with sponsors and project partners. Research on formal verification methods for human detection and
-
otherwise have access to compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including
-
Programming and Reasoning (HOMBRe)," which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their
-
interpret public engagement with science broadly, to include science communication, informal and formal science education, public participation in scientific research, science policy, and more. Activities are
-
submit their application from April 16, 2026. until April 30, 2026. (until 5 pm, Lisbon time). Applications are formalized by completing the Application Form https://hr-ucpporto.inqueritos.porto.ucp.pt
-
the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by the employer, or (c) consistent
-
Knowledge Verification. Your main duties and areas of responsibility This project pioneers a Neuro-Symbolic AI framework addressing the critical "hallucination" barrier in Generative AI (GenAI). Currently
-
the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation, proceeding, hearing, or action, including an investigation conducted by the employer, or (c) consistent
-
the successful candidate being notified by email. 13. Application deadline: The application is open from from April 20 to May 8, 2026. 14. Submission of application: Applications must be formalized, in Portuguese