Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, or a related field. b) Enrolment in a master's degree course. 3. Preference Factors: a) Academic training (curricular units) in the areas of forest protection against biotic agents, data analysis, and
-
cloud hosted AI platforms providing various emerging capabilities to all university members, such as AI chat bots, AI agents, etc. This includes configuring access policies, monitoring resources
-
Lexington, KY Grade Level 06 Salary Range $16.20-24.82/hour Type of Position Staff Position Time Status Full-Time Required Education HS Click here for more information about equivalencies: https://hr.uky.edu
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
(Lua/Java), agent behavior modeling, event handling, and API-based integration with external AI systems. Experience with distributed systems, reinforcement learning, or simulation environments (e.g
-
. Additional optional skills and qualifications: Experience in the development of software and agents for intelligent document processing. Contracting requirements: Presentation of the academic qualifications
-
synthesis of novel antibacterial agents. The successful candidate will join an interdisciplinary team working to combat multi-resistant infections through innovative chemical strategies. The postdoctoral
-
cues play a role analogous to conditioned stimuli: they are signals that, once learned, allow the agent to anticipate the consequences of its actions. Scientific Motivation: Learning-based navigation
-
operators for these notions. Over the past fifty years, such non-classical logics have proved vital in computer science and logic-based artificial intelligence: after all, any intelligent agent must be able
-
About the Opportunity The successful candidate will contribute to an ambitious project developing perceptual AI agents that assist humans in daily activities through behavioral understanding and