-
. - Palaeographic and Latin verification of transcriptions based on fourteenth- and fifteenth-century Latin manuscripts - Production of prosopographical profiles to be added to the database DEBATE - Conducting
-
level in at least one of the following directions: mathematics including a good understanding of the foundations of a mathematical domain, programing applicable to the search and verification of proofs
-
- evolutionary theories ● Interpretation and formatting of the results obtained (publications) ● Proficiency in programming languages (Bash, Python, R), code management tools and software environments (Gitlab
Searches related to software verification
Enter an email to receive alerts for software-verification positions