Browse tech roles

Filter the feed by workplace, employment type, salary floor, and post age. For ranked matching against your resume, use AI Match.

Active Keyword: Formal Verification Remove filter Location: Austin Remove filter Clear all

1 of up to 20 (filtered)

Formal Verification - AI/ML Engineer

Apple Inc

Austin, TX 32 days ago
Actively hiring Verified listing
Python PyTorch LangChain LlamaIndex Hugging Face RAG architectures LLM-based tool chains version control testing API design formal methods SAT/SMT solvers model checking theorem proving code generation analysis tasks Large Language Models prompt engineering fine-tuning
Save