Postdoctoral researchers in Automated Reasoning at UFMG



I am seeking applications for two postdoctoral researcher positions 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 researchers 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:

  • Knowledge of and experience with C++, Rust, or Lean
  • Good English writing and speaking skills
  • Ability to work in a collaborative environment
  • A strong commitment to research excellence

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.


0. For context, the starting salary of an assistant professor in a federal university in Brazil is roughly R$10000,00 (~R$7500,00 net). Here there is a comparison with cost of living in the US.