about the company:

Our client is a global technology leader, is renowned for its cutting-edge solutions with a strong emphasis on innovation and technology, the company is dedicated to providing advanced solutions that meet the evolving needs of its customers worldwide.

about the job:

Join the project team and be a key player in crafting innovative Security solutions for vital sectors like Homeland Security, Smart Cities, and Critical Infrastructures.Responsibilities include:

• Working closely with product/solution architects to craft, refine, and uphold technical solutions in line with product specifications.
• Ensuring strict adherence to clients software development methodologies and processes.
• Documenting designs meticulously to guarantee usability, supportability, and maintainability.
• Providing robust support for deployment operations.

skills and experience required:

• Extensive hands-on experience exceeding 5 years in the complete web application development lifecycle, with a focus on scalable micro-services-based architectures.
• Mastery of architectural styles, design patterns, and SCRUM/Agile software development methodologies.
• Proficiency in programming languages/frameworks like Java, Spring Boot, C#, .NET Core, HTML5/CSS, JavaScript, and Angular.
• Experience with relational databases (e.g., PostgresDB, MS SQL Server), and a familiarity with ClickHouse and Apache Nifi is advantageous.
• Knowledge of container orchestration systems (e.g., Kubernetes, Docker Swarm, AWS ECS) and virtualization technologies.
• Familiarity with test automation tools and the setup of continuous integration (e.g., GitLab CI).

To apply online please use the apply function, alternatively you may contact Dalpreet Kaur at [email protected] (EA: 94C3609 /R23111951)

Ensure that all works carried out are of highest quality standard to meet customer satisfaction.

Execute the site testing and commissioning activities of the company to the satisfaction of the owners and builders

Liaise with Yard’s commissioning personnel to close out issues which will affect the smooth completion of project

Ensure that Punch List are corrected and Test Memo and Service Acknowledgement Report are signed

Ensure that site issues are highlighted to the Production Manager/Assistant Production Manager in order to come up with proper and timely solution

Inform the project engineers in the event of changes on design, drawings and system operation which may arise during the job execution.

Highlight to Project Engineers any changes that may be required on supplied equipment for quality improvement

Ensure that the equipment used for commissioning are calibrated and maintained in good working condition to achieve quality standard.

Ensure non-conformity report is being raised as and when necessary.

Ensure that non-conformances are promptly resolved by means of investigation and corrective action.

Job Summary:

We are seeking a highly motivated and skilled Pharmaceutical Engineer to join our team. The successful candidate will play a pivotal role in the design, development, and manufacturing of pharmaceutical products. This position requires a deep understanding of pharmaceutical processes, regulatory compliance, and quality assurance. If you are a dedicated professional with a passion for ensuring the safety and efficacy of pharmaceutical products, we encourage you to apply.

Key Responsibilities:

1. Drug Formulation: Collaborate with cross-functional teams to develop drug formulations, select suitable excipients, and optimize drug delivery systems.
2. Process Development: Design, scale-up, and optimize pharmaceutical manufacturing processes to ensure efficiency, quality, and compliance with regulatory standards.
3. Quality Control: Develop and implement quality control methods and protocols to monitor and ensure product quality throughout the manufacturing process.
4. Regulatory Compliance: Stay up-to-date with pharmaceutical regulations (e.g., FDA, EMA) and ensure that all manufacturing processes and products adhere to relevant standards.
5. GMP Adherence: Maintain adherence to Good Manufacturing Practices (GMP) and develop and update standard operating procedures (SOPs) as needed.
6. Validation: Develop and execute validation protocols for manufacturing processes, equipment, and facilities to ensure consistent product quality.
7. Research and Development: Participate in R&D activities, conduct experiments, analyze data, and contribute to the development of new drug compounds or dosage forms.
8. Equipment and Facility Management: Select, install, and maintain pharmaceutical manufacturing equipment and facilities to ensure compliance with regulatory requirements.
9. Documentation: Maintain accurate and comprehensive documentation of all processes, experiments, and validations for regulatory purposes.
10. Collaboration: Work collaboratively with multidisciplinary teams, including chemists, pharmacists, regulatory affairs specialists, and quality control professionals.
11. Continuous Improvement: Identify opportunities for process optimization, cost reduction, and quality enhancement, and implement improvements accordingly.

Qualifications:

• Bachelor's or higher degree in pharmaceutical engineering or any engineering related field.
• 5 years + of experience in pharmaceutical manufacturing or process development.
• Strong knowledge of pharmaceutical regulations, including GMP and FDA guidelines.
• Proficiency in data analysis and statistical tools.
• Excellent communication and teamwork skills.
• Detail-oriented with a commitment to quality and safety.
• Problem-solving and critical thinking abilities.

Preferred Qualifications:

• Bachelor's Degree in pharmaceutical engineering or any engineering related field.
• Experience with regulatory submissions and interactions with regulatory agencies.
• Knowledge of pharmaceutical equipment and facility design.
• Familiarity with process simulation software.
• Project management skills.

Job Description

• Supporting the Power Plant to meet the contractual, technical and commercial set-up and operation.
• Prepare the scope of works for electrical services, specifications of spare parts for the maintenance work.
• Maintain and updated all the drawings, data and maintenance record for all electrical equipment and plant utilities in Power Plant.
• Ensure the proper preventive, corrective and condition-based maintenance (including emergency situation) carried out for all electrical equipment and plant utilities in the Power Plant.
• Perform technical evaluation on external service engagement and material purchase.
• Assist in preparation of the annually maintenance budgetary cost on electrical equipment and plant utilities.
• Provide necessary guidance and advice to maintenance staff to ensure the quality maintenance is carried out as per good engineering practice.
• Ensures that subordinates are adequately trained and recommends necessary training.
• Ensure PPE are provided, and subordinates are utilizing it by executing works with all safety precautions.
• Ensure all Power Plant jobs executed are in line with statutory requirements of concerned authorities and power plant policies and procedures.

Job Requirements

• Possess a Bachelor Degree in Electrical Engineering
• At least 3 years of relevant working experience in Power Plant Maintenance ideally on a CCPP
• Involvement in technical aspects of Power Plant maintenance
• Experience in the erection, testing and commissioning, and initial start-up phases of a modern Power Plant
• Knowledge on electrical system including installation, troubleshooting, routine inspection and maintenance
• Knowledge on electromagnetic rotating equipment
• Knowledge on protection relays
• Knowledge on electrical equipment, i.e. GIS, MV/LV switchgear, transformer, generator, Automatic Voltage Regulator, Uninterruptable Power Supply, VFD, DC System-Battery and charger, HVAC, Communication System, etc
• Knowledge on control circuitry of power plant electrical system
• Knowledge in maintaining maintenance record in CMMS

Job Responsibilities:

• Perform programming and integration of the control systems.
• Carry out engineering, PLC and SCADA software interface programming.
• Develop process functional design including control write-up and control schematics.
• Develop hardware and software design specification and other software/test documentation.
• Carry out diagnosis and resolution of electrical, instrumentation and control systems issues.
• Ensuring on time completion of commissioning activities.
• Develop drawing/documentation as required for the project; and work together with lead engineer for document submission.

Job Responsibilities:

• Diploma in Electrical Engineering or equivalent
• At least 4 years of experience in Industrial/Process automation.
• Experience in building management systems will be advantageous.

Responsibilities

Project Planning and Coordination:

Collaborate with the project management team to develop project plans, timelines, and budgets for HVAC projects.

Ensure compliance with project specifications, codes, and industry standards.

Coordinate and schedule project activities, subcontractors, and resources effectively.

Design Review and Analysis:

Review HVAC system design drawings and specifications to identify potential issues or improvements.

Perform engineering calculations and simulations to optimize system performance.

Provide input and technical guidance during the design phase.

Material Procurement and Vendor Management:

Assist in the procurement of HVAC materials and equipment.

Evaluate and select vendors and suppliers based on cost, quality, and reliability.

Maintain strong vendor relationships and ensure timely deliveries.

Quality Control and Inspection:

Implement quality control processes to ensure HVAC systems meet project requirements.

Conduct regular site inspections to verify workmanship and compliance.

Identify and address any deviations from project standards.

Documentation and Reporting:

Maintain accurate project documentation, including drawings, change orders, and progress reports.

Prepare and submit regular project status reports to the project management team.

Document and address any project-related issues or disputes.

Safety and Compliance:

Ensure that all HVAC installations comply with safety regulations and industry standards.

Promote a culture of safety among project team members and subcontractors.

Conduct safety audits and address any safety concerns promptly.

Client Communication:

Act as a primary point of contact for clients regarding HVAC project updates and inquiries.

Address client concerns and seek opportunities for additional services.

Budget and Cost Control:

Monitor project budgets and expenditures to ensure they align with project plans.

Identify cost-saving opportunities and implement cost control measures.

Qualifications

• Bachelor's degree in Mechanical Engineering or related field.
• 1-2 years of experience in HVAC engineering and project management.
• Strong knowledge of HVAC systems, design principles, and industry best practices.
• Proficiency in AutoCAD, HVAC design software, and project management tools.
• Excellent communication, leadership, and teamwork skills.

5.5 days /week

Mon - Fri : 0830 to 1730 hrs

Sat : 0830 to 1230 hrs

Job Responsibilities:

1. Handle customer complaints and quality related queries
2. Implement customer requirements, carry out product quality plan for all projects and ensure PQP effectiveness
3. Implement quality tools in production to support corrective and preventive actions and continuous improvement
4. Part and line approval follow up (Qualification Package) throughout the project
5. Supplier Quality Management
6. Handle quality issues and liaise with cross-functional team towards improvement
7. Ensure related documents are updated accordingly for lesson learnt and continuous improvement

Job Requirements:

• College degree of Science/ Engineering
• Experience in quality control and customer/supplier quality management
• Experience in incoming, manufacturing and customer service area
• Familiar with quality tools and have basic knowledge of six sigma
• Familiar with the knowledge of IATF 16949 standard and 5 Tools (PPAP/APQP/SPC/MSA/FMEA)
• Good inter-personal and presentation skill
• Self-motivated and good team player

Responsibilities:

• Execute service and maintenance workflows efficiently.
• Coordinate with client representatives on all service/maintenance matters.
• Assist the supervisor in organizing teams for service tasks and delegating responsibilities.
• Manage daily client interactions, ensuring their expectations are met.
• Support the supervisor in troubleshooting and timely completion of security system services.
• Understand each client's business to ensure high customer satisfaction.
• Ensure all work complies with Workplace Safety and Health Act regulations.

Requirements:

• Minimum Nitec in Electrical/Electronic Engineering.
• At least 2 years of working experience in related field.
• Requires knowledge and practical experience with security systems (e.g., Integrated Security Management, Card Access Control, Intrusion Detection, and CCTV systems).
• IT/Network/Server knowledge is a plus.
• Transport allowance provided.

______________________________________________________

HOW TO APPLY :

Interested candidates, please submit your resume by clicking on “Quick Apply” or contact [email protected] for more details.

Please provide following information in the resume for immediate processing

1) Reasons for leaving current and/or last employment

2) Last drawn and/or current salary

3) Expected salary

4) Date of availability and/or Notice Period

All applications will be treated in strictest confidence and only shortlisted candidates will be notified

Wee Wai Dan

EA License No : 03C5391

EA Reg No : R22109628

• Overall responsible for technical operations of the assigned oil tankers.
• Ensure that the vessels achieve the necessary technical standards and performance.
• Manage the vessels certificates and documents to ensure they are systematically updated and stored.
• Prepare and manage vessels’ technical budget and monitor dry-dockings and other required repairs and maintenance jobs.

Requirements:

• Chief Engineer or Second Engineer (COC Class 1/Class 2)
• At least 2 years of experience as Technical Superintendent for Oil tankers.

If you are keen to apply for the position, kindly email your detailed resume in MS Word to [email protected]

Please note that only shortlisted candidates will be notified.

For more job opportunities, please visit our website at www.recruit-expert.com

EA Licence: 19C9701

Registration: R21100996

Job Description

• Industry/ Organization Type: Energy Equipment and Solution Provider
• Position Title: Technical Sales Manager (Telco/DC Power Solutions)
• Working Location: West (Nearest MRT: Clementi)
• Working Hours: 5 days (Mon to Fri: 8 am-5 pm or 9 am-6 pm)
• Salary Package: Up to SGD 5500 + Allowances + AWS + Performance Bonus
• Duration: Permanent

Key Responsibilities

• Identify and pursue new business opportunities within the Telecom sector for DC power solutions in Singapore and neighbouring countries
• Cultivate and maintain relationships with key decision-makers and stakeholders
• Develop and implement effective sales strategies to achieve revenue targets
• Collaborate with the marketing team to create compelling sales materials
• Possess in-depth knowledge of DC power systems and their applications in the Telecom industry
• Conduct product presentations and demonstrations for potential clients
• Nurture and maintain strong relationships with existing clients to ensure customer satisfaction and repeat business
• Address customer inquiries and concerns promptly and professionally
• Stay informed about industry trends, competitor activities, and market dynamics
• Provide feedback to the product development team based on market insights
• Collaborate effectively with cross-functional teams, including marketing and technical support

APPLY NOW!!!

• Min. Diploma in Electrical or Electronic Engineering
• Min 3 years of working experience in Sales, specifically within the Telecom industry specializing in DC Power Solutions
• Proficient in Microsoft Office and CRM software

Kindly apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Please indicate #66251 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it's likely that your application has not been shortlisted by our client. In such cases, we recommend continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Celine Tan | EA Reg No.: R1873694

Job Description

• Industry/ Organization Type: Logistics
• Position Title: Customer Service Officer (Sales Support)/ Sales Admin
• Working Location: Loyang
• Working Hours: 5.5 days, Mon - Fri (9 am – 6 pm) Sat (9 am – 1 pm) (alternate Saturday upon confirmation)
• Salary Package: Basic Salary + AWS + Performance Bonus
• Duration: Permanent Role

Key Responsibilities

• Handle daily rate enquiries from local customers and overseas agents.
• Timely response for all enquiries with multiple solutions and accuracy.
• Negotiate with carriers and co-loaders for best freight rates to ensure the profit margins and targets are met.
• Handle RFQs.
• Communicate and coordinate with operations team for efficient execution of shipments.
• Understand and analyse market trends, assist with providing pricing strategies for clients.
• Develop key account business through regular communication, efficient pricing and follow-ups.
• Report generation.
• Other ad-hoc duties may be assigned.

APPLY NOW!!!

• Candidates without experience are welcome to apply. Training will be provided.
• Proficient in Microsoft Office.

Kindly apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Please indicate #66077 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it's likely that your application has not been shortlisted by our client. In such cases, we recommend continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Angel Lim | EA Reg No.: R1769781

Job Description

• Industry/ Organization Type: Marine Construction Industry
• Position Title: Purchasing Admin /Sales Support Admin
• Working Location: East (Nearest MRT: Kaki Bukit) – Walking distance to the company
• Working Hours: 5 days (Monday to Friday: 8.30 am to 6 pm)
• Salary Package: Up to SGD 2400 + Performance Bonus
• Duration: Permanent

Key Responsibilities

• Source and purchase materials/equipment.
• Liaise with vendors and monitor the purchase order schedule.
• Utilize the purchasing system with Microsoft Navision.
• Reconcile vendor delivery orders (DO) with purchase orders (PO).
• Perform other purchasing duties as assigned.

APPLY NOW!!!

• Min. O level
• Min. 1 year of working experience in a related industry
• Having experience with Microsoft Navision is a plus
• Familiar with Microsoft Office
• Training is provided to inexperience candidate

Please apply through ANY of the following methods:

• Submit your application by clicking the APPLY button;
• Email your resume to Job(at)anradus.com.sg. Please indicate #68469 on the email subject.

Anradus Application Policy: We value each application and ensure every resume is reviewed. Our process is efficient, typically concluding within 3 working days. If you do not receive communication from us within this timeframe, it's likely that your application has not been shortlisted by our client. In such cases, we recommend continuing your job search to maximize your opportunities.

Anradus Pte Ltd | EA License No. 20C0161 | Celine Tan | EA Reg No.: R1873694

• Order fulfillment includes but not limited to coordinate the receiving, picking, and shipping of customer orders according to customers’ requirements.
• Ensure orders are processed accurately and on time.
• Manages warehouse inventory and maintains database (WMS) accurately for inventory movements.
• Conduct inventory cycle counting.
• Maintain and filling of documentation and record keeping.
• Reports updating as per company/ customers’ requirements.
• Maintaining a clean and safe office environment.
• Ensure Warehouse Assistant processes the incoming/ outgoing orders as per customers’ requirement and provide guidance if needed.
• Perform any other tasks (job-related) as assigned by the immediate superior

Requirements

• Min N / O level
• Some exp in logistics / order fulfilment / inventory management will be an advantage

West location

Office hours, Mon to Fri

Interested candidates, please forward your resume to [email protected]

Consultant: Huang Jingsheng Kevyn (R1333338)

Recruit Express Pte Ltd (99C4599)

Work Location: Jurong West

Working Hours: Mondays to Thursdays: 7:30am to 5:00pm, Fridays: 7:30am to 4:30pm, inclusive of 1.0 hour lunch break

Contract Period: 30 December 2024 to 29 December 2025.

Job Description

• Provide teaching and learning support to teachers, for example, preparation of resources / materials for Science laboratory activities and enrichment programme.

• Label and keep records of existing and new Science teaching and learning materials and lab resources such as teachers’ desk copies, reference books, lab apparatus and chemicals etc. Maintain loan records of Science Resources.

• Pack and organise the resources in the Science Rooms. Ensure that the Science rooms are clean and conducive for lessons.

• Ensure lab equipment, materials and specimens are in good working conditions. Conduct stock-take at least twice a year. Maintain a stock book and breakage record to initiate ordering of replacements where necessary.

• Ensure proper disposal of waste materials such as sharp waste objects and chemicals.

• Ensure safety of pupils in the Science rooms. Report any incident to Science HOD/ Level Head. Maintain a laboratory incident log book.

• Check that first aid box is updated, safety devices in the laboratory, such as emergency eye-washers, showers and fire extinguishers are working.

• Provide administrative / logistical support for Science competitions, assessments and programmes collation of survey results and distribution of Science materials to pupils etc.

• Assist in carrying out safety briefings such as Laboratory Safety, equipment awareness (e.g. Microscopes).

• Any other duties assigned by the School

Job Requirement

• Diploma in Science or its equivalent

• At least one year experience in assisting HOD-Science in the execution of daily Science Laboratory Operational and Administrative duties.

• At least one year experience of providing support for Science programmes; STEM & Sustainability projects and Laboratory-based lessons in schools.

• Experience in creating digital resources such as presentations and videos according to Science Experiential Learning Experiences using powerpoint.

• Proficient in preparation and maintenance of Laboratory equipment.

• Fluent in written and spoken English.

• Good interpersonal, communication, planning and analytical skills.

• Has experience working with primary school students in school settings.

• Able to plan and work both independently and as part of a team

• Certified with standard first aid is not necessary but will be an advantage

EA: 22C1322

EAP:24124011

Applicants will have to wait 2 months before getting onboarded after successful interview. If you are currently on a contract that is ending in the next 1-3 months or more, now is a good time to apply.

Job Description:

• Provide centralisation and related services for the official passports. This includes assisting employees with the withdrawal and return of the passports, safekeep and perform regular stocktake of the passports, as well as tracking of expiry dates.
• Operate the mail despatch services. This includes performing the administration actions required to receive incoming and outgoing mails, as well as ensure safe storage and tracking of the physical mails.
• Drive process improvements and system efficiency enhancements
• Develop methods to input, maintain and extract data from software.

Skills & Experience Needed:

• Singapore Citizen/PR
• Diploma in IT / Computer Science/ Engineering or ITE Certificate with relevant IT experience

Other Information:

• Location: Central & West
• Performance Bonus
• 14 Days Annual Leave
• 4+5 years contract
• Monday to Friday: 8.30am to 6.00pm (Hours might be staggered subjected to team lead)

This is in partnership with the Employment and Employability Institute Pte Ltd (“e2i”).

e2i is the empowering network for workers and employers seeking employment and employability solutions. e2i serves as a bridge between workers and employers, connecting with workers to offer job security through job-matching, career guidance and skills upgrading services, and partnering employers to address their manpower needs through recruitment, training, and job redesign solutions. e2i is a tripartite initiative of the National Trades Union Congress set up to support nation-wide manpower and skills upgrading initiatives. By applying for this role, you consent to RMA Groups’s PDPA and e2i’s PDPA.

Our client is a well-established MNC, market leader in the IT industry. Due to their current expansion plan, they are looking for an IT Maintenance Engineer to join their team, in hopes of developing the current high performing team. They are located in the West.

Responsibilities:

• Provide technical assistance to clients when required.
• Support operations on a 24/7 basis, with rotating shifts.
• Diagnose and resolve technical issues promptly.
• Communicate complex technical information in simple terms to clients.
• Understand and manage client requirements.
• Collaborate with the support team to escalate unresolved issues to the relevant product vendors.
• Maintain close communication with vendors to improve and support product solutions based on feedback and industry trends.
• Continuously enhance knowledge in IT security products and solutions.
• All other adhoc duties as assigned.

Requirements:

• Minimum Nitec/Diploma or other related field of studies.
• Minimum 1 years’ relevant experience.

Interested candidates who wish to apply for the advertised position, please click APPLY NOW or email an updated copy of your resume/cv.

We regret that only shortlisted candidate will be notified.

Email: [email protected]

Recruitpedia Pte. Ltd.

EA License No. 19C9682

EA Reg. No. R23115553 (Lai Hor Yan)

• Up to $6.5K basic + AWS + Bonus
• Permanent position.
• New Railway project @ West area.
• 2 vacancies available.
• MNC & Leading A1 Main contractor!

Job Description:

• Involving in site utilities diversion work.
• Coordination the utilities diversion route, supporting structure.
• Manage utility construction projects, developing project scope, timelines, specifications, and budgets
• Identify and resolve system failures and perform on oversee preventative maintenance
• Monitoring system efficiency, energy and material usage.
• Compile data on utility process units.
• Direct project groups and/or technicians, providing guidance on utility process, design, and construction
• liaise with approved subcontractor for any services diversion works

Job Requirements:

• Diploma/Degree in Civil engineering
• Min 3 years’ experience in Utilities/ Rail projects.

Other Information:
To apply, please include the following details inside your resume:

• Reasons for leaving each past & current
• employment
• Salary drawn for each past & current employment
• Expected Salary
• Earliest availability date

How to apply
Interested candidates who wish to apply for the position, you may send in your updated resume to [email protected]
We regret that only short-listed candidates will be contacted shortly.
Lionel Cheow

EA License | 14C7092
EA Registration Number | R1105005

• Work Location: Tampines Industrial Avenue 5
• Work Day: Monday to Friday (8.30am to 5.30pm)

Responsibilities:

• To lead a team of Associate Engineers / Technicians to carry out all the Test related activities for Server & Rack products for the production
• To support & implement PXE Server configuration for the products
• Perform & maintain the Server & Rack run-in test process
• Perform & maintain the burn-in & power test process
• To liaise with customer & HQ / factory on the test program implementation and maintenance
• To test and analyze all failures in the production products and work back with customer & HQ / factory for improvement
• Participate in the Kaizen activities
• To update the test program master list & tracking
• To prepare and update Working Instruction
• To provide training over W/I to production
• To support the NPI Process
• To support production on the mass run
• Participate in ISO activities (implementation & maintenance)

Requirements:-

• Min. Diploma in Engineering discipline with min 5 years relevant experience in Server / Rack/ Manufacturing environment
• More experience candidate will be consider for Associate Manager role.
• Ability to work with the customer, HQ / factory, Peers / Subordinate and Superiors
• SAP & Linux knowledge
• Able to multi-task & work under pressure
• Good understanding of test methods and concepts
• Knowledge of programming and debugging skills
• Compliance with RBA standards

To Apply, kindly click on the "APPLY NOW" button and job details. We regret that only shortlisted candidates will be notified.

Daniel Lim | Registration Number: R24124455 | AlwaysHired Pte Ltd

EA Licence No: 24C2293

• Provide Desktop support/Team Lead
• Supporting and communicating with end users regarding their IT issues
• Perform troubleshooting for client platform related problems.
• Respond promptly to incident, investigate & provide temporary &/or permanent resolution of incidents escalated. Provide timely status updates to relevant parties.
• Involved in heavy lifting
• Perform service request related to client platforms.
• Monitor the agreed service level, document & maintain the configuration of the systems; provide regular reporting to relevant parties.

To Apply:

Interested candidates, please click on the following link to begin your job search journey and submit your curriculum vitae (CV) directly through the official PERSOLKELLY job application platform - GO. <https://go.persolkelly.com/job/apply/5090>

We regret to inform that only shortlisted candidates will be notified.

This is in partnership with Employment and Employability Institute Pte Ltd (“e2i”). e2i is the empowering network for workers and employers seeking employment and employability solutions. e2i serves as a bridge between workers and employers, connecting with workers to offer job security through job-matching, career guidance and skills upgrading services, and partnering employers to address their manpower needs through recruitment, training and job redesign solutions. e2i is a tripartite initiative of the National Trades Union Congress set up to support nation-wide manpower and skills upgrading initiatives. By applying for this role, you consent to e2i’s PDPA.

By sending us your personal data and CV, you are deemed to consent to PERSOLKELLY Singapore Pte Ltd and its affiliates to collect, use and disclose your personal data for account creation in GO and the purposes set out in the Privacy Policy https://www.persolkelly.com.sg/policies. You acknowledge that you have read, understood, and agree with GO’s Terms of Use https://go.persolkelly.com/Tac and the Privacy Policy. If you wish to withdraw your consent, please email us at [email protected]. Please feel free to contact us if you have any queries.

PERSOLKELLY Singapore Pte Ltd • RCB No. 200007268E • EA License No. 01C4394• Reg No : R22110511 | Teh Chee Hoong

• Up to $7,500 Basic + Bonus + Benefits
• Permanent role/ Northeastern area
• New Railway & Tunnel project in West area.
• Experience in Rail & LTA projects is mandatory..

Our client is a leading and reputable MNC and A1 Main contractor diverse in building, civil and infrastructure projects locally and overseas is currently inviting applicant to join them.

Job Responsibilities:

• Reporting to Senior Tunnel Manager
• Prepare method statements, safe work procedures, risk registers, tunnel progress reports, and other tunnel-related documentation.
• Prepare and carry out the presentation of tunneling works prior to the commencement of works.
• Plan and monitor and track site progress, manpower mobilization, and equipment deployment
• Coordinate various subcontractors to ensure work runs smoothly
• Conduct daily site inspection and supervision of bored tunneling works.
• Supervision work on a TBM machine controlling the tunnel labor in excavation and ring build
• Maintain site records of excavated volumes, grouting records, and other construction work.
• Liaise with authorities, consultants, and subcontractors.

Job Requirements:

• Bachelor’s Degree/ Diploma in Civil Engineering or related field.
• Experience in Rail & LTA projects is mandatory.

Other Information:

To apply please click on the APPLY button to submit your resume with the following details

• Reason for leaving each past & current employment
• Salary drawn for each past & current employment
• Expected Salary
• Earliest availability date

We regret only shortlisted candidates will be notified.

Lionel Cheow

EA License | 14C7092

EA Registration Number | R1105005

The ideal candidate will help build, maintain, and troubleshoot, the company's rapidly expanding infrastructure. They will work alongside other engineers to ensure highest levels of performance and ability, and manage any problems that arise.

Key Responsibilities:

• Implement and manage Windows-based infrastructure and associated technologies.
• Monitor and maintain the health, performance, and security of Windows servers and systems.
• Administer Active Directory, Group Policy, DNS, DHCP, and related services.
• Configure and troubleshoot Hypervisor Nutanix virtualization platforms (e.g., VMware, Hyper-V).
• Install, configure, and manage Windows servers and services, including IIS, SQL Server, Exchange 2019 and Skype 2019
• Collaborate with cross-functional teams to implement and support enterprise-wide solutions.
• Perform routine system and application updates, patches, and upgrades.
• Develop and maintain documentation related to system configurations, processes, and procedures.
• Provide level 2 and/or level 3 support for Windows-related issues.
• Participate in on-call rotation for after-hours support as needed.

Qualifications:

• Tertiary education in in Computer Science, Information Technology, or related field.
• At least 3 to 5 years of experience in administering Windows-based systems and infrastructure.
• Proficiency in Windows Server operating systems (2019).
• Strong understanding of Active Directory, Group Policy, DNS, and DHCP.
• Experience with virtualization platforms such as VMware and Hyper-V.
• Knowledge of scripting languages (e.g., PowerShell) for automation and scripting tasks.
• Familiarity with monitoring tools and systems management solutions.
• Excellent problem-solving and troubleshooting skills.
• Strong communication and interpersonal abilities.
• Certifications such as MCSE, MCSA, or equivalent are a plus.

HOW TO APPLY:

Simply submit your application with your updated Resume in MS Word Format to Nurul Atika Binte Kassim (EA Personnel Reg. No.: R1986508) by clicking the ‘Apply link’ or email to Atika at [email protected] or Call 6590 9960 for a confidential discussion

EA License No: 05C345

Please indicate the below information in your resume:

• Current & Expected Salary
• Reason(s) for leaving
• Notice Period / Availability to commence work

YOUR SUCCESS IS OUR ACHIEVEMENT!

Notice:

We would like to inform that only short-listed candidates will be notified. All applications will be treated with the strictest confidence.

By submitting any application or resume to us, you will be deemed to have read & agreed to the terms of our Privacy Policy, and consented to us collecting, using, retaining and disclosing your personal information to prospective employers for their consideration, and for our marketing EDMs which you may opt out by unsubscribing in the mailer. You may refer and access our website at https://www.achievegroup.asia/privacy-policy/ for more information.

Cessation of Collection of full NRIC Numbers:

In compliance with the Personal Data Protection Act and commitment to protect candidates’ personal data, Achieve Group will cease to collect, process or use full NRIC numbers during our screening and job application process.

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts andpresentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematicallogic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modelingsoftware, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack",in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally andexternally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods. Fluency in multiple natural languages, and any experience with law, are a plus.

This specialist role requires skills in the following areas (one or two in each category is sufficient):

Open-Source Software & Open-Standard Infrastructure Engineering Internet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks: Preferred: Haskell or OCaml. Python. Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams Parnas Tables Logics: Hoare

Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, and Epistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI Abductive Logic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded Semantics Good Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages: CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs, Visual Studio Code, Atom, Sublime Text) Language Server Protocol Rule Systems and Logics

Computational Linguistics Natural Language Generation Computational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Text planning Surface realization Familiarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language Theory Lex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification Languages Some familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App Development Test-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum Pair Programming Literate Programming Unit Testing Amazon Web Services Docker Full-Stack Development

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manneras possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances in computational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture
• reading (and updating/commenting, relevant) existing software documentation
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done
• writing (and presenting, if so decided by the PI) academic papers and materials for publication
• documenting in a sufficiently-detailed manner so as to share what you've learned

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries
• evaluating competing software systems for suitability
• building infrastructure to enable application development
• managing yourself, and managing fellow team members
• engaging in product, project, and program management as needed
• reading books and consuming such other media forms about software development
• writing documentation such as user/developer-facing manuals, tutorials
• delivering community support to users and customers
• preparing presentations to represent the project before external audiences
• writing actual user-facing applications throughout the "full stack"

in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, anddemonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., oralternative qualifications in computer science, software engineering, (symbolic) artificial intelligence,computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github Technical Writing Developer Relations and Evangelism

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML Petri Nets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Semantic Web and Ontologies: RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg or a commercial rules engine with ontology support

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Drools Oracle Policy Manager Flora-2 Datalog Answer-Set Programming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Skills listed below this line are preferred but not required:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Template etc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto Controlled English ACErules

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL CTL

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2

COMPANY DESCRIPTION

Singapore Management University is a place where high-level professionalism blends together with a healthy informality. The 'family-like' atmosphere among the SMU community fosters a culture where employees work, plan, organise and play together building a strong collegiality and morale within the university.

Our commitment to attract and retain talent is ongoing. We offer attractive benefits and welfare, competitive compensation packages, and generous professional development opportunities all to meet the work-life needs of our staff. No wonder, then, that SMU continues to be given numerous awards and recognition for its human resource excellence.

RESPONSIBILITIES

Work done will be at the direction of the PI, and where relevant, the Industry Director and Centre Director.As the Programme is interdisciplinary and multidisciplinary by nature, you will be expected to convey yourdomain expertise and edify others (and vice versa) in as productive, constructive, and collaborative a manner as possible.

You may be asked to participate in the development of use cases and delivery of proof-of-concept prototypesfor government and industry partners in the areas of computable contracts and "rules as code". Experience inrequirements analysis and agile, iterative methodologies will be useful at this stage.The work of the team will be largely determined by these use cases and customers. We will work with multipleuse cases so that we can abstract across them and develop generalized, reusable infrastructure. We will workwith specific customers so we can build useful applications on top of that infrastructure.You will contribute to the design and development of open-source software written to serve those use cases.You will work as part of a team of research engineers, developers, and domain expertise and you will beexpected to actively participate in team meetings and text-based communications. You will be expected to beactive members of the applied research community, by validating and contributing to advances incomputational law.

You may be asked to conduct use-inspired research at the direction of the Principal Investigator. This includes

• reading academic papers, standards publications, and related material such as blog posts and presentations;
• coming up to speed in fields which may be new to you, such as computational linguistics, mathematical logic, programming language design, formal verification, and model-based architecture;
• reading (and updating/commenting, relevant) existing software documentation;
• creating presentations, video recordings, walkthroughs, etc. to document and explain research work done;
• writing (and presenting, if so decided by the PI) academic papers and materials for publication; and
• documenting in a sufficiently-detailed manner so as to share what you've learned.

You will be expected to participate in software development; this includes

• learning how to use third party tools, including editors, IDEs, databases, business process modeling software, programming languages, and libraries;
• evaluating competing software systems for suitability;
• building infrastructure to enable application development;
• managing yourself, and managing fellow team members;
• engaging in product, project, and program management as needed;
• reading books and consuming such other media forms about software development;
• writing documentation such as user/developer-facing manuals, tutorials;
• delivering community support to users and customers;
• preparing presentations to represent the project before external audiences; and
• writing actual user-facing applications throughout the "full stack", in each case, documenting, reporting, and/or presenting the same in clearly and efficiently, both internally and externally.

Researchers under the Programme should possess both mastery of their academic speciality, and demonstrated practical experience producing and supporting high-quality open-source code throughcommunity engagement across multiple media. Candidates must have Bachelor's, Master's, Ph.D., or alternative qualifications in computer science, software engineering, (symbolic) artificial intelligence, computational linguistics, or formal methods.

Fluency in multiple natural languages, and any experience with law, are a plus.

Minimum qualifications:

Open-Source Software & Open-Standard Infrastructure EngineeringInternet Unix TCP/IP HTTP(S) XML JSON Schemas YAML Git Github TechnicalWriting Developer Relations and Evangelism

Parsers, Compilers, and Programming Language TheoryLex/YACC alex/happy Bison CFGs EBNF BNFC

App DevelopmentTest-Driven Development Continuous Integration Software Project Management Agile / XP / Scrum PairProgramming Literate Programming Unit Testing Amazon Web Services Docker Full-StackDevelopment

Programming Languages and Frameworks:Preferred: Haskell or OCaml. Python.Possible alternatives: Common Lisp Racket Scheme Javascript / Typescript / Node.

Computational Linguistics Natural Language GenerationComputational Semantics (in Haskell, Prolog, or Lisp) Montague Semantics Grammatical Framework Textplanning Surface realizationFamiliarity with: WordNet FrameNet SenseNet Controlled Natural Languages Attempto ControlledEnglish ACErules

Formal Verification and Specification LanguagesSome familiarity with any of: TLA+ Alloy IVy B Method Z notation VDM++ LTL

Preferred qualifications:

Theorem Proving and Strongly Typed Languages:CoQ Agda Idris Lean Prover F* Advanced Haskell (Templateetc) OCaml Elm Isabelle/HOL StrangeLoop Pony

Model Checkers and SAT/SMT solvers: Z3 PAT SMTlib NuSMV SPIN Sentient

IDEs, Language Workbenches, and PLT frameworks: K Framework JetBrains MPS IDEs (Vim, Emacs,Visual Studio Code, Atom, Sublime Text) Language Server ProtocolRule Systems and Logics

Formalization of Contracts, Rules, and Business Logic: Akoma Ntoso LegalRuleML PetriNets Drools iLog OPA Neota Logic Constraint Handling Rules ICAIL JURIX RuleML+RR

Model Driven Architecture: UML BPMN DMN OCL SBVR Statecharts Activity Diagrams ParnasTables

Logics: Hoare Logic Kripke structures Modal mu-calculus Dynamic Logic Deontic, Temporal, andEpistemic modals Situation Calculus Process Calculi Multivalent logics Defeasible Logic BDI AbductiveLogic F-Logic Intuitionistic Non-monotonic Logics Skolemization Well-Founded SemanticsGood Old-Fashioned Artificial Intelligence and Semantic Web

Knowledge Representation and Reasoning: Lisp Prolog F-Logic Flora-2 Datalog Answer-SetProgramming Defeasible Logic Expert Systems DocAssemble lps.doc.ic.ac.uk

Semantic Web and Ontologies:RDFa RDFt RDF RIF SWRL OWL Cyc KBpedia SUMO UFO Protg

#LI-JN2