PhD Candidate in Software and System Verification, Model Checking, Cyber-Physical Systems
Université du Luxembourg
- Kirchberg, Luxemburg
- € 40.952 pro Jahr
- Freiberuflich
- Vollzeit
- Maxime Cordy: research scientist at SeRVal
- Carrying out research in the predefined areas
- Survey the scientific literature in the relevant research domains
- Disseminating results through scientific publications
- Communicate with stakeholders to collect requirements and report results
- Implement proof-of-concept software tools
- Programming (ideally C/C++)
- Variability-intensive software systems (software product lines, configurable systems)
- Model checking
- Software engineering
- Graph theory
- Metaheuristics
- Probability theory
- Sampling and simulations
- Embedded systems (automotive, satellite …)
- Machine learning
- A stimulating learning environment. Here post-docs and professors outnumber PhD students. That translates into access and close collaborations with some of the brightest ICT researchers, giving you solid guidance
- Exciting infrastructures and unique labs. At SnT’s two campuses, our researchers can take a walk on the moon at the LunaLab, build a nanosatellite, or help make autonomous vehicles even better
- The right place for IMPACT. SnT researchers engage in demand-driven projects. Through our Partnership Programme, we work on projects with more than 55 industry partners
- Multiple funding sources for your ideas. The University supports researchers to acquire funding from national, European and private sources
- Competitive salary package. The University offers a 12 month-salary package, over six weeks of paid time off, meal vouchers and health insurance
- Be part of a multicultural family. At SnT we have more than 60 nationalities. Throughout the year, we organise team-building events, networking activities and more
- Boost your career. Students can take advantage of several opportunities for growth and career development, from free language classes to career resources and extracurricular activities
- Full CV, including list of publications
- The name (and email address, contact details) of three referees
- Transcript of all modules and results from university-level courses taken
- Research statement and topics of particular interest to the candidate (300 words)
- Contract Type: Fixed Term Contract 36 Month (extendable up to 48 months if required)
- Work Hours: Full Time 40.0 Hours per Week
- Location: Kirchberg
- Employee and student status
- Job Reference: UOL06405