Search Results (2)

Keywords: Program Verification

Showing 1 - 2 of 2

Deadline

Sort

Chinese Danish Dutch English Finnish French German Italian Japanese Korean Norwegian Portuguese Spanish Swedish

Search titles only

Use commas for alternatives, spaces for all words, or quotes for an exact phrase.

Commas or OR find alternatives. Spaces or AND require all words. Use quotes for an exact phrase.

Check Search titles only to restrict matching to job titles. Leave it unchecked to include descriptions, institutions and locations.

Browse

Regions

Deadline

Sort

Chinese Danish Dutch English Finnish French German Italian Japanese Korean Norwegian Portuguese Spanish Swedish

No account required. We'll email you when new positions match:

Email Address

Update Frequency

Posted on: 30 September 2026 Deadline: 13 November 2026 Uppsala Sweden
Uppsala University

Postdoctoral position in Practically Usable Verification for Numerical Programs View source posting
Posted on: 26 September 2026 Lausanne Switzerland
Ecole Polytechnique Federale de Lausanne

Postdoc in Keystone Project (Machine-Verified LLM Inference) View source posting

Explore your search

Loading matching positions…

Select a circle to see positions. Larger circles group nearby locations; zoom in to explore.

Circles count positions across all pages of your applied search. Locations show approximate city centres; country-only locations are labelled.

Map background unavailable. You can still explore the circles and positions.

About Contact Support Privacy All Jobs Bluesky