MisuJob - AI Job Search Platform MisuJob

Jobs

Browse 163+ jobs updated daily

Latest Job Openings

Nashville Remote permanent
MathematicsProof WritingLeanFormal VerificationAlgorithm DesignType TheoryCommunicationCollaborationProblem SolvingFormal Proof Systems

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

December 11, 2025 View Details
Toronto Remote permanent
MathematicsProof WritingLeanFormal VerificationAlgorithm DesignLogical ReasoningMathematical ReasoningSoftware DevelopmentProblem SolvingCommunication

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

December 11, 2025 View Details
Vancouver Remote permanent
Mathematical FormalizationLeanProof ConstructionFormal Proof SystemsMathematical ReasoningAlgorithmic ThinkingCommunication SkillsProblem-SolvingFormal VerificationMathematical Rigor

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

December 11, 2025 View Details
Hong Kong Remote permanent
Mathematical FormalizationLeanFormal Proof SystemsProof WritingRigorous ReasoningAlgebraAnalysisTopologyLogicDiscrete MathType TheoryCurry-Howard Correspondence

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

December 11, 2025 View Details
Atlanta Remote permanent
MathematicsFormal Proof SystemsLeanProof WritingRigorous ReasoningAlgebraAnalysisTopologyLogicDiscrete MathProof AssistantsCoq

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

December 11, 2025 View Details
Los Angeles Remote permanent
Mathematical FormalizationLeanFormal Proof SystemsProof WritingRigorous ReasoningAlgebraAnalysisTopologyLogicDiscrete MathType TheoryCurry-Howard Correspondence

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

December 11, 2025 View Details
Location not specified
Customer ServicePOS SystemsTicket SalesProduct KnowledgeCash HandlingCustomer InteractionTime ManagementVehicle OwnershipProactivityTeamwork

DETALLES DE LA OFERTA: Referencia oferta: HP260043 Descripción: AUX. INFORMACION Y VENTA TAQUILLA MALIAÑO VAC. Empresa: LOGIRAIL SME, S.A. Puesto: PERSONAL HANDLING CERCANIAS MALIAÑO(SANTANDER...

January 21, 2026 View Details
Ouagadougou, Centre Region, Burkina Faso Remote permanent
Business DevelopmentSalesMarket AnalysisCustomer Relationship ManagementNegotiationContract ManagementProject ManagementTeam LeadershipHealth & Safety ComplianceCompliance

We are SGS – the world’s leading testing, inspection and certification company. We are recognized as the global benchmark for quality and integrity. Our 96,000 employees operate a network of 2,600 off...

August 7, 2024 View Details
Framingham, MA permanent
Project ManagementTeam LeadershipCross-functional CollaborationRegulatory AffairsQuality ManagementStrategic PlanningProduct DevelopmentScience CommunicationRegulatory Compliance

Job title : Project Leader CMC, Mammalian Projects Cluster Location: Framingham, MA About the Job Sanofi has an opening for a Project Leader role in our Chemistry Manufacturing & Control (CMC) organiz...

January 16, 2026 View Details
München, Germany Freelance
Machine LearningData AnalysisCSV ProcessingAnomaly DetectionKI AlgorithmsProcess AutomationIndustrial SystemsDashboard Development

**Projektziel:** Entwicklung eines Proof of Concept (POC) zur automatisierten Anomalieerkennung in Industriedaten mittels KI-Algorithmen und KI-Agenten. **Hauptaufgaben:** • Extraktion und Verarbeitu...

January 14, 2026 View Details
US - Gaithersburg - MD permanent
Technical KnowledgeProject ManagementScientific ExpertiseData AnalysisData ReportingTrainingMethodology DevelopmentCollaborationRegulations ComplianceSafety Standards

Typical Accountabilities: • Applies technical knowledge and expertise to achieve project targets in a timely fashion and to agreed quality standards • Develops and maintains a level of scientific know...

January 6, 2026 View Details
Utrecht, Utrecht, Nederland permanent
Business ConsultingProcess OptimizationProject ManagementTeam CoordinationPerformance Improvement

BELANGRIJK: • Om ervoor te zorgen dat evt. kandidaten vacatures kunnen filteren op de werkenbij, dien je TAGS (in het bovenste blok) in te vullen. Je MOET een werkveld én een vakgebied kiezen. Select...

January 30, 2026 View Details