Oath Technologies - Formal Methods Research Engineer

The Formal Methods Research Engineer at Oath Technologies will focus on developing tools for the oversight of advanced AIs through formal verification methods. This involves defining unambiguous rules for AIs and ensuring they provide mathematical evidence of compliance, thereby enhancing human safety and control over AI behavior.

• Health, vision, and dental insurance
• Generous time off + paid holidays
• Company-paid life and AD&D, with voluntary supplemental options
• Company 401(k) match up to 6%

• No specific qualifications or skills listed for the role
• Focus on formal verification may imply a niche skill set
• The role is part of a new research organization, which may involve uncertainty in job scope