AI Reasoning & Verification Research Intern (PhD)

Atalanta; Washington (District of Columbia); Vor Ort; USD 150.000 - 180.000; Vollzeit

Benefits dieser Stelle

Generous paid time off

Weekly meals and on-site amenities

Zusammenfassung

Atalanta, based in Washington, DC, is hiring a Software Understanding Researcher to advance AI-driven reasoning and verification. This role focuses on integrating machine learning with formal methods and involves conducting innovative research in complex systems.

We seek a current PhD student with strong skills in machine learning and automated reasoning, ready to translate theory into prototypes. The position offers a competitive salary between $150,000 and $180,000 per year, alongside generous benefits.

Qualifikationen

• Current PhD student in a relevant technical field.
• Strong background in machine learning or AI.
• Experience designing novel algorithms.
• Familiarity with programming languages for reasoning.

Aufgaben

• Conduct research on AI-driven reasoning and verification.
• Develop approaches for integrating large language models.
• Design algorithms for specification and verification of systems.
• Prototype techniques and integrate them into Argo.

Kenntnisse

Machine learning

Automated reasoning

Formal verification

Technical communication

Ausbildung

PhD student in computer science, mathematics, or related field

Tools

Python

C++

Rust

Jobbeschreibung

Atalanta, based in Washington, DC, is hiring a Software Understanding Researcher to advance AI-driven reasoning and verification. This role focuses on integrating machine learning with formal methods and involves conducting innovative research in complex systems.

We seek a current PhD student with strong skills in machine learning and automated reasoning, ready to translate theory into prototypes. The position offers a competitive salary between $150,000 and $180,000 per year, alongside generous benefits.