Sort by
Refine Your Search
-
for the researcher to follow their own research interests. Candidates will be expected to actively contribute to all departmental activities. Profile: - A formal requirement for the position is a PhD in mathematics
-
, focusing on the theory of automorphic forms and having strong interest in formalization of mathematics. The anticipated starting date is Summer 2026 and is flexible; the initial duration of the position is 1
-
++ and CUDA) Code verification and validation of simulations Providing simulation results to project partners and customers Active participation in project, group and lab meetings, knowledge transfer
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions