About this role
Member of Technical Staff - Formal Methods at Architect. Location: Palo Alto, California, United States. Role: design language, build proofs, verify artifacts Requirements: PhD in CS/EECS or related; formal-methods expertise in two areas; proven use of proof tools; applied track record shipping artifacts; strong software engineering; build and integrate toolchains. Category: Research and Development (R&D) Seniority: Senior Level Tools: TLA+, Lean, Coq, SMT solvers, model checkers, proof assistants Commitment: Full Time Workplace: Onsite Languages: English