Coq is hiring a specialized engineer for 2 years
Submitted by letouzey on 18 Jul 2014 11:41 GMT
As part of the ADT Coq-API, we are now offering a 2-year position for a specialized engineer.
As part of the ADT Coq-API, we are now offering a 2-year position for a specialized engineer.
Syndicate