ZipRecruiter

Log In

1

At Express Scripts Jobs in Florida (NOW HIRING)

L3HHCM20

Lead, Security Research Engineer

Melbourne, FL · On-site

$95K - $125K/yr

Write and utilize scripts in languages such as Python, or similar * Develop software solutions ... at Layer 1 and Layer 2, including USB, SPI/I2C/1-Wire, Ethernet, PCI-Express, 802.11, Bluetooth ...

VentureTech Solutions

Call Center Sales Manager

FL · On-site

Based entirely in-office at our client's corporate location in Plantation, FL, this pivotal role is ... Design and execute dynamic training programs covering advanced closing techniques, script mastery ...

next page

Showing results 1-20

People also search for

All JobsAt Express Scripts JobsAt Express Scripts Jobs in Florida

At Express Scripts information

What are 'At Express Scripts' jobs?

Jobs 'At Express Scripts' refer to employment opportunities within Express Scripts, a pharmacy benefit management organization. Roles range from pharmacy technicians and clinical pharmacists to IT specialists, customer service representatives, and corporate functions such as finance, human resources, and operations. Employees at Express Scripts help manage prescription benefits, improve patient outcomes, and support healthcare solutions for clients and members. The company is known for its focus on innovation, cost management, and supporting employee growth and diversity. Working at Express Scripts can provide experience in the healthcare and pharmaceutical industries.

What is the difference between At Express Scripts vs Pharmacy Technician?

AspectAt Express ScriptsPharmacy Technician
CertificationsCertification may be preferred but not always requiredCertified pharmacy technician (CPhT) often required
Work EnvironmentPharmacy call centers, mail-order pharmacies, healthcare settingsRetail pharmacies, hospitals, mail-order pharmacies
Employer & Industry UsageUsed by healthcare and pharmacy benefit management companiesUsed across retail, hospital, and mail-order pharmacies
Job FocusProcessing prescriptions, customer service, insurance verificationPreparing medications, customer interaction, inventory management

While both roles involve pharmacy operations, At Express Scripts typically focuses on prescription processing and customer support within a healthcare benefit management setting, whereas a Pharmacy Technician works directly with medications and patients in various pharmacy environments. The certifications and daily tasks overlap but differ in scope and setting.

What are the key skills and qualifications needed to thrive as an employee at Express Scripts, and why are they important?

To thrive at Express Scripts, you need a solid background in pharmacy, healthcare administration, or data analytics, often supported by relevant degrees and industry experience. Familiarity with pharmacy benefit management (PBM) systems, claims processing software, and regulatory compliance tools is typically required. Strong attention to detail, problem-solving abilities, and effective communication are standout soft skills for ensuring accuracy and collaboration. These competencies are crucial for delivering efficient, compliant, and high-quality pharmacy benefit services in a fast-paced healthcare environment.

How does working at Express Scripts typically involve cross-functional collaboration, and what should new hires expect when joining project teams?

At Express Scripts, collaboration across departments such as pharmacy operations, IT, and client services is essential to delivering effective pharmacy benefit solutions. New hires can expect to join multidisciplinary project teams where clear communication and adaptability are key, as projects often require input from clinical experts, data analysts, and customer service professionals. Regular team meetings, shared goal-setting, and the use of collaborative tools are standard practices, helping ensure that every team member's expertise contributes to successful outcomes. Embracing a collaborative mindset will help new employees integrate smoothly and make a meaningful impact.
What are popular job titles related to At Express Scripts jobs in Florida? For At Express Scripts jobs in Florida, the most frequently searched job titles are:
What job categories do people searching At Express Scripts jobs in Florida look for? The top searched job categories for At Express Scripts jobs in Florida are:
What cities in Florida are hiring for At Express Scripts jobs? Cities in Florida with the most At Express Scripts job openings:
At Express Scripts jobs near you

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr

Miami, FL • Remote

Full-time

This job post has expired 1 day ago. Applications are no longer accepted.

Job description

Lean 4 Proof Engineer - Mathematical Formalization (AI Training) About the Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for Lean 4 Proof Engineers to formalize advanced mathematical proofs for cutting-edge AI research - working at the precise intersection where rigorous mathematics meets machine-verifiable logic. This is a fully remote, flexible contract role built for mathematicians who find genuine satisfaction in translating elegant human arguments into structures a machine can understand and verify. If you live for precision and thrive at the frontier of what formal proof assistants can do, this role was made for you.
  • Organization : Alignerr
  • Type : Hourly Contract
  • Location : Remote
  • Commitment : 10-40 hours/week
What You'll Do
  • Translate informal mathematical proofs into Lean 4 (and related proof systems) with a focus on clarity, structure, and correctness
  • Analyze generic and domain-specific proofs - identifying gaps, hidden assumptions, and formalizable sub-structures
  • Construct formalizations that push the limits of existing proof assistants, especially where tools struggle or fail
  • Collaborate with AI 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
  • Guide proof decomposition, lemma selection, and structuring strategies for formal models
  • Formalize classical proofs and compare machine-verifiable structures against textbook arguments
  • Investigate where automated provers break down - and articulate precisely why (complexity, missing lemmas, insufficient libraries, etc.)
  • Create Lean proofs that surface deeper patterns or generalizations implicit in the original mathematics
Who You Are
  • Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
  • Strong foundation in rigorous proof writing across areas such as algebra, analysis, topology, logic, or discrete mathematics
  • Hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems - Lean strongly preferred
  • Deep enthusiasm for formal verification, proof assistants, and the future of mechanized mathematics
  • Ability to translate informal mathematical arguments into clean, well-structured formal proofs
  • Self-motivated and capable of working independently in an asynchronous, remote environment
Nice to Have
  • Familiarity with type theory, the Curry-Howard correspondence, and proof automation tools
  • Experience contributing to large-scale formalization projects (e.g., Mathlib)
  • Exposure to theorem provers where automated reasoning frequently fails or requires manual scaffolding
  • Prior experience with data annotation, data quality, or evaluation systems
  • Strong communication skills for explaining formalization decisions, edge cases, and reasoning strategies
Why Join Us
  • Work directly on cutting-edge AI projects alongside world-leading research labs
  • Fully remote and async-friendly - work when and where it suits you
  • Freelance autonomy with the structure of meaningful, intellectually stimulating work
  • Contribute to mapping the frontier of what formal verification can express, capture, and automate
  • Gain rare exposure to how advanced AI models are trained and evaluated at the highest level
  • Potential for ongoing work and contract extension as new projects launch

Apply