I am posting this on behalf of Samhitha Palanganda Poonacha (GE Aerospace) <samhitha.poonacha@ge.com>.  Please contact Samhitha directly for any queries. ===================== The current V&V process we have for our aircraft engine controls software is fairly involved and manual. The European regulating agencies have mandated a change GE’s V&V process which means much more manual effort for us going forward each time we want to certify our engine controls software. The Research team at Bangalore is currently involved in one such V&V exercise and have identified many opportunities where we can find the right balance between innovation and deploying formal methods that can significantly improve the productivity for the team. We are looking for an intern with a formal methods background who is curious to see what happens to automation in a very complex set up, an aircraft engine, and some of the real-world challenges we need to deal with when designing solutions. To give you an idea: Number of requirements in thousands and written up by a wide variety of people where for many, English is not the primary language, this alone can make things very challenging.  The work would involve both supporting some of the V&V activities as well as designing proof-of-concepts for proposed process refinements. Exposure to engineering challenges while being part of a multi-disciplinary unit will be some things the intern can stand to gain. The team itself has folks from a variety of technical backgrounds and additionally solving an array of AI/NLP applications for GE Aerosapce.  Ideally we would like someone who can work with us for ~6 months. Job Posting: https://ge.wd5.myworkdayjobs.com/GE_ExternalSite/job/Bengaluru/Research-Inte... We can also make the option of a post-doc possible in case someone is interested to see what applied research at GE Aerospace looks like.