I am seeking applications for a postdoctoral researcher position at Universidade Federal de Minas Gerais (UFMG), to work in the SMITE research group for SMT-based techniques for increasing scalability and trustworthiness of formal methods applications. The researcher will contribute to the DARPA-funded project PEGISUS: Proof EnGineering and Integration with Satisfiability modUlo theorieS. Their work will be in the scope of implementing efficient proof checking techniques for a new proof format based on SMT-LIB 3, improve proof search and proof production in the SMT solver cvc5, and enable integrations between SMT solvers and proof assistants.
A PhD in computer science or a closely related field, with a strong background in automated reasoning, formal methods or logic, is required. The ideal candidate would also have:
This is a one year position for 40h/week to work in Belo Horizonte, Brazil. The position has a monthly stipend (tax-free) of R$10000,00 (~U$2000)[0], as well as funds for traveling for project-related activities, and for relocation costs of candidates that do not live in Belo Horizonte. The position may be extended based upon performance and the continued availability of funding. The positions will remain open until filled.
Starting Date: Immediately.
Application: Please email Haniel Barbosa (hbarbosa@dcc.ufmg.br) with your CV (including a list of publications), a brief letter explaining your suitability for the position, and the names of at least two references. The selection will be based on the CVs and online interviews for pre-selected candidates.
Collaborations: The selected candidates will have the opportunity to actively collaborate with researchers from Stanford University, the University of Iowa, and Bar-Ilan University, in the context of the PEGISUS project and related topics.