The Coq mailing list

[Mireia González Bedmar <mireia.gbedmar AT formalvindications.com>]

##### Apologies for multiple copies #####

 

Formal Vindications is hiring!

 

Our team works in the development and verification of legal software using Coq. The company has worked closely with the University of Barcelona in the past, and is looking to expand and grow.

 

We are looking for candidates with a background in theoretical computer science and/or mathematical logic. Working knowledge of English is a must. The following are appreciated, but not strictly required:

• Knowledge of Type Theory
• Experience with Coq
• Experience with SSReflect and MathComp
• Experience with OCaml
• Experience with other proof assistants or functional programming languages
• Git user
• Linux user
• Living around Barcelona (but the job can also be remote)

We offer:

• A full-time position with stability prospects as Coq+SSReflect/MathComp developer
• Flexible schedule
• Training if needed
• Salary according to the candidate's profile, competitive within European standards
• A small and friendly team of colleagues

The application should be sent to mireia.gbedmar AT formalvindications.com, containing:
(+) CV;

(+) An informal motivation letter;

(+) (Optional) Email addresses of references to whom we might refer in case we consider this desirable.

 

Further information about the position can be obtained by writing an email to the same address.

 

The selection process may include: personal interview, technical assessment, references. The position may start as soon as a good candidate is found, according to their availability.