Sort by
Refine Your Search
-
the methodologies for preventing unintended, harmful behaviors in open-source AI models. Your work will focus on the foundational challenges of safety, from mitigating algorithmic bias to ensuring systems remain
-
, specifically large language models (LLMs), and general-purpose AI become more ubiquitous, they introduce novel and complex attack surfaces. Your mission will be to proactively investigate these vulnerabilities
Searches related to model checking
Enter an email to receive alerts for model-checking positions