AI Reasoning & Verification Research Intern (PhD)

Atalanta; Washington (District of Columbia); On-site; USD 150,000 - 180,000; Full time

Benefits offered by this job

Generous paid time off

Weekly meals and on-site amenities

Job summary

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.

Qualifications

• 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.

Responsibilities

• 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.

Skills

Machine learning

Automated reasoning

Formal verification

Technical communication

Education

PhD student in computer science, mathematics, or related field

Tools

Python

C++

Rust

Job description

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.