AIJobsCareers
☰
Start Here
Explore Jobs
Advertise A Job
Formal Verification Scientist Lean 4 Mathlib Jobs in Vancouver
AI opportunities in Canada
Keywords
Location
Country
Set Your Country
United States / USA
Canada
United Kingdom / UK / GB
Australia
New Zealand / NZ
Ascension Island
Andorra
Antigua and Barbuda
Anguilla
Albania
Armenia
Angola
Antarctica
Argentina
American Samoa
Austria
Aruba
Aland Islands
Azerbaijan
Bosnia and Herzegovina
Barbados
Bangladesh
Belgium
Burkina Faso
Bulgaria
Bahrain
Burundi
Benin
St. Barthelemy
Bermuda
Brunei
Bolivia
Caribbean Netherlands
Brazil
Bahamas
Bhutan
Bouvet Island
Botswana
Belarus
Belize
Cocos (Keeling) Islands
Congo (DRC)
Central African Republic
Democratic Republic of the Congo
Cuba
Switzerland
Cote d'Ivoire / Ivory Coast
Cook Islands
Chile
Cameroon
China
Colombia
Costa Rica
Cape Verde
Curaçao
Christmas Island
Cyprus
Czech Republic
Germany
Djibouti
Denmark
Dominica
Dominican Republic
Algeria
Ecuador
Estonia
Egypt
Western Sahara
Eritrea
Spain
Ethiopia
Finland
Fiji
Falkland Islands (Islas Malvinas)
Micronesia
Faroe Islands
France
Gabon
Grenada
Georgia
French Guiana
Guernsey
Ghana
Gibraltar
Greenland
Gambia
Guinea
Guadeloupe
Equatorial Guinea
Greece
South Georgia and South Sandwich Islands
Guatemala
Guam
Guinea-Bissau
Guyana
Hong Kong
Heard and McDonald Islands
Honduras
Croatia
Haiti
Hungary
Indonesia
Ireland
Iran
Israel
Isle of Man
India
British Indian Ocean Territory
Iraq
Iceland
Italy
Jersey
Jamaica
Jordan
Japan
Kenya
Kyrgyzstan
Cambodia
Kiribati
Comoros
St. Kitts and Nevis
South Korea
Kuwait
Cayman Islands
Kazakhstan
Laos
Lebanon
St. Lucia
Liechtenstein
Sri Lanka
Liberia
Lesotho
Lithuania
Luxembourg
Latvia
Libya
Morocco
Monaco
Moldova
Montenegro
St. Martin
Madagascar
Marshall Islands
Macedonia (FYROM)
Mali
Myanmar (Burma)
Mongolia
Macau
Northern Mariana Islands
Martinique
Mauritania
Montserrat
Malta
Mauritius
Maldives
Malawi
Mexico
Malaysia
Mozambique
Namibia
New Caledonia
Niger
Norfolk Island
Nigeria
Nicaragua
Netherlands
Norway
Nepal
Nauru
Niue
Oman
Panama
Peru
French Polynesia
Papua New Guinea
Philippines
Pakistan
Poland
St. Pierre and Miquelon
Pitcairn Islands
Puerto Rico
Palestine
Portugal
Palau
Paraguay
Qatar
Reunion
Romania
Serbia
Russia
Rwanda
Kingdom Of Saudi Arabia / KSA
Solomon Islands
Seychelles
Sweden
Singapore
St. Helena
Slovenia
Svalbard and Jan Mayen
Slovakia
Sierra Leone
San Marino
Senegal
Somalia
Suriname
South Sudan
Sudan
Sao Tome and Príncipe
El Salvador
Sint Maarten
Swaziland
Syria
Tristan da Cunha
Turks and Caicos Islands
Chad
French Southern Territories
Togo
Thailand
Tajikistan
Tokelau
Timor-Leste
Turkmenistan
Tunisia
Tonga
Turkey
Trinidad and Tobago
Tuvalu
Taiwan
Tanzania
Ukraine
Uganda
U.S. Outlying Islands
United Arab Emirates / UAE
Uruguay
Uzbekistan
Vatican City
St. Vincent and Grenadines
Venezuela
British Virgin Islands
U.S. Virgin Islands
Vietnam
Vanuatu
Wallis and Futuna
Samoa
Kosovo
Yemen
Mayotte
South Africa
Zambia
Zimbabwe
Search
Jobs Found
Sort by:
Newest
Oldest
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other
View Opening Details
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Mathematical Formalization Specialist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
IT-&-Technology
View Opening Details
Mathematical Formalization Specialist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Lean 4 Formal Verification Scientist
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other
View Opening Details
Remote Lean 4 Proof Engineer: Formalize Advanced Math
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Lean 4 Formal Methods Researcher - Remote
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Lean Proof Architect: Formalize Advanced Math
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
IT-&-Technology
View Opening Details
Lean Proof Architect: Formalize Advanced Math
🏢 Alignerr
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Manager, Production
🏢 Canadian Blood Services
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Engineering
View Opening Details
RISC-V Design Verification Engineer (Mid-Staff)
🏢 Andes Technology
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Camera Frontend Implementation Engineer
🏢 Qualcomm
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
IT-&-Technology
View Opening Details
Camera Frontend Implementation Engineer
🏢 Qualcomm
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Camera Frontend Implementation Engineer
🏢 Qualcomm
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Design Verification Manager
🏢 Riscv
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Design Verification Manager
🏢 Riscv
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Camera IP Frontend Implementation Engineer
🏢 Qualcomm
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Camera IP Frontend Implementation Engineer
🏢 Qualcomm
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Camera Frontend Implementation Engineer
🏢 Qualcomm
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Camera Frontend Implementation Engineer
🏢 Qualcomm
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Data Technician
🏢 Aerotek
📍 Vancouver, BC, Canada
Full-time
4
View Opening Details
Data Technician
🏢 Aerotek
📍 Vancouver, BC, Canada
Full-time
4
View Opening Details
Prefabrication Manager - Mechanical Construction
🏢 Division 15 Mechanical Ltd.
📍 Richmond, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Prefabrication Manager - Mechanical Construction
🏢 Division 15 Mechanical Ltd.
📍 Richmond, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Field Environmental Scientist - Hybrid (BC Remediation)
🏢 WSP in Canada
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Field Environmental Scientist - Hybrid (BC Remediation)
🏢 WSP in Canada
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Senior Data Scientist, Ad Tech Discovery (Remote Canada)
🏢 Branch Metrics
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
Remediation Field Scientist – Remote/Hybrid
🏢 WSP USA
📍 Vancouver, Metro Vancouver Regional District, Canada
Full-time
Other-General
View Opening Details
←
1
2
3
4
5
...
...
471
472
→