software engineering lead

Trellis Technologies

<div><h1 class="jobSectionHeader"><b>About Trellis</b></h1><p>
Trellis is rewriting the insurance experience from the inside out. We&rsquo;re the tech company behind Savvy, our licensed insurance agency, and we&rsquo;re bringing clarity and ease to a space known for&hellip; the opposite. With powerful tools, clean design, and a customer-first mindset, we&rsquo;re making insurance shopping refreshingly effortless.</p><p>
We&rsquo;re a profitable, fast-growing Series A startup backed by General Catalyst, QED, NYCA, and Amex Ventures. As a remote-first team, we move quickly, experiment boldly, and build with intention.</p><p>
If you&rsquo;re craving meaningful impact, energized by ambiguity, and are ready to build alongside exceptional teammates, you&rsquo;re going to love doing your best work at Trellis.</p><h2 class="jobSectionHeader"><b>
Your Mission</b></h2><p>
Reporting to Thomas Boquet, Head of Real-Time Bidding, the Software Engineering Lead, Affiliate Engineering will own all of our technical relationships and integrations with affiliate partners - the platforms that send us millions of leads, clicks, and calls daily - and serve as the primary technical point of contact for ensuring those partnerships are deeply integrated, high-performing, and continuously improving.</p><p>
Your mission will be to ensure that our real-time bidding infrastructure:</p><ul><li><p>
Seamlessly connects with dozens of affiliate platforms, giving us access to the broadest and highest-quality inventory possible</p></li><li><p>
Accurately and reliably receives, validates, and routes inbound data from affiliate requests through to our machine learning models</p></li><li><p>
Maintains a high degree of integration reliability, visibility, and performance across all affiliate channels</p></li></ul><p></p><h2 class="jobSectionHeader"><b>
Your Initial Goals</b></h2><ul><li><p><b>
Make every affiliate successful at integrating with our API</b></p><ul><li><p>
By serving as a responsive, knowledgeable technical partner throughout the onboarding and integration process</p></li><li><p>
By systematically identifying and resolving bugs and gaps in existing integrations</p></li></ul></li><li><p><b>
Proactively deepen our integrations with every affiliate</b></p><ul><li><p>
By evolving our API to expose richer capabilities and unlock more inventory</p></li><li><p>
By collaborating directly with affiliate partners to identify and act on opportunities to expand the volume and quality of traffic we receive</p></li></ul></li><li><p><b>
Build visibility and confidence in our data pipeline</b></p><ul><li><p>
By documenting, understanding, and monitoring the full data flow from inbound API requests through to our machine learning models</p></li><li><p>
By proactively tracking integration performance and surfacing issues before they become business problems</p></li></ul></li></ul><p></p><h1 class="jobSectionHeader"><b>
What You&rsquo;ll Need to Succeed</b></h1><ul><li><p><b>
Extensive Backend Engineering Experience</b> &ndash; This role is nearly entirely backend focused. You should be comfortable exercising best practices in Python/FastAPI, working with high-throughput real-time systems, and deploying and operating services on Google Cloud Platform (GCP).</p></li><li><p><b>
Communication Skills</b> &ndash; You will work extensively with external affiliate partners, making clear and professional written and verbal communication essential. You'll need good judgment for navigating technical conversations with partners of varying sophistication and organizational complexity.</p></li><li><p><b>
Process Orientation &amp; Multitasking</b> &ndash; You will be responsible for many simultaneous workstreams: active integrations, in-flight debugging, API evolution projects, and ongoing partner relationships. You'll need to design and maintain right-sized processes to keep everything on track without dropping balls.</p></li><li><p><b>
Detail Orientation</b> &ndash; Real-time bidding is an unforgiving environment where a single malformed field or misconfigured parameter can silently degrade performance or revenue. An extraordinary eye for detail is essential.</p></li><li><p><b>
QA Mindset</b> &ndash; You will be expected to build and maintain robust testing and validation practices to ensure integrations behave correctly end-to-end, especially as we scale to more affiliates and more inventory types.</p></li><li><p><b>
Domain Knowledge (a Plus)</b> &ndash; Familiarity with the insurance industry and/or real-time bidding ecosystems (leads, clicks, calls) will meaningfully accelerate your ability to make good decisions and earn credibility with partners.</p></li></ul><h2 class="jobSectionHeader"><b>
Why Trellis? Because you deserve a career that&rsquo;s exciting, meaningful, and surrounded by people who lift you up.</b></h2><p>
We&rsquo;re a group of curious, mission-driven humans rewriting the insurance experience and having a lot of fun along the way. At Trellis, you&rsquo;ll make a real impact on a product millions rely on, and grow alongside a company that&rsquo;s scaling fast.</p><h2 class="jobSectionHeader"><b><br>
What sets Trellis apart:</b></h2><p>
A transparent, collaborative culture where ideas win, not titles<br>
Big opportunities to take ownership and chart your growth<br>
Competitive compensation (75th+ percentile)<br>
Fully remote across the US &amp; Canada<br>
Quarterly virtual and/or in-person events that keep us connected</p><h3 class="jobSectionHeader"><b><br>
Plus, the benefits are built to support your </b><b><i>whole</i></b><b> life:</b></h3><p>
Flexible vacation (yes, <i>actually</i> flexible)<br>
100% employer-paid health insurance for employees<br>
Home office budget to create your perfect setup<br>
Wellness programming, because balance matters<br>
401(k) and HSA contributions, FSAs, bonuses &amp; equity opportunities<br>
Paid parental leave</p><p><br>
<b>If you want a role where you&rsquo;ll grow, be trusted, and build something that genuinely improves people&rsquo;s lives, Trellis is the place. Join us.</b></p><p><i>
We are an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.</i></p><p><i>
Note: all employees must complete a background check prior to starting employment with Trellis or its subsidiaries</i></p><p>
Compensation Range: $210K - $220K</p></div>

Software Engineering Lead, Affiliate Engineering

Unifonic

<div><p>Proudly voted a Great Place to Work&reg;, we are a dynamic startup in the SaaS space that is revolutionizing the way businesses communicate. Our team is made up of 500 energetic and passionate Unifones who are dedicated to delivering the best possible experience to 5000+ customer-centric companies.<br>
We pride ourselves on our fun and collaborative work environment, where creativity and new ideas are constantly encouraged. As shareholders in the business, we&rsquo;re so much more than a group of passionate communicators. We are Unifones. Join our team and be a part of something big!</p><p></p><p><b>
Meet the team!</b></p><p>
Our Engineering team is responsible for designing, developing, and maintaining the systems and technologies that drive Unifonic&rsquo;s solutions. We work closely with other departments to ensure our products and services meet the needs of our customers. If you are passionate about technology and are excited about working on cutting-edge communication and engagement solutions, we want you on our team.</p><p></p><p>
As a Software Engineering Lead, you will be responsible for leading a team that designs and delivers a drag-and-drop workflow builder powered by Camunda, builds and maintains integration connectors with platforms such as Salla, Shopify, and other marketplaces, and integrates and operationalizes data-producing channels including the Web SDK and other event streams. You will ensure the reliability, scalability, and an excellent developer experience for both internal teams and customers. This is a hands-on role where you will regularly contribute to production code while owning team execution, delivery, and technical direction.</p><p></p><p><b>
Help us shape the future of communication by:</b></p><ul><li>
Owning delivery and technical direction of the workflow orchestration and integration platform.</li><li>
Leading, mentoring, and inspiring a team of engineers to foster a culture of collaboration, innovation, and continuous improvement.</li><li>
Supporting recruitment, hiring, and onboarding of engineering talent.</li><li>
Working closely with product managers, designers, and engineers to prioritize, plan, and schedule work.</li><li>
Driving architecture decisions for scalable, secure, and maintainable systems.</li><li>
Ensuring strong engineering practices: code reviews, testing, observability, performance, and operational excellence.</li><li>
Communicating status, risks, and requirements clearly across stakeholders and teams.</li><li>
Facilitating continuous learning and improvement for the team and its members.</li><li>
Working in a fast-paced environment with evolving requirements and shifting priorities.</li></ul><p><b><br>
What you&rsquo;ll bring:</b></p><ul><li>
7+ years of relevant software engineering experience, with 5+ years building scalable, production-grade backend systems.</li><li>
Proven experience leading a team (Team Lead / Tech Lead / Engineering Lead), including execution ownership and coaching.</li><li>
Strong hands-on Java experience (Must).</li><li>
Kafka experience (Must) &mdash; event streaming, consumer groups, reliability patterns, and throughput scaling.</li><li>
Kubernetes + Docker (Must) &mdash; containerized deployments, troubleshooting, and operating production workloads.</li><li>
Experience building integration-heavy systems, including third-party APIs, webhooks, auth flows, retries, idempotency, rate limits, and observability.</li><li>
Experience designing workflow-driven platforms, orchestration, state handling, and long-running processes.</li></ul><ul><li>
Camunda (Big plus) &mdash; BPMN workflows, external tasks/jobs, process design, and production operations.</li><li>
ReactJS + TypeScript (Plus) &mdash; especially for workflow builder / UI-heavy products.</li><li>
Experience integrating with e-commerce / marketplace platforms such as Salla, Shopify, or similar ecosystems.</li><li>
Familiarity with caches Redis and databases PostgreSQL</li><li>
Experience designing and maintaining CI/CD pipelines (Drone CI is a plus).</li><li>
Familiarity with code quality tooling (e.g., SonarQube) and testing/performance tools (e.g., Cucumber, JMeter, Locust, wrk).</li><li>
Strong English communication skills (written and spoken).</li><li>
Ability to collaborate effectively across teams and with offshore/remote stakeholders.</li></ul><p></p><p><b>
As a Unifone you&rsquo;ll receive a range of benefits:</b></p><ul><li>
Competitive salary and bonus</li><li>
Unifonic share scheme (we are all owners!)</li><li>
30 holiday days after the first anniversary</li><li>
Your Birthday off!</li><li>
Spend up to 25 days per year working from anywhere in the world!</li><li>
Paid leave for new parents</li><li>
LinkedIn learning license</li></ul></div>

Software Engineering Lead – Workflow & Integrations (Camunda)

The Cigna Group

<div><p><b>Software Engineering Lead Analyst</b></p><p><b>
Position Overview</b></p><p></p><p>
The job profile for this position is Software Engineering Senior Analyst.</p><p></p><p><b>
Excited to grow your career?</b></p><p></p><p>
We value our talented employees, and whenever possible strive to help one of our associates grow professionally before recruiting new talent to our open positions. If you think the open position you see is right for you, we encourage you to apply!</p><p></p><p>
Our people make all the difference in our success. We are looking for an engineer to work within our Mainframe PBM Technology organization who is open to learning new technology and has experience writing JCL, SQL. In this role you will support the team and gain exposure to the full software lifecycle of design, development, testing, and support for technical delivery. This role requires working with both onsite (Scrum Master, Product, QA and Developers) and offshore QA team members in properly defining testable scenarios based on requirements/acceptance criteria.
</p><p></p><p><b>Responsibilities</b></p><ul><li>
Delivers specific delegated tasks assigned by a supervisor in the Engineering job family, supporting the full software lifecycle of design, development, testing, and support for technical delivery.</li><li>
Designs, develops and implements standardized methods, processes and systems and data mining tools.</li><li>
Works with both onsite (Scrum Master, Product, QA and Developers) and offshore QA team members in properly defining testable scenarios based on requirements/acceptance criteria.
</li><li>Completes day-to-day Information Management tasks without immediate supervision but has ready access to advice from more experienced team members.</li><li>
Tasks involve a degree of forward planning and anticipation of needs/issues.</li><li>
Participate in daily team standup meetings where you'll give and receive updates on the current backlog and challenges.</li></ul><p></p><p><b>
Qualifications</b></p><p></p><p><b>
Required Skills:</b></p><ul><li>
Experience writing JCL, SQL , COBOL, CICS, DB2</li><li>
Knowledge of agile software development life cycle methodology.</li><li>
Prior industry experience (Pharmacy, Healthcare, etc.) preferred.</li><li>
Must have good analytical and problem solving skills.</li><li>
Must have good communications skills both verbal and written.</li></ul><p></p><p><b>
Required Experience &amp; Education:</b></p><ul><li>
4+ years of experience</li><li>
3+ years of experience in developing Mainframe applications utilizing COBOL, CICS, DB2, VSAM.</li><li>
High School diploma or equivalent required.</li><li>
College degree preferred, but not required.</li></ul><p></p><p><b>
Location &amp; Hours of Work</b></p><p>
&lt; &gt;Full-time position, working 40 hours per week. Expected overlap with US hours as appropriatePrimarily based in the Innovation Hub in Hyderabad, India in a hybrid working model (3 days WFO and 2 days WAH)</p><p></p><p><b>
About Evernorth Health Services</b></p><div><div><div><div><div><div><div><p>
Evernorth Health Services, a division of The Cigna Group, creates pharmacy, care and benefit solutions to improve health and increase vitality. We relentlessly innovate to make the prediction, prevention and treatment of illness and disease more accessible to millions of people. Join us in driving growth and improving lives.</p></div></div></div></div></div></div></div></div>

Software Engineering Lead Analyst - Hyderabad - Evernorth

<div><p><b>ABOUT EVERNORTH:</b></p><p>
Evernorth℠ exists to elevate health for all, because we believe health is the starting point for human potential and progress. As champions for affordable, predictable, and simple health care,<br>
we solve the problems others don&rsquo;t, won&rsquo;t or can&rsquo;t.</p><p>
Our innovation hub in India will allow us to work with the right talent, expand our global footprint, improve our competitive stance, and better deliver on our promises to stakeholders. We are passionate about making healthcare better by delivering world-class solutions that make a real difference.</p><p>
We are always looking upward. And that starts with finding the right talent to help us get there.</p><p></p><p><b>
Position Overview</b></p><p>
As a Lead Analyst developer, you will be involved in design, development, testing of</p><p>
Pega PRPC (Pega Rules Process Commander) and related infrastructure. You will be in</p><p>
direct contact with technical leads, on-site and off-shore team members as well as other engineers.</p><p><b>
Responsibilities</b></p><ul><li>Analyze, design and support implementation of business specific Pega solutions</li></ul><p>
and/or frameworks.</p><ul><li>Responsible for implementing technical solutions on Pega 8.8.X, and Pega Healthcare</li></ul><p>
Management</p><ul><li>Ability to create reusable components that can be leveraged across the enterprise for</li></ul><p>
providing top-notch customer experience</p><ul><li>Ability to translate complex business requirement into functional technical</li></ul><p>
requirements using Pega Systems BPM methodology.</p><ul><li>Good hands on implementing PEGA integration services, good understanding of</li></ul><p>
PEGA new case management features.</p><ul><li>Perform regular code and design reviews.</li><li>Assist with planning and execution of unit, integration and user acceptance testing.</li><li>Provide regular updates to product owners and management on project progress and</li></ul><p>
outstanding issues</p><ul><li>Takes responsibility for resolving escalations and reporting back to operations</li></ul><p>
leadership as needed</p><ul><li>Participates in peer-reviews of solution designs and related code and configurations.</li><li>Supports packaging and deployment of releases</li><li>Analyzes and resolves technical and application problems and monitors the</li></ul><p>
performance of internal systems</p><ul><li>Attends scrum ceremony meetings and design sessions. Maximize the efficiency</li></ul><p>
(operational, performance, and cost) of the application assets.</p><p><b>
Qualifications</b></p><p><b>
Required Skills:</b></p><ul><li>Excellent technical understanding of Pega Rules Process Commander (PRPC) and</li></ul><p>
Pega product knowledge</p><ul><li>Experience in building and implementing model-driven, enterprise-level business</li></ul><p>
solutions.</p><ul><li>Proven experience in all phases of software development including design,</li></ul><p>
configuration, testing, debugging, implementation, and support of large-scale, business</p><p>
centric and process-based applications.</p><ul><li>Experience in business process modeling or flow charting</li><li>Excellent problem-solving skills specifically triaging of technical issues including</li></ul><p>
querying backend SQL databases</p><ul><li>Experience with alerting and monitoring tools to ensure adherence to service level</li></ul><p>
agreements.</p><ul><li>Good written and oral communication skills</li><li>Pega certified CLSA (at least part 1) or CCSA with knowledge of Java frameworks</li></ul><p><b>
Required Experience &amp; Education:</b></p><ul><li>Bachelor&rsquo;s degree in Computer Science or a related discipline strongly preferred,</li><li>6-8 years&rsquo; experience with at least 5 years of Pega technology and Pega PRPC</li></ul><p>
implementation experience</p><p><b>
Location &amp; Hours of Work</b></p><ul><li>Full-time position, working 40 hours per week. Expected overlap with US hours as</li></ul><p>
appropriate.</p><ul><li>Primarily based in the Innovation Hub in Hyderabad, India, with flexibility to work</li></ul><p>
remotely as required (3 days WFO and 2 days WAH).</p><p></p><p><b>
About Evernorth Health Services</b></p><div><div><div><div><div><div><div><p>
Evernorth Health Services, a division of The Cigna Group, creates pharmacy, care and benefit solutions to improve health and increase vitality. We relentlessly innovate to make the prediction, prevention and treatment of illness and disease more accessible to millions of people. Join us in driving growth and improving lives.</p></div></div></div></div></div></div></div></div>

HIH - Software Engineering Lead Analyst

<div><p><b>Position Overview</b></p><p>
Evernorth Customer Data Platform Engineering team is looking for a Software Engineering Senior Advisor highly skilled in Data Engineering with hands-on experience working with Snowflake. The ideal candidate will have a strong background in Big Data technologies, including Apache Spark (Python or Scala), and expertise in orchestration and integration tools such as Apache Airflow or NiFi, or DBT. Experience with cloud services, preferably AWS, is essential for designing and implementing scalable data pipelines in the cloud. This role offers the opportunity to work on cutting-edge data engineering projects and collaborate with cross-regional teams to deliver innovative solutions.</p><p></p><p>
In this role, you will provide hands-on software engineering and system architecture leadership for our CDP teams. You will be working on several of the largest Technology initiatives for Evernorth℠ targeted at revolutionizing Health Services and Healthcare Delivery system in the United States. The focus of the work is to continue to enhance our market winning capabilities in the pharmacy and PBM space.</p><p></p><p>
The Evernorth℠Technology strategy is fully aligned with our business strategy, resulting in an opportunity for you to influence in various directions &ndash; this includes technology\business direction.</p><p></p><p><b>
Responsibilities</b></p><ul><li>
Snowflake Expertise: Design, develop, and optimize data pipelines using Snowflake, including building and maintaining multi-layered data models. Optimize queries, ensure performance, and manage the cost efficiency of Snowflake environments.</li><li>
Cloud Experience: Extensive experience working with AWS or other cloud platforms (such as Azure or Google Cloud) to design, deploy, and manage scalable data solutions. Proficient in utilizing cloud-native services for data storage, processing, and orchestration (e.g., S3, EMR, EC2, Redshift, Athena, Lambda, Glue). Familiar with setting up and managing cloud environments for optimal performance and cost-efficiency.</li><li>
Big Data Engineering: Lead the design and development of Big Data solutions using Apache Spark (Python/Scala), enabling the processing of petabytes of data in both real-time and batch modes. Work with both structured and unstructured data to build efficient data architectures.</li><li>
Data Orchestration &amp; Integration: Develop and manage end-to-end ETL/ELT pipelines using Apache Airflow, Apache NiFi, DBT, or other equivalent orchestration tools. Automate data workflows, schedule tasks, and ensure the reliability of data pipelines.</li><li>
Data Modeling: Design and implement scalable and efficient data models for data storage and retrieval, ensuring data accessibility and optimization. Work on building and managing multi-layered data models that facilitate easy analysis and reporting.</li><li>
Real-Time Data Streaming: Work with Kafka or other streaming technologies to enable real-time data ingestion and processing. Build and optimize stream processing solutions to integrate event-driven data sources into the pipeline.</li><li>
Collaboration &amp; Leadership: Work with cross-functional teams, including product, engineering, to develop and implement data solutions. Manage and coordinate with offshore development teams to deliver high-quality data engineering solutions on time and within budget.</li><li>
SQL &amp; Database Management: Write complex SQL queries to transform and process data across relational and columnar databases. Design and maintain scalable database architectures for both operational and analytical workloads.</li><li>
Innovation &amp; Optimization: Continuously seek ways to improve the performance, scalability, and reliability of the data platform. Drive innovation by researching and applying the latest tools and technologies in the data engineering space.</li></ul><p></p><p><b>
Qualifications</b></p><p></p><p><b>
Required Skills:</b></p><ul><li>
5-8 years of experience in Data Engineering, with a proven track record of designing and building data pipelines and architectures at scale.</li><li>
At least 4 years of hands-on experience with Snowflake, including data modeling and query optimization, designing and implementing multi-layered data architectures</li><li>
Experience with cloud services, preferably AWS (e.g., S3, EMR, EC2, Redshift, Athena, Lambda, Glue), for designing, deploying, and managing scalable data solutions.</li><li>
Strong experience in Big Data technologies like Spark (Python/Scala) for large-scale data processing.</li><li>
Proficiency in Data Orchestration and Integration tools, such as Apache Airflow, Apache NiFi, DBT, or equivalent.</li><li>
Expertise in working with relational (e.g., SQL Server, PostgreSQL) and columnar databases (e.g., AWS Redshift, Snowflake), with advanced SQL query writing skills.</li><li>
Hands-on experience with Kafka or equivalent streaming data systems to process real-time data.</li><li>
Strong problem-solving skills and the ability to troubleshoot complex issues in distributed systems.</li><li>
Proven ability to collaborate with offshore teams and coordinate across time zones to deliver successful projects.</li><li>
Experience with version control systems like Bitbucket or GitHub, and project management tools such as Jira, with familiarity in working within an Agile/Sprint model.</li><li>
Good to have experience with Jenkins for continuous integration and deployment (CI/CD) pipelines and Terraform for infrastructure as code (IaC) automation.</li></ul><p></p><p><b>
Required Experience &amp; Education:</b></p><ul><li>
5-8 Years of Experience</li><li>
College degree (Bachelor) in related technical/business areas or equivalent work experience.</li></ul><p></p><p><b>
Desired Experience:</b></p><ul><li>
Exposure to AWS</li><li>
Healthcare experience</li><li>
Coaching of team members</li></ul><p></p><p><b>
About Evernorth Health Services</b></p><div><div><div><div><div><div><div><p>
Evernorth Health Services, a division of The Cigna Group, creates pharmacy, care and benefit solutions to improve health and increase vitality. We relentlessly innovate to make the prediction, prevention and treatment of illness and disease more accessible to millions of people. Join us in driving growth and improving lives.</p></div></div></div></div></div></div></div></div>

Software Engineering Lead Analyst - HIH - Evernorth

Capgemini

<div><div><div><p>Bangalore</p><div>
Senior Software Engineer</div><p>
</p></div></div><div></div><div><div><div><div><div><div><div><div><div>Job Description</div></div><div>
Works in the area of Software Engineering which encompasses the development maintenance and optimization of software solutions and applications.1. Applies scientific methods to analyse and solve software engineering problems.2. He or she is responsible for the development and application of software engineering practice and knowledge in research design development and maintenance.3. He or she work requires the exercise of original thought and judgement and the ability to supervise the technical and administrative work of other software engineers.4. The software engineer builds skills and expertise of his or her software engineering discipline to reach standard software engineer skills expectations for the applicable role as defined in Professional Communities.5. The software engineer collaborates and acts as team player with other software engineers and stakeholders.</div></div><div><div><div>
Job Description - Grade Specific</div></div><div>
Is fully competent in its own area and has a deep understanding of related programming concepts software design and software development principles. Works autonomously with minimal supervision. Able to act as a key contributor in a complex environment, lead the activities of a team for software design and software development. Acts proactively to understand internalorexternal client needs and offers advice even when not asked. Able to assess and adapt to project issues, formulate innovative solutions, work under pressure and drive team to succeed against its technical and commercial goals. Aware of profitability needs and may manage costs for specific projectorwork area. Explains difficult concepts to a variety of audiences to ensure meaning is understood. Motivates other team members and creates informal networks with key contacts outside own area.</div></div></div></div></div><div><div><div>
<div><div>Ref. code</div><div>
420334-en_GB</div></div><div><div>
Posted on</div><div>
23 Feb 2026</div></div><div><div>
Experience level</div><div>
Experienced Professionals</div></div><div><div>
Contract type</div><div>
Permanent</div></div><div><div>
Location</div><div>
Bangalore</div></div><div><div>
Business unit</div><div>
Other Delivery units</div></div><div><div>
Brand</div><div>
Capgemini</div></div><div><div>
Professional communities</div><div>
Software Engineering</div></div></div></div></div></div></div></div></div><p></p>

Senior Software Engineer

Skylabs AI

<div><p><b>About Us</b></p><p>
At SkyLabs AI Inc., we are at the forefront of the artificial intelligence revolution. As a US-headquartered company, we conduct applied research on AI for intelligent reasoning. We specialize in complex neurosymbolic AI to solve intricate problems within software engineering. Our team is composed of world-class researchers and engineers dedicated to building the platforms and intelligent agents that will power the next generation of software. If you are passionate about building truly intelligent systems and want to make a lasting impact, join us.</p><p></p><p><b>
About the Role</b></p><p><br>
We are seeking an exceptional Technical Lead to define and execute the technical vision for a pioneering project at the confluence of pure mathematics, artificial intelligence, and formal verification. This role is a unique hybrid, blending state-of-the-art software engineering with cutting-edge academic research. You will not only architect and lead the development of our AI-powered platform for formalizing and proving mathematics in LEAN 4 and Rocq, but you will also act as a key bridge to the academic world. The ideal candidate is a hands-on expert passionate about building robust systems for machine-checked proofs and eager to collaborate with the global research community to advance the field.</p><p><b>
Requirements</b></p><p><b>
Key Responsibilities</b></p><ul>
<li>
<b>Technical Vision &amp; Architecture:</b> Define and drive the technical strategy for formalizing mathematics at scale. Design robust, scalable software architecture for our data pipeline, AI models, and proof libraries.</li>
<li><b>Hands-On Development &amp; Prototyping: </b>Lead by example with hands-on contributions to the core codebase. Develop proofs-of-concept and tackle the most challenging technical problems in proof formalization and AI model implementation.</li>
<li><b>Academic Collaboration &amp; Research: </b>Establish and maintain active collaborations with leading researchers, university labs, and academic institutions. Co-author research papers for top-tier conferences and journals, and represent our work within the scientific community.</li>
<li><b>AI Strategy &amp; Implementation:</b> Direct the research, experimentation, and application of advanced AI models (e.g., Large Language Models) for the task of autoformalization&mdash;translating informal math into formal LEAN 4 code and/or Rocq.</li>
<li><b>Team Mentorship &amp; Guidance: </b>Mentor a talented team of mathematicians and software engineers. Foster a culture of technical excellence, intellectual curiosity, and rigorous engineering practices.</li>
<li><b>Code &amp; Proof Quality: </b>Set and enforce the highest standards for mathematical correctness, code quality, and the verifiability of formalized proofs. Champion best practices in software development, version control (Git), and formal methods.</li>
</ul><p></p><p><b>
Required Qualifications</b></p><ul>
<li>
<b>Education:</b> A PhD in Mathematics or Computer Science is strongly preferred. A Master's degree with an outstanding track record of relevant research and development will be considered.</li>
<li><b>Mathematical Depth:</b> A sophisticated understanding of graduate-level mathematics across several domains</li>
<li><b>AI &amp; NLP Proficiency: </b>Proven experience applying AI/ML, particularly large language models (LLMs)</li>
<li><b>Software Engineering Excellence: </b>Strong software development skills, with proficiency in languages like Python and a deep understanding of system design and architecture.</li>
<li><b>Research Acumen: </b>Demonstrable ability to engage with and contribute to academic research, evidenced by publications, conference presentations, or significant contributions to academic research projects.</li>
</ul><p></p><p><b>
Preferred Qualifications</b></p><ul>
<li>
<b>Expertise in Formal Methods:</b> Deep, hands-on expertise with proof assistants. Significant experience with LEAN 4 and/or Rocq is highly desired. A portfolio of non-trivial formalization projects is a major plus.</li>
<li>A strong publication record in relevant fields (e.g., formal methods, automated reasoning, AI, computational mathematics).</li>
<li>Experience leading or making significant contributions to major open-source formal methods or AI projects.</li>
<li>Experience presenting at top-tier academic conferences.</li>
</ul><p><b>
Benefits</b></p><ul>
<li>
Salaries in USD (income tax exemptions)</li>
<li>Work in Pakistan Timezone</li>
<li>Comprehensive health allowance</li>
<li>Monthly team events and activities</li>
<li>Relocation allowance (if you're moving to Islamabad)</li>
<li>Opportunity to work with top minds in the industry and academia</li>
<li>Startup culture where ideas are heard at all levels</li>
<li>Adequate annual, sick, casual and parental leaves</li></ul></div>

Technical Lead - AI for Math

Search 10000+ Software engineering lead jobs near you this March. New roles added regularly across leading industries. Apply today.