https://tyde.systems/research/Recent content in Research on Jan de Muijnck-HughesHugoenMon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/research/studying/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/research/studying/<p>I am always happy to consider motivated students who are interested in working with me in concert with my research interests: Application of programming language theory and technology to address issues affecting Cybersecurity.</p> <h2 id="final-year--msc-student-projects">Final Year &amp; MSc Student Projects</h2> <p>I am primarily interested in projects that generally align with my research interests, but I am also happy to consider projects relating to dependently-typed functional programming, and education in Cybersecurity &amp; programming language theory.</p>https://tyde.systems/research/working/Mon, 01 Jan 0001 00:00:00 +0000https://tyde.systems/research/working/<p>Currently, I have no funded positions available for research associates and assistants.</p> <p>When I do have project related positions available, they will be advertised through the normal channels: social media; and on jobs.ac.uk</p> <p>Another approach is to <em>jointly</em> apply for funding for a bespoke position. Example, funding sources are: <a href="https://ec.europa.eu/research/mariecurieactions/about/individual-fellowships_en">Marie Curie Actions</a>; <a href="http://www.raeng.org.uk/grants-and-prizes/support-for-research/raeng-research-fellowship">Royal Academy of Engineering</a>; and <a href="https://www.royalcommission1851.org/">Royal Commission 1851</a>. If you <em>are</em> interested then please do contact me so that we can chat about it <em>before you submit your application</em>. I would be grateful if you can mention in your initial email <em>why my work interests you</em>, and detail any ideas you have that align with my research interests. If I feel that we are a good match I will work with you to develop your application.</p>