Job description
The selected candidate will carry out research on the interface between logic and computation in classical and algebraic frameworks. This is an active area within logic in computer science and database theory with many possible research directions. The supervisor will help the selected candidate to choose appropriate research questions and acquire the required skills.
This is a Preview Listing…
You must sign in to see the full job description, and to apply.
Manage / Upgrade this job to a Full Job Listing.
Find Your Best Opportunity
Tell them AcademicJobs.com sent you!
.png){kind=logo}
