Research Fellow, School of Computing
Australian National University
- Canberra, ACT
- $110,162-124,903 per year
Research and develop new representations and/or algorithms for reasoning about large/challenging SAT/SMT problems. Opportunities to work with, and adjacent to practitioners who br…