11 Education "https:" "https:" positions at Monash University

Sort by

listed

Refine Your Search

Category
- Uni Job 5
- Research Job 4
- Scholarship 2
Program
- Fellowship 4
- PhD 2
Field
- Computer Science 6
- Mathematics 3
- Economics 1
- Materials Science 1
- Philosophy 1
- Science 1

Sort by: relevance | listed |

Enter an email to receive alerts for Education "https:" "https:" positions

Efficient CEGAR-tableaux for Non-classical Logics

Monash University | Melbourne, Victoria | Australia | 7 days ago

formula is true or false (EXPTIME vs NP). Can we develop and implement efficient algorithms for this problem? This problem has been attacked using multiple different methods for the past 40 years, without

Prev
1
2
Next

Enter an email to receive alerts for Education "https:" "https:" positions