Litigation Support Specialist jobs at Reciprocity - 65 jobs

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

FMLA Leave Specialist (Payroll SME) @ Tilt Tilt (check us out here) is looking for an FMLA Leave Specialist (Payroll SME) to join our team and help us scale our business by helping employees navigate complex leave scenarios from FMLA and state programs to return-to-work transitions while ensuring seamless coordination between leave, pay, and compliance. We want you to be successful here at Tilt! Below is a description of your role and responsibilities, including the things you will be held accountable for and the virtues, behaviors and competencies that are expected for this role. Responsibilities will include: Manage the full leave lifecycle through Tilt's platform from intake to return ensuring accurate pay and compliance coordination Partner with payroll and HR teams to validate pay calculations, state program reimbursements, and benefit continuations during leave Serve as a resource for employees and managers navigating state and federal leave laws, paid family & medical programs, and company leave policies Support issue resolution across multiple channels troubleshooting system issues and coordinating with internal experts as needed Collaborate with Customer Success Managers (CSMs) to ensure client satisfaction and compliance outcomes Stay current on evolving leave and payroll regulations and proactively sharing knowledge with teammates and clients Communicate clearly and empathetically with employees, healthcare providers, insurance carriers, and state agencies You're a great fit if: Have 2+ years of experience in payroll, HR operations, or leave management Understand payroll processing, including leave-related pay adjustments, tax implications, and benefit deductions Know your way around U.S. leave laws and compliance (FMLA, PFML, ADA, etc.) Communicate complex topics clearly and compassionately Excel in a fast-paced, tech-driven environment and easily switch between multiple systems Are organized, self-directed, and comfortable managing changing priorities Are bilingual (English/Spanish) a plus, since we serve a diverse employee population You have high levels of empathy and can connect deeply with Tilt's mission You are comfortable working in ambiguous environments and know that we need your help to figure things out You are a comfortable using a lot of systems at once, and have the ability to learn software quickly You are fearlessly flexible and curious; aka you thrive in an environment where we don't have all the answers but are willing to help us figure them out You have experience working with a startup and/or with a B2B SaaS business Virtues/Competencies: 1. Health & Family First You've proven to be able to integrate all aspects of your life in a way that produces excellent work and ensures you care for what matters most in your life You get things done at a pace consistent with the business needs You consistently show up prepared, dependable and follow through on commitments 2. Autonomy + Team. Always You are highly organized and can manage multiple priorities and deadlines at once You are focused on scale and building - you understand that pace is equally as important as quality 3. Be Curious When you don't have all of the answers, you dig in and ask questions You don't let negative assumptions drive your actions and instead assume positive intent and find truth You are intentional in discovering the paths of self development Tilt has to offer and seek out opportunities to engage in professional growth 4. Love Our Customers You lead with empathy and compassion, meeting customers where they are and supporting them with intention and care You take the time to deeply understand customers' needs, goals, and challenges, not just the task at hand You communicate openly and honestly, even when conversations are difficult 5. Fearlessly Flexible You embrace change and navigate ambiguity with confidence and curiosity You take initiative and make progress even when direction isn't fully defined Total Compensation The projected annual salary range is $63,000 - $75,000USD plus stock options (ISOs), because we believe everyone should have some stake in our business. Additional benefits include: Comprehensive medical, dental, and vision benefits paid at 100% for all employees and 50% for dependents. 401k + match (100% match on the first 3%, 50% match on the next 2%) $100 monthly to spend on “What Matters Most” Responsible Time Off - take what you need, when you need it! More about our amazing Perks and Benefits can be found here! More about Tilt Tilt's mission is big: make leave not suck. We are building a product that makes it easy for people to switch between work and life. If you join us, you'll be part of a fearless band of humans helping employers balance empathy with economics. We're changing the status quo and it's hard. You should know that now. You should also know that joining Tilt means the opportunity to be a change-maker. Remote Work & Flexibility We are a fully remote company. We are committed to being fearlessly flexible and ensuring that all employees are set up and have the autonomy to do their best work, as well as have the balance to care for their health, family and life outside of work. Overall, we trust our team and are focused on outcomes not outputs. Equal Opportunity Employer We celebrate and support our differences. We believe in the power of equality which is why we are an equal opportunity employer. Employment at Tilt is based solely on a person's merit and qualifications related to their professional competence. Tilt does not discriminate against any employee or applicant because of race, color, creed, religion, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy, or any other basis protected by law. We comply with all applicable national, state, and local laws pertaining to nondiscrimination and equal opportunity. You must be authorized to work in the US. So what do you say? Do you want to join our team?

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr 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 OverviewWe 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 BringMust-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 CandidateA 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.

Job Description Full Time Dallas, TX If being a part of a world-class organization that operates in some of the most advanced technological environments around the world sounds like a dream job, Network Connex might be the right fit for you! You'll be part of a team working together to solve customer problems every day, with compensation and benefits that are an investment in your career, financial future, and overall well-being. Overview: The Fleet Coordinator plays a vital role in assisting with the daily operations of the company's fleet, ensuring efficiency, compliance, and cost-effectiveness. This individual will help facilitate vehicle maintenance, scheduling, tracking usage, and coordinating logistics to support business operations. This role offers a hybrid schedule Monday-Thursday in office with a remote Friday. Key Responsibilities: Assign vehicles to drivers and ensure they have the proper licenses and training. Review records to ensure driver and vehicle information is accurate across all systems. Assist with the scheduling, maintenance, and repairs of company vehicles to ensure optimal performance and compliance with safety regulations. Monitor vehicle telemetry data and driver behavior to identify areas for improvement. Assist with and resolve issues related to vehicle breakdowns or accidents. Monitor fleet usage, fuel consumption, and costs, implementing strategies to enhance efficiency and reduce expenses. Maintain accurate records of vehicle registrations, inspections, and insurance policies. Work closely with vendors, service providers, and internal teams to ensure timely vehicle servicing and availability. Ensure compliance with company policies, local regulations, and industry standards. Investigate and resolve fleet-related issues, including accidents and mechanical failures. Provide reports on fleet performance, utilization, and cost-effectiveness. Qualifications & Skills: Proven experience in fleet management, logistics, or a related role. Strong organizational skills with attention to detail. Proficiency in fleet management software and Microsoft Office Suite. Excellent communication and problem-solving abilities. Knowledge of vehicle maintenance processes and regulatory requirements. Ability to work collaboratively with drivers, vendors, and management teams. Preferred Qualifications: Experience with fleet tracking systems and telematics technology. Understanding of DOT regulations and safety compliance standards. Prior experience using fleet management software such as Element, Fleetio, or Holman Insights. In addition to competitive base pay, Network Connex offers a comprehensive benefits package designed to support your physical, mental, and financial health. You can begin participating in our programs on the first of the month following your start date. Join our Vanguard 401(k) plan, with immediate vesting and a generous company match to help you build long-term financial security. Our team also enjoys 10 paid company holidays, a generous PTO accrual schedule, and access to discounts on useful products and services. EEOC-Minority/Female/Disability/Veteran Network Connex believes all persons are entitled to equal employment opportunities and does not discriminate against its employees or applicants for employment because of race, color, gender, affectional or sexual orientation, domestic partnership status, ancestry, religion, national origin, citizenship status, marital status, disability, veteran status, age or any other protected group status. Upon accepting an offer, all candidates must pass a background check and drug screening.

OUR HIRING PROCESS: We will review your application against our job requirements. We do not employ machine learning technologies during this phase as we believe every human deserves attention from another human. We do not think machines can evaluate your application quite like our seasoned recruiting professionals-every person is unique. We promise to give your candidacy a fair and detailed assessment. We may then invite you to submit a video interview for the review of the hiring manager. This video interview is often followed by a test or short project that allows us to determine whether you will be a good fit for the team. At this point, we will invite you to interview with our hiring manager and/or the interview team. Please note: We do not conduct interviews via text message, Telegram, etc. and we never hire anyone into our organization without having met you face-to-face (or via Zoom). You will be invited to come to a live meeting or Zoom, where you will meet our INFUSE team. From there on, it's decision time! If you are still excited to join INFUSE and we like you as much, we will have a conversation about your offer. We do not make offers without giving you the opportunity to speak with us live. INFUSE is committed to complying with applicable data privacy and security laws and regulations. For more information, please see our Privacy Policy Innovation is a core value of INFUSE. We bring together people who look into the future to better understand how technology will shape businesses - people who create and navigate projects with meaningful impact. We are looking for a motivated n8n Workflow Specialist to join our dynamic team and contribute to the successful execution of our projects. Role Overview: Build and implement n8n workflows to accelerate our go-to-market operations. You'll work closely with our team to create automated, scalable solutions that drive efficiency and growth. Key Responsibilities: Build and implement n8n workflows based on requirements and collaborative planning Design, connect, and integrate various APIs within n8n automations Work with data transformations and build scalable, robust systems Collaborate on workflow architecture, implementation, and optimization Support end-to-end automation development, from concept to deployment Requirements: Must have: Full-Stack development experience with hands-on involvement in backend and frontend systems Strong hands-on experience building complex n8n workflows Expert-level Python programming with solid software engineering principles Experience with AI/ML libraries and API development (OpenAI API, Hugging Face Transformers, LangChain, FastAPI) Proven ability to work with APIs, data integrations, and system orchestration Experience with prototyping and sketching technical solutions High technical aptitude and problem-solving skills Self-starter mindset - able to execute independently with minimal guidance Familiarity with containerization technologies (Docker, Kubernetes) We offer: A collaborative, innovation-first environment that values initiative and experimentation. Competitive compensation in USD. Reduced working hours on Fridays during summer. We are an Equal Opportunity Employer. We make hiring decisions based on qualifications, merit, and business needs. We do not discriminate on the basis of race, color, religion, sex (including pregnancy, sexual orientation, and gender identity), national origin, age, disability, genetic information, or any other characteristic protected under applicable law. We welcome applicants from all backgrounds and believe that diversity of experience, culture, and perspective makes us stronger.

At ReachMobi, we're not just about developing mobile apps. We're about creating an engaging mobile universe tailored precisely to the interests and needs of the user. Our suite of innovative applications transforms devices, empowering users to express their individuality and pursue their passions while enhancing functionality and personalization. Join our mission as you embark on a path of continuous learning and evolution. Grow, develop, and advance in an environment where visionary innovation meets daily adventure, supported by leaders who value your ideas and drive. How You'll Make an Impact * Design, implement, and manage cloud architecture solutions to support scalable and reliable applications. * Optimize cloud infrastructure for cost management, performance, and security. * Manage cloud services across platforms like AWS, GCP, and Azure. * Oversee the deployment, monitoring, and maintenance of cloud-based applications and services. * Provide expert support for complex cloud infrastructure issues and escalate as needed. * Develop and set up DevOps practices to streamline the development, deployment, and operations process. * Collaborate with development teams to integrate cloud solutions into the software development lifecycle. * Monitor and analyze cloud performance metrics to identify areas for improvement. * Develop and implement disaster recovery and business continuity plans for cloud infrastructure. * Ensure compliance with security policies and best practices for cloud environments. What You Need * 4+ years of experience in cloud architecture and infrastructure support. * Expertise in cloud platforms like AWS, GCP, and Azure. * Strong understanding of cloud security best practices and compliance requirements. * Strong problem-solving skills and the ability to work in a fast-paced environment. * Excellent communication and interpersonal skills. * Ability to work independently and manage multiple projects simultaneously. * Experience with containerization and orchestration tools like Docker and Kubernetes is a plus. * Certifications such as AWS Certified Solutions Architect, Google Cloud Professional Cloud Architect, or Microsoft Certified: Azure Solutions Architect Expert are preferred. Why ReachMobi? * We have a work hard, play hard kind of culture. * No dress code policy! Wear your flip flops and shorts in the summer. * Enjoy our complimentary snacks and beverages, as well as catered lunches. * Fun social events and perks! - Check out our Instagram to see more. * Located next to world-class shopping and restaurants. * Medical, dental, vision, life, disability, and other insurance coverages that best meet your needs. ReachMobi lives at the junction where the science of cutting-edge technology meets with audience engagement to create a new and powerful force that fosters real, long-term relationships with users. We pride ourselves on leading the industry in mobile engagement and monetization. We've gathered a "one-for-all" minded, world-class team of innovative developers, marketing ninjas, imaginative designers, and content developers whose zeal for what they do is slightly north of fanatical. Seriously… obsessive.

Job DescriptionSalary: At ReachMobi, were not just about developing mobile apps. Were about creating an engaging mobile universe tailored precisely to the interests and needs of the user. Our suite of innovative applications transforms devices, empowering users to express their individuality and pursue their passions while enhancing functionality and personalization. Join our mission as you embark on a path of continuous learning and evolution. Grow, develop, and advance in an environment where visionary innovation meets daily adventure, supported by leaders who value your ideas and drive. How Youll Make an Impact Design, implement, and manage cloud architecture solutions to support scalable and reliable applications. Optimize cloud infrastructure for cost management, performance, and security. Manage cloud services across platforms like AWS, GCP, and Azure. Oversee the deployment, monitoring, and maintenance of cloud-based applications and services. Provide expert support for complex cloud infrastructure issues and escalate as needed. Develop and set up DevOps practices to streamline the development, deployment, and operations process. Collaborate with development teams to integrate cloud solutions into the software development lifecycle. Monitor and analyze cloud performance metrics to identify areas for improvement. Develop and implement disaster recovery and business continuity plans for cloud infrastructure. Ensure compliance with security policies and best practices for cloud environments. What You Need 4+ years of experience in cloud architecture and infrastructure support. Expertise in cloud platforms like AWS, GCP, and Azure. Strong understanding of cloud security best practices and compliance requirements. Strong problem-solving skills and the ability to work in a fast-paced environment. Excellent communication and interpersonal skills. Ability to work independently and manage multiple projects simultaneously. Experience with containerization and orchestration tools like Docker and Kubernetes is a plus. Certifications such as AWS Certified Solutions Architect, Google Cloud Professional Cloud Architect, or Microsoft Certified: Azure Solutions Architect Expert are preferred. Why ReachMobi? We have a work hard, play hard kind of culture. No dress code policy! Wear your flip flops and shorts in the summer. Enjoy our complimentary snacks and beverages, as well as catered lunches. Fun social events and perks! - Check out our Instagram to see more. Located next to world-class shopping and restaurants. Medical, dental, vision, life, disability, and other insurance coverages that best meet your needs. ReachMobi lives at the junction where the science of cutting-edge technology meets with audience engagement to create a new and powerful force that fosters real, long-term relationships with users. We pride ourselves on leading the industry in mobile engagement and monetization. Weve gathered a one-for-all minded, world-class team of innovative developers, marketing ninjas, imaginative designers, and content developers whose zeal for what they do is slightly north of fanatical. Seriously obsessive.

About Entrupy Entrupy is a global technology company whose mission is to protect businesses, borders and consumers from transacting in counterfeit goods. Entrupy has developed a patented technology system which utilizes a combination of AI and computer vision to instantly identify and authenticate high value physical goods. Entrupy's solutions serve business customers including leading luxury brands, retailers, e-commerce marketplaces and online resellers in over 60 countries. Entrupy is growing quickly with team members based in the US, India, Japan and Brazil. Entrupy's solutions in market: ● Entrupy Apparel Authentication ● Entrupy Bags & Leather Goods Authentication ● Entrupy Sneaker Authentication ● Entrupy Fingerprinting As we continue to build... We're seeking curious, growth minded thinkers to help shape our vision, structures and systems; playing a key-role as we launch into our ambitious future. If you're invigorated by our mission, values, and drive to change the world - we'd love to have you apply. About the Role We launched Apparel with Streetwear brands in March 2025, and we're growing the team. We are seeking an experienced Apparel Authentication Expert to help take this exciting new chapter to a new level. If you are passionate about fashion, committed to sustainability, and a champion for authenticity, this could be the perfect opportunity for you! We're looking for an expert in Luxury Apparel brands, such as Gucci, Prada, Chanel and Burberry and a good knowledge of Streetwear brands. You'll authenticate Luxury apparel items while also collaborating with the team to train on new materials. This is a unique hybrid role that blends deep subject-matter expertise with systems thinking and team leadership. Your expertise in both physical and digital authentication will play a pivotal role in being successful in this role. Reports to Manager, Apparel Location: APAC, Europe or North America Location Type: Remote What you'll do: Monitor real-time customer authentications of Luxury and Streetwear apparel Ensure the accuracy of internal tests about newly released brands and materials Contribute to structured knowledge systems, templates, and processes to support authentication and training Research apparel trends, new releases, and product details to enhance brand-specific knowledge What you bring: Expertise in authenticating apparel. Experience in building training materials for a fashion for resale context is a plus. Deep expertise in Luxury brands and an eye for detail in product identification Familiarity with structuring and organizing content or data (experience with taxonomies or classification systems is a plus) Excellent written and verbal communication skills - able to simplify complex information across functions Highly organized, proactive, and comfortable managing deadlines and global team collaboration Confident and thoughtful communicator, with a passion for growing a strong knowledge-first culture We have competitive pay bands for all other countries based on market standards. Individual compensation decisions are based on several factors, including experience level, skill set, and balancing internal equity relative to peers at the company. Based on these factors, we expect most of the candidates offered roles at our company to fall healthily throughout the range. We recognize that the person we hire may be less experienced (or more senior) than this job description, as posted. If so, the updated salary range will be communicated to you as a candidate. Entrupy embraces a diversity of backgrounds and experiences and provides equal opportunity for all applicants and employees. We are dedicated to building a company that represents a variety of backgrounds, perspectives, and skills. We believe that the more inclusive we are, the better our work (and work environment) will be for everyone.

Chemistry Expert - $90/hr Remote - Alignerr - Location: RemoteAbout the job At Alignerr, we partner with the world's leading AI research teams and labs to build and train cutting-edge AI models.Organization: Alignerr Position: Chemistry Expert (Masters/PhDs) Type: Hourly Contract Compensation: $75-$90 /hour Location: Remote Commitment: 10-40 hours/week Role Responsibilities (Training support will be provided)- Develop, solve, and review advanced chemistry problems with real-world relevance.- Apply expertise in organic, inorganic, physical, or computational chemistry to design complex problem statements.- Collaborate asynchronously with AI researchers and domain experts to enhance AI model reasoning.- Ensure scientific rigor, clarity, and depth across all deliverables.Requirements- Master's or PhD in Chemistry or a related field from a top U.S. university (or equivalent).- Experience coding in Python or using computational chemistry software (e.g., Gaussian, VASP).- Strong expertise in organic, inorganic, or computational chemistry.- Exceptional written and verbal communication skills with strong attention to detail.- Fluent in English and currently based in the U.S., Canada, New Zealand, U.K., or Australia.Preferred:- Prior experience with data annotation, data quality, or evaluation systems Application Process (Takes 15-20 min)- Submit your resume- Complete a short screening- Project matching and onboarding PS: Our team reviews applications daily. Please complete your AI interview and application steps to be considered for this opportunity.

Saviynt's AI-powered identity platform manages and governs human and non-human access to all of an organization's applications, data, and business processes. Customers trust Saviynt to safeguard their digital assets, drive operational efficiency, and reduce compliance costs. Built for the AI age, Saviynt is today helping organizations safely accelerate their deployment and usage of AI. Saviynt is recognized as the leader in identity security, with solutions that protect and empower the world's leading brands, Fortune 500 companies and government institutions. For more information, please visit **************** The Renewal Specialist will be responsible for managing and executing renewal transactions across Saviynt's global customer base. This role plays a critical part in securing recurring revenue, supporting customer success, and contributing to our long-term customer relationships. The Renewal Specialist will collaborate closely with Sales, Customer Success, Legal, and Finance to ensure timely and accurate renewals. Why Join Saviynt? Work with cutting-edge technology in the identity governance space. Be part of a fast-growing, innovative company with global reach. Enjoy a collaborative culture focused on growth, integrity, and customer success. Competitive compensation, equity, and benefits.What You'll Be Doing to Drive Success: Manage the end-to-end renewal process for a portfolio of existing customers, ensuring timely and accurate renewals. Prepare and deliver renewal quotes, partnering with Account Executives and Customer Success Managers. Proactively engage with customers 90-120 days prior to subscription expiration to review renewal options and secure commitments. Identify upsell, cross-sell, and co-terming opportunities during the renewal process. nsure compliance with pricing guidelines, contractual obligations, and approval policies. Forecast renewal bookings and maintain accurate renewal data in Salesforce. Collaborate with internal teams (Legal, Finance, Operations) to resolve issues and remove barriers to closing renewals. Monitor at-risk accounts, flag churn risks early, and support customer retention strategies. Maintain detailed records and documentation for audits and compliance. Support continuous process improvements and system enhancements related to the renewals lifecycle. WHAT YOU BRING 2-3 years of experience in SaaS renewals, sales operations, customer success, or a account management. Strong understanding of recurring revenue models, subscription licensing, and quoting tools (CPQ, Salesforce, etc.). Excellent communication and negotiation skills, with the ability to influence customer decision-making. Detail-oriented and organized; able to manage multiple accounts and deadlines simultaneously. Proficient in Microsoft Excel and experience with CRM/ERP systems such as Salesforce, NetSuite, or similar. Collaborative mindset with a customer-first attitude. Bachelor's degree in Business, Finance, or a work experience. Experience working in cybersecurity, identity management, or enterprise software environments. Familiarity with global regions (EMEA, APAC, LATAM) and renewal practices across those markets. Bilingual (English/Spanish or other languages) is a plus. Why Join Saviynt? Work with a fast-growing global leader in identity governance and administration. Be a part of a high-impact team that directly contributes to revenue retention and business success. Opportunity to drive process improvements and shape the renewals strategy. Collaborative, innovative, and growth-oriented work environment. If you're passionate about data-driven renewals management and helping businesses retain key customers, we'd love to hear from you! Apply now and become part of the Saviynt team. Saviynt is an amazing place to work. We are a high-growth, Platform as a Service company focused on Identity Authority to power and protect the world at work. You will experience tremendous growth and learning opportunities through challenging yet rewarding work which directly impacts our customers, all within a welcoming and positive work environment. If you're resilient and enjoy working in a dynamic environment you belong with us! Saviynt is an equal opportunity employer and we welcome everyone to our team. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or veteran status. If required for this role, you will:- Complete security & privacy literacy and awareness training during onboarding and annually thereafter- Review (initially and annually thereafter), understand, and adhere to Information Security/Privacy Policies and Procedures such as (but not limited to): > Data Classification, Retention & Handling Policy > Incident Response Policy/Procedures > Business Continuity/Disaster Recovery Policy/Procedures > Mobile Device Policy > Account Management Policy > Access Control Policy > Personnel Security Policy > Privacy Policy Saviynt is an amazing place to work. We are a high-growth, Platform as a Service company focused on Identity Authority to power and protect the world at work. You will experience tremendous growth and learning opportunities through challenging yet rewarding work which directly impacts our customers, all within a welcoming and positive work environment. If you're resilient and enjoy working in a dynamic environment you belong with us! Saviynt is an equal opportunity employer and we welcome everyone to our team. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or veteran status.

About Entrupy Entrupy is a global technology company whose mission is to protect businesses, borders and consumers from transacting in counterfeit goods. Entrupy has developed a patented technology system which utilizes a combination of AI and computer vision to instantly identify and authenticate high value physical goods. Entrupy's solutions serve business customers including leading luxury brands, retailers, e-commerce marketplaces and online resellers in over 60 countries. Entrupy is growing quickly with team members based in the US, India, Japan and Brazil. Entrupy's solutions in market: ● Entrupy Apparel Authentication ● Entrupy Bags & Leather Goods Authentication ● Entrupy Sneaker Authentication ● Entrupy Fingerprinting As we continue to build... We're seeking curious, growth minded thinkers to help shape our vision, structures and systems; playing a key-role as we launch into our ambitious future. If you're invigorated by our mission, values, and drive to change the world - we'd love to have you apply. About the Team/Role Entrupy Inc. is seeking a full-time Authentication Specialist position based in the United States (East Coast region). The Authentication Specialist position is a salaried position. You will be trained to authenticate all of Entrupy's supported apparel brands through studying Entrupy's microscopic data and intensive brand learning. You will be responsible for accurately assessing and tagging each item to assist in the machine learning process to further train our algorithms as well as meeting and exceeding SLAs through quality and efficient processing. The Authentication Specialist should have a background in authenticating brands including, but not limited to, Supreme, Denim Tears, and Fear of God Essentials. Reports to: Knowledge Manager Location: East Coast preference Location Type: Remote What you'll do Monitor real-time customer authentications of high-end apparel goods Ensure accuracies of internal tests pertaining to newly released brands and materials Initiate follow-up communication with customers on as-needed basis What you bring Analytical: you must be comfortable gleaning information from large, often similar, sets of data Focus: you will be monitoring and analyzing large amounts of data. Accuracy and attention to detail are critical, as is time management Tech savvy: you will be actively utilizing internal information systems, Google Suites, Slack, Zoom and other applications Flexible: you may be required to work weekends, holidays, and hours outside of Entrupy's public online hours of 10:00 AM to 7:00 PM What we offer Market competitive and pay equity-focused compensation structure Generous time away including company holidays, paid time off, sick time, parental leave, and more! Rich medical benefits and insurance coverage 3.5% 401k match Dedicated mental health support for employees and eligible dependents Salary Range - $45,000 - $62,000 a year This is a non exempt salaried position. The starting salary for this role is between $55,000 - $62,000, depending on skills and experience. We have competitive pay bands for all other countries based on market standards. Individual compensation decisions are based on several factors, including experience level, skill set, and balancing internal equity relative to peers at the company. Based on these factors, we expect most of the candidates offered roles at our company to fall healthily throughout the range. We recognize that the person we hire may be less experienced (or more senior) than this job description, as posted. If so, the updated salary range will be communicated to you as a candidate. Entrupy embraces a diversity of backgrounds and experiences and provides equal opportunity for all applicants and employees. We are dedicated to building a company that represents a variety of backgrounds, perspectives, and skills. We believe that the more inclusive we are, the better our work (and work environment) will be for everyone.

The Cultivation Specialist provides on-site support to multiple gardens within a cannabis cultivation facility. As a Cultivation Specialist you are responsible for maintaining quality control measures and ensuring the health and safety of crop during the life stages of the plant, from propagation to pre-harvest. Cultivations Specialists may be cross-trained and asked to support other departments from time to time to meet business needs. Essential Duties and Responsibilities * Support plant management, fertilization, insect and disease monitoring, sanitation, and overall plant growth, health, and appearance in the grow rooms. * Clone, trim, prune, top and train plants as directed by the Cultivation Manager. * Monitor and maintain quality control measures in accordance with State and local laws. * Adhere to company policies and Standard Operating Procedures (SOPs). * Maintain a clean and safe working environment within the facility and production areas. * Immediately inform Cultivation Manager of any system discrepancies. * Visually inspect plants for any diseases, deficiencies, insects, and mold, reporting concerns to management for remediation. * Follow plant scheduling to accurately project plant need. * Catalogue, track, and organize plants from clone-to-harvest using our track and trace system. * Work within company continuous improvement system and strive to increase productivity. * Regularly clean cultivation equipment and tools, including light reflectors, containers, and ventilation equipment. * Document and update cultivation logs with nutrient and/or substance application to any plants within the facility. * Provide support to additional cultivation and harvest teams as needed to achieve facility production goals. * Other duties as assigned by management. Minimum Qualifications * Minimum 1-3 years' experience in a related position. * Able to follow detailed instruction and capable of performing repetitive tasks. * Must have a positive attitude and work well with others in a team environment. * Willing to learn about, operate and maintain facility equipment in a safe manner. * Comfortable with heights, soil and water, and tight spaces. * Ability to safely climb, squat, bend, twist, kneel and stand for at least 8 hours per day, and lift up to 50 pounds. * Must be 21 years of age or older, and able to successfully register with the state's cannabis commission as an agent. * Must comply with all laws, regulations, and policies associated with the industry. Preferred Qualifications * High school diploma, GED, or equivalent preferred. * Previous experience in a regulated production facility (food, beverage, CPG, etc.). * Basic knowledge of plant structure and horticulture preferred. Physical and Mental Demands While performing the duties of this job, the employee is frequently required to remain in a stationary position, move and/or position oneself, communicate, operate and/or prepare, place, position objects, tools, or controls. The employee must occasionally move packages weighing up to 50 lb. Able to stand for 90% of the time. Comfortable with heights, occasionally ascends/descends a ladder to service the lights, filters, trellis netting and ceiling fans up to 25ft. Comfortable working atop and traversing scaffolding, when required. Comfortable with changing environment temperatures and humidity. Exposure to pollen, dust, dander, and other nature elements. Specific vision abilities required by this job include close observation and the ability to adjust focus. The mental and physical requirements described here are representative of those that must be met by an individual, with or without reasonable accommodation, to successfully perform the essential functions of this position. Working Environment Work is performed in a warehouse environment. The employee is occasionally exposed to moving mechanical parts and risk of electrical shock. The noise level in the work environment is usually moderate. The work environment characteristics described here are representative of those an individual encounters while performing the essential functions of this position. We are proud to be an equal opportunity employer. We place priority in an environment of inclusion, diversity and social justice and are committed to securing a better, brighter way forward for our employees, our markets, and our communities.