Skip to content
×

Mathematics Job Openings in North Carolina — Search & Apply

Mathematics Job Openings in North Carolina — Search & Apply USA Jobs Homepage
Search by City »
Jobs found: 92

61. Remote Formal Verification Scientist - Lean 4 & Mathlib

1 week ago
(Remote / Online) - Candidates ideally in Greenville, North Carolina, USA (Greenville jobs)

Research/Development (AI Evaluation, Mathematics)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine - verifiable Lean 4 proofs, at the frontier of mechanized...
Listing for: Alignerr Corp.
View this Job

62. Remote Formal Verification Scientist - Lean 4 & Mathlib

1 week ago
(Remote / Online) - Candidates ideally in Concord, North Carolina, USA (Concord jobs)

Research/Development (AI Evaluation, Mathematics)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine - verifiable Lean 4 proofs, at the frontier of mechanized...
Listing for: Alignerr Corp.
View this Job

63. Remote Formal Verification Scientist - Lean 4 & Mathlib

1 week ago
(Remote / Online) - Candidates ideally in Asheville, North Carolina, USA (Asheville jobs)

Research/Development (AI Evaluation, Mathematics)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine - verifiable Lean 4 proofs, at the frontier of mechanized...
Listing for: Alignerr Corp.
View this Job

64. Remote Formal Verification Scientist - Lean 4 & Mathlib

1 week ago
(Remote / Online) - Candidates ideally in Greensboro, North Carolina, USA (Greensboro jobs)

Research/Development (AI Evaluation, Mathematics)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine - verifiable Lean 4 proofs, at the frontier of mechanized...
Listing for: Alignerr Corp.
View this Job

65. Remote Formal Verification Scientist - Lean 4 & Mathlib

1 week ago
(Remote / Online) - Candidates ideally in High Point, North Carolina, USA (High Point jobs)

Research/Development (AI Evaluation, Mathematics)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine - verifiable Lean 4 proofs, at the frontier of mechanized...
Listing for: Alignerr Corp.
View this Job

66. Remote Formal Verification Scientist - Lean 4 & Mathlib

1 week ago
(Remote / Online) - Candidates ideally in Raleigh, North Carolina, USA (Raleigh jobs)

Research/Development (AI Evaluation, Mathematics)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine - verifiable Lean 4 proofs, at the frontier of mechanized...
Listing for: Alignerr Corp.
View this Job

68. Remote Formal Verification Scientist - Lean 4 & Mathlib

1 week ago
(Remote / Online) - Candidates ideally in Durham, North Carolina, USA (Durham jobs)

Research/Development (AI Evaluation, Mathematics)

Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine - verifiable Lean 4 proofs, at the frontier of mechanized...
Listing for: Alignerr Corp.
View this Job
Jobs found: 92