Senior Software Engineer
Job Summary
To support the development of innovative solutions in AI transformation, the full-time Senior Software Engineer will build and implement models using formal methods and agentic problem-solving, ensuring compliance with client requirements while working remotely.
Key responsibilities:
- Take the research-grade formal/agentic system to production, including packaging, testing, and documentation
- Own the architecture for reliability, performance, and release discipline of the formal/agentic system
- Model client business rules and compliance requirements, ensuring mechanical checks and maintaining honest models
Required qualifications:
- 5+ years of experience in productionizing software, including packaging, tests, and documentation
- Deep knowledge of formal methods, including experience with SMT/constraint solvers and automated theorem proving
- Experience in data modeling and validation, including SHACL shapes and knowledge graphs
- Familiarity with agentic AI, including building LLM agents and understanding their limitations
- Bachelor's Degree in a relevant field; Master's is a plus
Complete Job Description
The complete job description is available to members. Premium membership includes:
Full access to 44,387 remote jobs from human-vetted companies, updated daily
Resume Builder - AI-powered tool to craft, enhance, and tailor your resume to a specific job
Twice-monthly live group coaching and the full Remote Career Center
20% member discount on Career Services
Backed by a 30-day money-back guarantee
Company Company Name
Headquarters Headquarters
Founded Founded
Website
The company description is available to members. Go Premium for full access to every job and company profile in our remote jobs database, backed by a 30-day money-back guarantee.
