Researcher in Formal Methods with Industry Partnerships

1 week ago


Delhi, Delhi, India Lifelancer Full time

About the Role

">

We are seeking a skilled Research Associate to join our team at UNSW's Trustworthy Systems Research Group. The successful candidate will contribute to research activities, developing proof techniques for systems software and applying them to real-world software verification.

">

Key Responsibilities

">
  • ">
  • Conduct high-quality research and contribute to publications in formal methods">
  • Develop and apply proof techniques for systems software verification">
  • Collaborate with industry partners on applied research projects">
  • Supervise research students and engage with industry stakeholders">
  • Contribute to writing scientific papers and reports for international journals">
">

Requirements

">
  • ">
  • PhD in Computer Science or related field with focus on formal methods">
  • Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq, or similar">
  • Familiarity with current research in formal methods and program verification">
  • Demonstrated ability to undertake independent research and collaborate with others">
  • Evidence of publications in formal methods and excellent communication skills">
">

What We Offer

">

The successful candidate will receive a competitive salary package, including an estimated $115,390 per annum + 17% superannuation, plus benefits such as flexible work arrangements and opportunities for professional development.

">

About UNSW and Lifelancer

">

UNSW is committed to diversity and inclusion, and we welcome applications from candidates from diverse backgrounds. As a researcher with Lifelancer, you will have the opportunity to work with experienced voices from industry and academia, driving innovation in trustworthy digital society.

">

How to Apply

">

To be considered for this role, please submit your CV, Cover Letter, and responses to the Skills and Experience listed in the position description. Applications close when the position is filled.



  • Delhi, Delhi, India Globibo Full time

    About GlobiboGlobibo is a leading Conference Technology Company and International Language Service & Training Provider. As the largest Integrated Event Technology Provider in South East Asia, we set the benchmark for quality interpretation and translation based on international standards.We partner with major Embassies, Organizations, and International...


  • Delhi, Delhi, India Globibo Full time

    About UsGlobibo is a leading Conference Technology Company and International Language Service & Training Provider, with a strong presence in South East Asia. As the largest Integrated Event Technology Provider in the region, we strive to deliver high-quality interpretation and translation services that meet international standards.We are proud partners of...


  • Delhi, Delhi, India Globibo Full time

    About GlobiboGlobibo is a leading Conference Technology Company and International Language Service & Training Provider, recognized for delivering exceptional quality interpretation and translation services in South East Asia. As the partner of choice for major Embassies, Organizations, and International Companies, we focus on tailoring our services to meet...


  • Delhi, Delhi, India The Good Glamm Group Full time

    We are seeking a highly motivated and detail-oriented Partnership Development Specialist to join our team at The Good Glamm Group.About the RoleThe ideal candidate will have strong communication and interpersonal skills, with the ability to build and maintain relationships with existing partners while identifying new opportunities. This role requires a...


  • Delhi, Delhi, India Consult SP Full time

    Job Opportunity:Consult SP is seeking a highly skilled and experienced DGM to lead our corporate partnerships. This role requires strong networking and relationship management skills, as well as the ability to analyze industry needs and develop targeted skilling initiatives.About the Role:The DGM Industry Liaison will act as a vital bridge between corporate...


  • Delhi, Delhi, India The Hiring Company Full time

    The Hiring Company is a pioneering recruitment marketplace that bridges the unemployment gap in India.We have provided employment opportunities to over 30,000 job seekers across the country since our inception three years ago.Our mission is to make hiring a crowd activity, leveraging technology and human capital to drive revenue growth.We are seeking an...


  • Delhi, Delhi, India Alive Wellness Clinics Full time

    Company Overview:Alive Wellness Clinics is a fast-growing, innovative team passionate about redefining dermatology and aesthetics in India.Salary: ₹800000 - ₹1000000 per annumJob Description:We are seeking an experienced Affiliate/Partnerships Manager to drive collaborations with brands and organizations, creating strategic partnerships that enhance...


  • Delhi, Delhi, India Utopians Full time

    **About Utopians**We are a fast-paced, innovative company that offers a collaborative environment and diverse projects. Our team is passionate about creating new business opportunities for clients.**Salary Information**The estimated annual salary for this position is $120,000 - $150,000, depending on experience.**Job Description**We are seeking a Senior...


  • Delhi, Delhi, India Treebo Hotels Full time

    About the CompanyTreebo Hospitality Ventures is a pioneering player in India's hospitality industry, boasting an extensive network of 850+ hotels across 120+ cities.The company's unique value proposition lies in offering high-quality stays at affordable prices, making it a favourite among travellers.With a strong technological foundation and a passion for...


  • Delhi, Delhi, India Insight Alpha Full time

    About Insight Alpha:Insight Alpha is a leading provider of critical information to business leaders worldwide. Our network of frontline industry experts helps clients access the knowledge they need to succeed.We have built a strong network of senior industry professionals globally, across 80 countries, offering relevant and authentic knowledge at the right...


  • Delhi, Delhi, India Collective Artists Network Full time

    Job Title: Digital Media Partnership SpecialistWe are a leading media network that connects brands with the most influential talent in India. As a Digital Media Partnership Specialist, you will be responsible for driving revenue growth through endorsement sales.The ideal candidate will have 6-10 years of experience in agencies, excellent communication...


  • Delhi, Delhi, India Arthan Full time

    Job SummaryWe are seeking a highly skilled Strategic Partnerships and Development Lead to join our team at Arthan. This is an exciting opportunity for a results-driven professional to develop, prioritize, and implement strategies to expand our funding base and revenue streams in India.The successful candidate will play a key role in achieving our...


  • Delhi, Delhi, India Give Full time

    Role OverviewGive Grants is seeking a talented Corporate Partnerships Development Manager who can drive growth in our CSR partnerships. As a key member of our team, you will be responsible for initiating and establishing relationships with CSR decision makers, conducting secondary research to identify relevant funders, and working with multiple non-profits...


  • Delhi, Delhi, India Score Foundation, India Full time

    Job Title: Global Partnerships and Fundraising SpecialistWe are seeking a highly skilled and experienced Global Partnerships and Fundraising Specialist to join our team at Score Foundation, India. This role is responsible for developing and implementing strategic partnerships and fundraising initiatives to support our mission of empowering individuals with...


  • Delhi, Delhi, India Insight Alpha Full time

    About Insight AlphaWe provide our clients access to a network of frontline industry experts that help them get critical information they need to be successful. Our team helps thousands of clients get answers to their most critical questions, without leaving their desks.Having built a strong network of senior industry experts and key decision makers globally...


  • Delhi, Delhi, India Give Full time

    About the RoleWe are seeking a dynamic professional to join our team as a Fundraising and Partnership Development Specialist. In this role, you will be responsible for establishing and maintaining relationships with CSR decision-makers, conducting research to identify potential funders, and developing high-quality funding proposals.You will work closely with...


  • Delhi, Delhi, India BSI Full time

    Job Description:We are seeking a highly skilled and experienced Strategic Partnership Developer to join our team at BSI. This is an exciting opportunity to develop and maintain long-term value-based partnerships with key accounts, driving profitable sales and revenue growth across the full BSI portfolio.About the Role:The Strategic Partnership Developer will...


  • Delhi, Delhi, India Vouchagram India Pvt Ltd Full time

    Vouchagram India Pvt Ltd is seeking an experienced Strategic Partnership Director to drive our commercial success and expand our brand relationships. This role will oversee our existing partnerships, drive new business development, and ensure the financial growth of the company.Key Responsibilities:Manage existing brand relationships by leading mapping...


  • Delhi, Delhi, India Give Full time

    About GiveGive exists to alleviate poverty by enabling the world to give. Established in 2000, Give, together with its partners, is the largest and most trusted giving platform in India.We enable individuals and organizations to raise and donate funds conveniently to any cause they care about, with offerings including crowdfunding, corporate giving, cause...


  • Delhi, Delhi, India Pratham Education Foundation Full time

    About the RoleWe are seeking a highly skilled Early Childhood Development Research Specialist to join our team at Pratham Education Foundation. In this role, you will play a pivotal part in advancing research and learning initiatives aimed at enhancing early childhood development within our program objectives.Job ResponsibilitiesCollaborate with program team...