Here’s the job post rewritten in the requested template format:

Job Summary Table of Software Verification Postdoc

Job Description Summary

The University of Luxembourg’s SnT is seeking a Postdoctoral Researcher in Software Verification to join their dynamic team. This role offers an exciting opportunity to contribute to cutting-edge research in secure and reliable ICT systems, working under the supervision of Dr. Maxime Cordy in the Security, Reasoning and Validation (SeRVal) group.

Responsibilities

• Conduct advanced research in software verification, focusing on areas such as statistical model checking, deep learning applications in verification, and formal specifications
• Disseminate research findings through publications in top-tier software engineering and formal methods venues
• Collaborate with industry partners to gather requirements and report results
• Develop proof-of-concept software tools to support research objectives
• Prepare research proposals for public funding and industry partnerships
• Manage research projects and deliver project outcomes
• Provide guidance and mentorship to PhD students in related research areas

Benefits and Perks

• 🌙 Access to unique research infrastructures, including the LunaLab for lunar simulations
• 🛰️ Opportunity to work on cutting-edge projects, such as nanosatellite development
• 🚗 Contribute to advancements in autonomous vehicle technology
• 🌍 Be part of a diverse, multicultural team with over 60 nationalities represented
• 🤝 Engage in team-building events and networking activities throughout the year

Company Overview

The University of Luxembourg, founded in 2003, is a dynamic international research university known for its multilingual and interdisciplinary approach. With over 6,700 students and 2,000 employees from around the world, it ranks #3 globally for its “international outlook” according to Times Higher Education.

Company Culture

At SnT, we foster a collaborative and innovative environment where researchers can push the boundaries of knowledge in ICT security and reliability. Our culture is characterized by:

• 🔬 Commitment to excellence in research and innovation
• 🤝 Strong partnerships with over 55 industry partners
• 🌐 A truly international atmosphere with diverse perspectives
• 🚀 Emphasis on impactful, demand-driven projects

Career Growth Opportunities

Joining SnT as a Postdoctoral Researcher opens doors to:

• 📚 Continuous learning and skill development in cutting-edge technologies
• 🔗 Networking with leading researchers and industry professionals
• 🏆 Recognition through publications in top-tier venues
• 🌱 Potential for career advancement within academia or industry

Diversity, Equity, Inclusion, and Belonging

The University of Luxembourg embraces inclusion and diversity as key values. We are committed to creating an environment where all individuals feel welcomed, respected, and valued, regardless of their background or identity.

Equal Opportunity Statement

The University of Luxembourg is an equal opportunity employer. We are fully committed to removing any discriminatory barriers related to gender or any other characteristic in recruitment and career progression of our staff.

Remote Work Policy

This position is based on-site at the Campus Kirchberg. While the primary work location is on campus, the university supports a collaborative and flexible work environment to ensure productivity and work-life balance.

Application Process

1. Review the job requirements and ensure you meet the qualifications
2. Prepare your application documents, including CV and cover letter
3. Submit your application online through the University’s HR system
4. If shortlisted, participate in interviews and any required assessments
5. Await the final decision from the hiring committee

Application Deadline

Early application is highly encouraged. Applications will be processed upon reception.

How to Apply

Please apply ONLINE formally through the HR system. Applications by email will not be considered.

Social Media Links

• University of Luxembourg LinkedIn
• University of Luxembourg Twitter
• University of Luxembourg Facebook

FAQs or Additional Information

Q: What is the duration of the contract?

A: This is a fixed-term contract for 12 months.

Q: What are the language requirements?

A: Fluent written and verbal communication skills in English are required.

Q: Who will be supervising this role?

A: The successful candidate will work under the supervision of Dr. Maxime Cordy, with Professor Yves Le Traon as the head of the SerVal group.

Q: What research areas will this role focus on?

A: The research may cover various aspects of software verification, including statistical model checking, deep learning applications, formal specifications, variability-intensive software systems, cyber-physical systems, and AI systems verification.

Q: Are there opportunities to collaborate with industry partners?

A: Yes, the role involves collaborating with industry partners on various use cases, such as automotive systems, satellites, smart grids, and smart factories.

Join us at the University of Luxembourg’s SnT and be part of groundbreaking research in software verification. Your expertise will contribute to advancing secure and reliable ICT systems, with real-world applications across multiple industries. Don’t miss this opportunity to work with leading researchers, access state-of-the-art facilities, and make a significant impact in the field of computer science and software engineering.

Apply now and take the next step in your research career at one of Europe’s most dynamic and international universities. Your journey towards innovation and excellence in software verification starts here!

Explore Blog Articles:

1. UK Skilled Worker Visa – Complete Guide
2. Sweden Job Seeker Visa – How to Apply
3. Portugal’s Job Seeker Visa – What You Need to Know
4. Germany EU Blue Card – Benefits and Requirements