Technical Lead - AI for Math

Islamabadonsitesenior

Posted 5mo ago · via Workable

See if I'm a fit →Tailor my resume for this role →Apply on Workable ↗

About this role

About Us 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. About the Role 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.…

Read the full description on Skylabs AI's site →

What we'd score you on

reqspace match rubric

Five dimensions, recruiter-grade. Upload your resume and we'll generate a written explanation of where you fit and where the gaps are.

Skills match

For this role: python, git, confluence

Level fit

This role is senior-level. We check your trajectory against it.

Domain experience

Your work in the role's domain matters more than your years total. We weight recent and direct experience.

Recency

A skill you used last quarter weighs more than one from five years ago. We grade on recency, not lifetime.

Location fit

This role is based in Islamabad. We weight your proximity and willingness to relocate.

Score yourself on this role.

Free · no card · written explanation included

See if I'm a fit →

Skills in this role

Pulled from the job description. These are the keywords we'll weight when scoring your fit.

pythongitconfluence

More at Skylabs AI

See all open jobs at Skylabs AI →