ZipRecruiter

Log In

2

Express Scripts Remote Jobs in California (NOW HIRING)

People also search for

All JobsExpress Scripts JobsExpress Scripts Remote JobsExpress Scripts Remote Jobs in California

Express Scripts Remote information

What are the key skills and qualifications needed to thrive as a Remote Customer Service Representative at Express Scripts, and why are they important?

To thrive as a Remote Customer Service Representative at Express Scripts, you need strong communication skills, problem-solving abilities, and a high school diploma or equivalent. Familiarity with customer relationship management (CRM) systems, call center software, and basic computer proficiency are typically required. Attention to detail, empathy, and the ability to work independently are valuable soft skills in this remote role. These skills ensure efficient resolution of client issues, high-quality service delivery, and strong customer satisfaction in a virtual environment.

What are some common challenges faced by Express Scripts remote employees and how can they be addressed?

Remote employees at Express Scripts often face challenges such as staying connected with team members, managing time effectively, and maintaining work-life balance. To address these, the company provides robust virtual collaboration tools, regular check-ins with managers, and clear guidelines for communication. Setting a structured daily routine and making use of available resources, like virtual team meetings and employee support programs, can help remote workers stay engaged and productive. Staying proactive in communication and seeking feedback also fosters a strong remote work environment.

What are Express Scripts remote jobs?

Express Scripts remote jobs are positions offered by Express Scripts, a pharmacy benefit management company, that allow employees to work from home or another remote location instead of a traditional office. These roles can include customer service representatives, pharmacists, IT professionals, and other support staff. Remote employees typically use secure technology to access company systems and perform their job duties. Working remotely with Express Scripts provides flexibility while still supporting the healthcare needs of clients and members.

What is the difference between Express Scripts Remote vs Pharmacist?

AspectExpress Scripts RemotePharmacist
Required CredentialsState licensure, pharmacy degree, certificationState licensure, pharmacy degree, certification
Work EnvironmentRemote, home-basedRetail, hospital, or mail-order pharmacy setting
Employer & Industry UsageMajor pharmacy benefit management companiesPharmacies, hospitals, healthcare facilities
Common Search & ComparisonYesYes

Express Scripts Remote pharmacists primarily work from home for pharmacy benefit managers, focusing on medication management and customer support. Pharmacists work in various healthcare settings, including retail and hospitals. While both roles require licensure and pharmacy degrees, Express Scripts Remote offers a remote work environment, whereas pharmacists often work onsite. Understanding these differences helps job seekers find roles aligned with their credentials and preferred work setting.

What are popular job titles related to Express Scripts Remote jobs in California? For Express Scripts Remote jobs in California, the most frequently searched job titles are:
What job categories do people searching Express Scripts Remote jobs in California look for? The top searched job categories for Express Scripts Remote jobs in California are:
What cities in California are hiring for Express Scripts Remote jobs? Cities in California with the most Express Scripts Remote job openings:
Express Scripts Remote jobs near you

Mathematical Formalization Specialist - Remote (San Francisco)

Alignerr

San Francisco, CA • Remote

$50 - $150/hr

Part-time

This job post has expired today. Applications are no longer accepted.

Job description

Mathematical Formalization Specialist – Remote

Join to apply for the Mathematical Formalization Specialist – Remote role at Alignerr

About Alignerr: Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high‑integrity dataset creation.

Role Overview: We are seeking a mathematician with deep training in rigorous proof construction and hands‑on experience with formal proof languages—especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human‑written mathematical arguments into precise, machine‑verifiable formalizations. You will work on proofs that often lie beyond the current capabilities of automated provers, helping us map the frontier of what formal verification can express, capture, and automate.

What You’ll Do
  • Translate informal mathematical proofs into Lean (and related proof systems) with an emphasis on clarity, structure, and correctness.
  • Analyze generic and domain‑specific proofs, identifying gaps, hidden assumptions, and formalizable sub‑structures.
  • Construct formalizations that test the limits of existing proof assistants—especially where tools struggle or fail.
  • Collaborate with researchers to design, refine, and evaluate strategies for improving formal verification pipelines.
  • Develop highly readable, reproducible proof scripts aligned with mathematical best practices and proof assistant idioms.
  • Provide guidance on proof decomposition, lemma selection, and structuring techniques for formal models.
What You Bring – Must‑Have
  • Master’s degree (or higher) in Mathematics, Logic, Theoretical Computer Science, or a closely related field.
  • Strong foundation in rigorous proof writing and mathematical reasoning across areas such as algebra, analysis, topology, logic, or discrete math.
  • Hands‑on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems—with Lean strongly preferred.
  • Deep enthusiasm for formal verification, proof assistants, and the future of mechanized mathematics.
  • Ability to translate informal arguments into clean, structured formal proofs.
Nice‑to‑Have
  • Familiarity with type theory, Curry–Howard correspondence, and proof automation tools.
  • Experience with large‑scale formalization projects (e.g., mathlib).
  • Exposure to theorem provers where automated reasoning frequently fails or requires manual scaffolding.
  • Strong communication skills for explaining formalization decisions, edge cases, and reasoning strategies.
Ideal Candidate

A mathematically mature problem‑solver who enjoys working at the frontier of formal verification—someone who finds satisfaction in taking a dense, elegant human argument and expressing it in a form that a machine can understand. You appreciate precision, structural beauty, and the challenge of resolving gaps that automated tools cannot yet bridge.

Sample Work You Might Do
  • Formalize classical proofs and compare machine‑verifiable structures against textbook arguments.
  • Investigate where automated provers break down, and articulate why (complexity, missing lemmas, insufficient libraries, etc.).
  • Create Lean proofs that reveal deeper patterns or generalizations implicit in the original mathematics.

Compensation: $50 – $150 per hour

#J-18808-Ljbffr

Apply