Repassando **** The Logic and Computation Group at the Research School of Computer Science, The Australian National University in Canberra has a number of PhD scholarship available for bright, enthusiastic doctoral students in the following areas:
- Logic in Computer Science (Ranald Clouston, Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Non-Classical Logics (Ranald Clouston, Rajeev Gore, Dirk Pattinson, John Slaney) - Proof Theory (Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Automated Reasoning (Rajeev Gore) - Probabilistic temporal logic and applications (Peter Baumgartner) - Computer Aided Verification (Sergiy Bogomolov, Michael Norrish, Dirk Pattinson) - Interactive Theorem Proving (Michael Norrish, Dirk Pattinson) - Computer Security Foundations (Alwen Tiu) - Concurrency Theory (Alwen Tiu) - Electronic Voting and Social Choice Theory (Rajeev Gore, Dirk Pattinson) - Semantics Of Programming Languages (Ranald Clouston, Michael Norrish, Dirk Pattinson) - Type Theory (Ranald Clouston) Potential applicants are encouraged to consult the group’s web pages at https://cecs.anu.edu.au/research/theory/logic/ and make direct contact with potential supervisors. Students will be based at the Research School of Computer Science within the Australian National University, Canberra. The studentship is a tax-free allowance of A$ 27,082 (2018 rate) per year, tenable for a maximum of 3.5 years. Applications should be submitted electronically at http://applyonline.anu.edu.au/ before the closing date, April 30, 2019. Further information about graduate research within Computer Science at ANU, please see https://cs.anu.edu.au/study/graduate-research . The scholarships are open to individuals of any nationality. We are based in Canberra, Australia, the top-ranking region of the 2014 OECD quality of life survey (http://www.canberra.com.au/canberra-the-worlds-most-liveable-city/). The ANU actively seeks to promote diversity in the workplace. -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXRharPcyskoJ0jbNKzb4Ze4zObtgM-LbAs-RUz5gbCbQ%40mail.gmail.com.
