The Coq mailing list

[Guillaume FORTAINE <guillaume.fortaine AT wanadoo.fr>]

Hello,

Let me introduce myself : Guillaume FORTAINE, French engineer in informatics.
I would want to build a start up to sell mobile phones ( OEM Level ). I am
currently in discussions with investors.

 We are currently searching people with a strong background in PFormal 
Methods / Embedded Systems.

Our business model is in its early stage, but we would be interested into a
break oppposite to the legacy one of our competitors who are nearly all
ARM based. Our choice is to use the PowerPC  architecture : all the challenge
is here, that's why we need people with a strong background...   This is a
very big project.

We would want to sign a contract with people ready for at least a one year 
full-time contract.

 We look forward to your answer,

 Best Regards,

                      Guillaume