Premium Job
Postdoctoral Researcher in Program Verification with Proof Assistants
Job Description
Help us build the next generation of verification tools by bringing cutting-edge proof assistant technology to bear on real-world Rust programs. Job DescriptionSoftware is at the core of modern society — from communication networks and financial systems to medical devices and transport infrastructure — and ensuring that it behaves correctly is both essential and notoriously difficult. Proof assistants such as Agda...
Premium Job
Sign up is free! Login or Sign up to view full details and apply.
- Full job description
- AI summary & key highlights
- Required skills & benefits
- Direct apply link
Similar Jobs
Explore other opportunities that match your interests
Visa Sponsorship
Relocation
Remote
Job Type
Full-time
Experience Level
Not Applicable
TNO
Netherlands
Visa Sponsorship
Relocation
Remote
Job Type
Full-time
Experience Level
Not Applicable
rubydeveloper.nl
Netherlands
Visa Sponsorship
Relocation
Remote
Job Type
Full-time
Experience Level
Not Applicable
rubydeveloper.nl
Netherlands