Sign in to access this service

Join OwlIndex or sign in to view full service details, contact info, and application options.

Sign In Sign Up

Post-Doctoral Research Visit F/M Bridging the gap between combinatorial proof theory and subatomic proof theory

Inria
France

Summary

Postdoc opportunity in proof theory exploring canonical, combinatorial and subatomic proofs with deep inference. 12-24 month contract; start late 2026. Requires PhD defended within 3 years. Activities: research, papers, possible teaching; telework after 6 months; interdisciplinary collaboration.

Description

Sign in or sign up to view this description.

Sign In Sign Up

Contact Information

Sign in or sign up to view contact information.

Sign In Sign Up

Additional Information

Sign in or sign up to view additional information.

Sign In Sign Up

Location

Sign in or sign up to view location details.

Sign In Sign Up