Honeywell India is looking out for a good formal methods engineer for their Madurai campus. It has been difficult to attract a good resource who can work out of Madurai campus. I am not sure if this mailing list can be used for this sort of a message. Please get in touch with me for details. Yoga yvjeppu at gmail.com