theorema design

Company: QUALCOMM SEMICONDUCTORES Y SISTEMAS AVANZADOS DE BAJA CALIFORNIA Job Area: Engineering Group, Engineering Group > ASICS Engineering General Summary: About Qualcomm: As a leading technology innovator, Qualcomm pushes the boundaries of what’s possible to enable next-generation experiences and drives digital transformation to help create a...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems to translate rigorous human-written arguments into machine-verifiable proofs — working at the very edge of...

About The Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about rigorous proof? We're looking for Formal Verification Scientists to translate advanced human mathematics into machine-verifiable Lean 4 formalizations — working at the exact boundary of what proof assistants can currently express and...

Researcher – Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape the future of AI — and push the boundaries of what machines can reason about and verify? We're looking for mathematicians and formal methods specialists to translate sophisticated human-written proofs into...

About The Role What if your deep mathematical training could directly shape how AI reasons, proves, and understands the most rigorous ideas in human knowledge? We're looking for Applied Formal Methods Researchers to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs — working at the precise boundary of what automated reasoning...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape the future of AI reasoning? We're looking for Lean 4 Proof Engineers to translate advanced human-written mathematics into precise, machine-verifiable formalizations — working at the cutting edge of what proof assistants can...

At TE, you will unleash your potential working with people from diverse backgrounds and industries to create a safer, sustainable and more connected world.  Job Overview The High-Speed Cable Assembly Reliability & Testing (R&T) Leader will lead a dedicated team of R&T engineers and will have responsibility for driving standardized Design...

🤓 TripleTen is an EdTech company that designs and runs tech career learning programs for the US and Latin American markets. We've been doing it for over five years, teaching complete beginners — people with no prior tech background — through cohort-based programs built on our own platform and curriculum, developed in partnership with Nebius AI. Our...

🤓 TripleTen is an EdTech company that designs and runs tech career learning programs for the US and Latin American markets. We've been doing it for over five years, teaching complete beginners — people with no prior tech background — through cohort-based programs built on our own platform and curriculum, developed in partnership with Nebius AI. Our...

Reliability Test & Validation Manager At TE, you will unleash your potential working with people from diverse backgrounds and industries to create a safer, sustainable and more connected world. Job Overview The High-Speed Cable Assembly Reliability & Testing (R&T) Leader will lead a dedicated team of R&T engineers and will have responsibility for driving...

Location: RemoteType: Contract / Part-timeCommitment: 20 hours per weekCompensation: Up to 40 USD / hrProject duration: 2 months, with potential extensionAvailability: Immediate startAbout the roleWe create high-quality STEM training data for frontier AI models. Our data is used directly in training and evaluation pipelines at leading AI labs to improve...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.Location: RemoteType: Contract / Part-timeCommitment: 20 hours per weekCompensation: Up to 40 USD / hrProject duration: 2 months, with potential extensionAvailability: Immediate startAbout the roleWe create high-quality STEM training data...

Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We create high-quality STEM training data for frontier AI models. Our data is used directly in training and evaluation pipelines at leading AI...

Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We create high-quality STEM training data for frontier AI models. Our data is used directly in training and evaluation pipelines at leading AI...

Location:RemoteType:Contract / Part-timeCommitment:20 hours per weekCompensation:Up to 40 USD / hrProject duration:2 months , with potential extensionAvailability:Immediate startAbout the roleWe create high-quality STEM training data for frontier AI models. Our data is used directly in training and evaluation pipelines at leading AI labs to improve model...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We create...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location:RemoteType:Contract / Part-timeCommitment:20 hours per weekCompensation:Up to 40 USD / hrProject duration:2 months , with potential extensionAvailability:Immediate startAbout the roleWe create high-quality STEM training data for...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We create...

ROLE DESCRIPTION The High-Speed Cable Assembly Reliability & Testing (R&T) Leader will lead a dedicated team of R&T engineers and will have responsibility for driving standardized Design for Reliability Engineering (DfRE) and Robustness Validation (RV) Methodologies for all High-Speed Cable Assembly Products in the DDN Portfolio. He/she and their team will...

The High-Speed Cable Assembly Reliability & Testing (R&T) Leader will lead a dedicated team of R&T engineers and will have responsibility for driving standardized Design for Reliability Engineering (DfRE) and Robustness Validation (RV) Methodologies for all High-Speed Cable Assembly Products in the DDN Portfolio. He/she and their team will work extremely...