_______________________
_______________________
_____________________
______________________
_____________________
_________________________
______________________
_____________________
____________________
___________________
As the Leading Expert - Formal Modeling and Model Verification, you will be responsible for providing strategic leadership and technical guidance to our team. You will shape the direction of our research and development efforts, drive innovation, and lead collaborations with external partners and research communities. Key Responsibilities: Provide strategic leadership and technical guidance to the team, driving research and development initiatives in formal modeling and model verification. Lead and contribute to cutting-edge research projects, pushing the boundaries of formal methods and making significant advancements in the field. Foster a culture of excellence, collaboration, and continuous learning within the team, mentoring and guiding researchers and engineers. Drive collaborations with academic institutions, industry partners, and research communities to stay at the forefront of advancements in formal methods and model verification. Stay abreast of industry trends and emerging technologies, providing insights and recommendations for the strategic growth of our research efforts. Actively participate in conferences, workshops, and technical forums, representing our team and sharing research findings to enhance our academic influence and industry presence. Collaborate closely with cross-functional teams, including product development and engineering, to ensure effective application of formal modeling and model verification techniques in product development processes. Utilize your business acumen and commercial experience to drive successful outcomes, align research goals with business objectives, and achieve commercial success. Apply formal verification techniques in automotive, EDA, and industrial software domains, leveraging your expertise and experience in these areas. Qualifications: Ph.D. in Computer Science, Electrical Engineering, or a related field, with a specialization in formal methods, model checking, or verification. 8 years of relevant work experience in formal modeling and model verification. Proven business acumen, with the ability to align research goals with business objectives and drive impactful research outcomes. Extensive research experience and a distinguished track record of contributions to the field, demonstrated through publications in top-tier conferences and journals. Strong leadership skills with prior experience in leading research teams and driving successful research projects. In-depth expertise in formal modeling, model verification, and related tools and methodologies. Excellent problem-solving skills, with the ability to tackle complex research challenges and drive innovative solutions. Outstanding communication and presentation skills, with the ability to effectively convey technical concepts to diverse audiences. Demonstrated ability to build and maintain collaborations with academic institutions, industry partners, and research communities. Business acumen and strategic thinking, with the ability to align research goals with business objectives and drive impactful research outcomes. Willingness to travel globally to support project collaborations, attend conferences, and engage with partners and customers
World Class Defence Organisation based in Stevenage, Hertfordshire is currently looking to recruit a Systems Modelling Engineer subcontractor on an initial 12 month contract. The role will likely be 3x days onsite and the rest working remote from home. This role would suit a candidate who comes from a strong Simulation and Modelling background and/or Systems Engineering background (with experience in Matlab / Simulink) Contract Duration: 12 Months initially and then ongoing. Hourly Rate: £60.00ph (Umbrella) Systems Modelling Engineer Job Description: We are looking for a modeller to produce models of the seeker RF Radar. The model includes the seeker hardware, digital processing and target environment. The modelling team is responsible for developing the model, producing auto-code, generating seeker performance predictions and interfacing the seeker model into the missile dynamic reference model. Modelling in Matlab and Simulink using model-based design techniques Producing parts of a complex Seeker model including modelling the target scenario, seeker hardware and processor algorithms Develop and implement algorithms within the model Producing and verifying auto-code for the software algorithms from the model Carrying out seeker performance assessment Producing a simpler representation of the model for use in the missile model Optionally updating the legacy Seeker model in Statemate Documenting the model changes and creating test vectors Skillset / experience required: Tools: Simulink Matlab Skills: Modelling for auto-coding Assessing suitability of algorithms in the model Aptitude for converting an algorithm into a Simulink model (desirable) Familiarity with Radar and Control Systems (desirable) Familiarity with Digital Signal Processing (desirable) RF experience (desirable) Technical report writing Model delivery experience