Mathematics Job Openings in North Carolina — Search & Apply
Jobs found: 88
61. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
62. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
63. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
64. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
65. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
66. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
67. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
68. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
69. Lean Proof Engineer - Mathematical Formalization
1 week agoResearch/Development (AI Evaluation, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About - The Role - What if your...
Listing for:
Alignerr
View this Job
70. Formal Verification Scientist; Lean 4 & Mathlib
1 week agoResearch/Development (Mathematics, AI Evaluation)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your mathematical expertise could directly shape how AI reasons, proves,...
Listing for:
Alignerr
View this Job
Jobs found: 88