[TYPES/announce] Postdoc positions in Automated Reasoning at Universidade Federal de Minas Gerais

[Haniel Barbosa]

**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), 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 at 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.

Best,
--
Haniel Barbosa
https://urldefense.com/v3/__https://hanielbarbosa.com/__;!!IBzWLUs!ROgcTXXanGX8RNpCLKjPxlziHvQmMdKe7p-6u_4r_PqUFkyCk-f8uwAQp9UN3QipASubUlraQNH4LSjT081jboOIapC_hOpTcpzaKQQ$